Embedded software is at the heart of implantable medical devices such as cardiac pacemakers, and rigorous software design methodologies are needed to ensure their safety and reliability. This paper gives an overview of ongoing research aimed at providing software quality assurance methodologies for pacemakers. A model-based framework has been developed based on hybrid automata, which can be configured with a variety of heart and pacemaker models. The framework supports a range of quantitative verification techniques for the analysis of safety, reliability and energy ge of pacemakers. It also provides techniques for parametric analysis of personalised physiological properties that can be performed in silico, which can reduce the cost and discomfort of testing new designs on patients. We describe the framework, summarise the results obtained, and identify future research directions in this area.
CITATION STYLE
Kwiatkowska, M., Mereacre, A., & Paoletti, N. (2014). On quantitative software quality assurance methodologies for cardiac pacemakers. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8803, pp. 365–384). Springer Verlag. https://doi.org/10.1007/978-3-662-45231-8_27
Mendeley helps you to discover research relevant for your work.