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