[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: |
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.