Ideal Mode Selection of a Cardiac Pacing System

Abstract : 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.
Type de document :
Communication dans un congrès
Vincent G. Duffy. 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. Springer, 8025, pp.258-267, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-39173-6_31〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00862077
Contributeur : Dominique Méry <>
Soumis le : lundi 16 septembre 2013 - 07:49:13
Dernière modification le : jeudi 11 janvier 2018 - 06:25:25

Identifiants

Collections

Citation

Dominique Méry, Neeraj Kumar Singh. Ideal Mode Selection of a Cardiac Pacing System. Vincent G. Duffy. 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. Springer, 8025, pp.258-267, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-39173-6_31〉. 〈hal-00862077〉

Partager

Métriques

Consultations de la notice

393