Options
Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme
Citation Link: https://doi.org/10.15480/882.2667
Publikationstyp
Conference Paper
Date Issued
2018
Sprache
German
TORE-DOI
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
ISBN of container
978-3-88579-673-2
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.
Subjects
Softwaretechnik
Verifikation
Medizintechnik
MCPS
Patient-in-the-Loop
Echtzeit
DDC Class
004: Informatik
530: Physik
610: Medizin
Loading...
Name
B1-69.pdf
Size
193.07 KB
Format
Adobe PDF