[90636]
Title: Ein Ansatz zur nachvollziehbaren Verifikation medizinischcyber-physikalischer Systeme Tagung Software Engineering (SE18) der Gesellschaft für Informatik (GI)
Written by: J. Padberg and A. Schlaefer and S. Schupp
in: Lecture Notes in Informatics 2018
Volume: Number:
on pages: accepted
Chapter:
Editor:
Publisher:
Series: Lecture Notes in Informatics (LNI)
Address: Bonn
Edition:
ISBN:
how published:
Organization: Gesellschaft für Informatik, Bonn
School:
Institution:
Type:
DOI:
URL:
ARXIVID:
PMID:

[BibTex]

Note:

Abstract: Abstract: 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