Auflistung nach Autor:in "Padberg, Julia"
1 - 1 von 1
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragEin Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme(Software Engineering und Software Management 2018, 2018) Padberg, Julia; Schlaefer, Alexander; Schupp, SibylleMedizinische 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.