Padberg, JuliaJuliaPadbergSchlaefer, AlexanderAlexanderSchlaeferSchupp, SibylleSibylleSchupp2019-12-132019-12-132018In: Tichy, M., Bodden, E., Kuhrmann, M., Wagner, S. & Steghöfer, J.-P. (Hrsg.), Software Engineering und Software Management 2018. Bonn: Gesellschaft für Informatik. (S. 209-210).http://hdl.handle.net/11420/4103Medizinische 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.dehttps://creativecommons.org/licenses/by-nc/3.0/SoftwaretechnikVerifikationMedizintechnikMCPSPatient-in-the-LoopEchtzeitInformatikPhysikMedizinConference Paper10.15480/882.2667https://dl.gi.de/handle/20.500.12116/2116810.15480/882.2667Conference Paper