[99918]
Title: Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme Software Engineering und Software Management 2018
Written by: J. Padberg and A. Schlaefer and S. Schupp
in: 2018
Volume: Number:
on pages: 209-210
Chapter:
Editor: M. Tichy and E. Bodden and M. Kuhrmann and S. Wagner and J.-P. Steghöfer
Publisher: Gesellschaft für Informatik
Series:
Address: Bonn
Edition:
ISBN:
how published:
Organization:
School:
Institution:
Type:
DOI:
URL:
ARXIVID:
PMID:

[BibTex]

Note:

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.

To top