Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme

Zusammenfassung
Medizinische 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.
  • Vollständige Referenz
  • BibTeX
Padberg, J., Schlaefer, A. & Schupp, S., (2018). Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme. In: Tichy, M., Bodden, E., Kuhrmann, M., Wagner, S. & Steghöfer, J.-P. (Hrsg.), Software Engineering und Software Management 2018. Bonn: Gesellschaft für Informatik. (S. 209-210).
@inproceedings{mci/Padberg2018,
author = {Padberg, Julia AND Schlaefer, Alexander AND Schupp, Sibylle},
title = {Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme},
booktitle = {Software Engineering und Software Management 2018},
year = {2018},
editor = {Tichy, Matthias AND Bodden, Eric AND Kuhrmann, Marco AND Wagner, Stefan AND Steghöfer, Jan-Philipp} ,
pages = { 209-210 },
publisher = {Gesellschaft für Informatik},
address = {Bonn}
}
DateienGroesseFormatAnzeige
B1-69.pdf188.0Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 978-3-88579-673-2
ISSN: 1617-5468
Datum: 2018
Sprache: de (de)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige