Ideal Mode Selection of a Cardiac Pacing System - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

Ideal Mode Selection of a Cardiac Pacing System


Mode transition in any inappropriate mode can be a common cause of any mishap in a complex health-care system. This paper presents an approach for formalizing and reasoning about optimal mode transition in a health-care system that uses several operating modes in various operating states. Modes are formal- ized and their relation to a state-based formalism is established through a re- finement approach. The efficiency of this approach is presented by formalizing an ideal operating mode transition of a cardiac pacemaker case study. An incre- mental approach is used to develop the system and its detailed design is verified through a series of refinements. The consequence of this approach is to improve system structuring, elicitation of system assumptions and expected functionality, as well as requirement traceability using modes in state-based modeling. Models are expressed in EVENT B modeling language and validated by a model checker tool: ProB.

Dates and versions

hal-00862077 , version 1 (16-09-2013)



Dominique Méry, Neeraj Kumar Singh. Ideal Mode Selection of a Cardiac Pacing System. 4th International Conference - Digital Human Modeling and applications in Health, Safety, Ergonomics and Risk Management - DHM 2013 (HCI International 2013), Jul 2013, Las Vegas, United States. pp.258-267, ⟨10.1007/978-3-642-39173-6_31⟩. ⟨hal-00862077⟩
267 View
0 Download



Gmail Facebook Twitter LinkedIn More