Options
Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme
Citation Link: https://doi.org/10.15480/882.2667
Publikationstyp
Conference Paper
Publikationsdatum
2018
Sprache
German
TORE-URI
First published in
Number in series
279
Start Page
209
End Page
210
Citation
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).
Contribution to Conference
Publisher Link
Publisher
Gesellschaft für Informatik
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.
Schlagworte
Softwaretechnik
Verifikation
Medizintechnik
MCPS
Patient-in-the-Loop
Echtzeit
DDC Class
004: Informatik
530: Physik
610: Medizin