Back to Search
Start Over
Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme
- Publication Year :
- 2019
-
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.
Details
- Database :
- OAIster
- Notes :
- application/pdf, German
- Publication Type :
- Electronic Resource
- Accession number :
- edsoai.on1152886846
- Document Type :
- Electronic Resource