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