Logo des Repositoriums
 
Konferenzbeitrag

Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2018

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik

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.

Beschreibung

Padberg, Julia; Schlaefer, Alexander; Schupp, Sibylle (2018): Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme. Software Engineering und Software Management 2018. Bonn: Gesellschaft für Informatik. PISSN: 1617-5468. ISBN: 978-3-88579-673-2. pp. 209-210. Software Management 2018 - Wissenschaftliches Hauptprogramm. Ulm. 5.-9. März 2018

Zitierform

DOI

Tags