Zur Kurzanzeige

Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme

dc.contributor.authorPadberg, Julia
dc.contributor.authorSchlaefer, Alexander
dc.contributor.authorSchupp, Sibylle
dc.contributor.editorTichy, Matthias
dc.contributor.editorBodden, Eric
dc.contributor.editorKuhrmann, Marco
dc.contributor.editorWagner, Stefan
dc.contributor.editorSteghöfer, Jan-Philipp
dc.date.accessioned2019-03-29T10:24:16Z
dc.date.available2019-03-29T10:24:16Z
dc.date.issued2018
dc.identifier.isbn978-3-88579-673-2
dc.identifier.issn1617-5468
dc.identifier.urihttp://dl.gi.de/handle/20.500.12116/21168
dc.description.abstractMedizinische cyberphysikalische Systeme erfordern einerseits die Adaption an patientenindividuelle Parameter während einer Behandlung und andererseits den Nachweis eines sicheren Systemverhaltens. Wir schlagen vor, Nachweisbarkeit mittels Online Model-Checking und Nachvollziehbarkeit durch Anwendung von regelbasierten Transformationen zu verbinden.de
dc.language.isode
dc.publisherGesellschaft für Informatik
dc.relation.ispartofSoftware Engineering und Software Management 2018
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-279
dc.subjectSoftwaretechnik
dc.subjectVerifikation
dc.subjectMedizintechnik
dc.subjectmedizinische cyber-physikalische Systeme (MCPS)
dc.subjectPatient-in-the-Loop
dc.titleEin Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systemede
dc.typeText/Conference Paper
dc.pubPlaceBonn
mci.reference.pages209-210
mci.conference.sessiontitleSoftware Management 2018 - Wissenschaftliches Hauptprogramm
mci.conference.locationUlm
mci.conference.date5.-9. März 2018


Dateien zu dieser Ressource

Thumbnail
Name:
B1-69.pdf
Größe:
188.0Kb
Format:
PDF
Öffnen

Zur Kurzanzeige