Refinement-based development of software-controlled safety-critical active medical devices

Autoren Atif Maschkoor
Miklós Biró
Marton Dolgos
Peter Timar
Editoren Dietmar Winkler
Stefan Biffl
Johannes Bergsmann
Titel Refinement-based development of software-controlled safety-critical active medical devices
Buchtitel Software Quality. Software and Systems Quality in Distributed and Mobile Environments - Proc. SWQD 2015
Typ in Konferenzband
Verlag Springer
Serie Lecture Notes in Business Information Processing
Band 200
ISBN 978-3-319-13250-1
DOI 10.1007/978-3-319-13251-8_8
Monat January
Jahr 2015
Seiten 120-132
SCCH ID# 1442
Abstract

Advanced medical devices exploit the advantages of embedded software whose development, due to their direct impact on human lives, is naturally subject to compliance with the stringent requirements of safety standards and regulations. This paper presents initial results and lessons learned from an ongoing project focusing on the development of a formal model of a sub-system of a software-controlled safety critical Active Medical Device (AMD) responsible for renal replacement therapy. The use of formal approaches for the development of AMDs is highly recommended by standards and regulations, and motivates the recent advancement of the state of the art of related methods and tools including Event-B and Rodin applied in this paper. It is expected that the presented model and analysis will contribute to the still sparse experience base available at the disposal of the scientific and practitioner community in the domain of AMDs.