Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme
| dc.contributor.author | Padberg, Julia | |
| dc.contributor.author | Schlaefer, Alexander | |
| dc.contributor.author | Schupp, Sibylle | |
| dc.contributor.editor | Tichy, Matthias | |
| dc.contributor.editor | Bodden, Eric | |
| dc.contributor.editor | Kuhrmann, Marco | |
| dc.contributor.editor | Wagner, Stefan | |
| dc.contributor.editor | Steghöfer, Jan-Philipp | |
| dc.date.accessioned | 2019-03-29T10:24:16Z | |
| dc.date.available | 2019-03-29T10:24:16Z | |
| dc.date.issued | 2018 | |
| dc.description.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. | de |
| dc.identifier.isbn | 978-3-88579-673-2 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/21168 | |
| dc.language.iso | de | |
| dc.publisher | Gesellschaft für Informatik | |
| dc.relation.ispartof | Software Engineering und Software Management 2018 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-279 | |
| dc.subject | Softwaretechnik | |
| dc.subject | Verifikation | |
| dc.subject | Medizintechnik | |
| dc.subject | medizinische cyber-physikalische Systeme (MCPS) | |
| dc.subject | Patient-in-the-Loop | |
| dc.title | Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme | de |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 210 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 209 | |
| gi.conference.date | 5.-9. März 2018 | |
| gi.conference.location | Ulm | |
| gi.conference.sessiontitle | Software Management 2018 - Wissenschaftliches Hauptprogramm |
Dateien
Originalbündel
1 - 1 von 1