Implantable medical devices are safety-critical systems whose incorrect operation can jeopardize a patient's health, and whose algorithms must meet tight platform constraints like …
As methods and tools for cyber-physical systems (CPS) grow in capabilities and use, one- size-fits-all solutions start to show their limitations. In particular, tools and languages for …
Medical cyber-physical systems, such as the implantable cardioverter defibrillator (ICD), require evaluation of safety and efficacy in the context of a patient population in a clinical …
SA Smolka, R Grosu - IEEE/ACM TRANSACTIONS ON …, 2019 - publik.tuwien.ac.at
Implantable medical devices are safety-critical systems whose incorrect operation can jeopardize a patient's health, and whose algorithms must meet tight platform constraints like …
El objetivo de esta investigación consiste en el desarrollo de un prototipo generador de pulsos, que pueda auxiliar a un marcapasos para producir un potencial de acción de …