Formalisation of the Heart based on Conduction of Electrical Impulses and Cellular-Automata

Dominique Méry 1 Neeraj Kumar Singh 1
1 MOSEL - Proof-oriented development of computer-based systems
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Formal methods based tools and techniques have been recognised to be a promising approach to support the process of verification and validation of a critical system in early stage of the development. Specially, medical devices are very prone to show an unexpected behavior of the system in operating due to stochastic nature of the system and when a system uses traditional methods for system testing. Device-related problems are responsible for a large number of serious injuries. FDA officials have found that many deaths and injuries related to the devices are caused by product design and engineering flaws. Cardiac pacemaker and implantable cardioverter-defibrillators (ICDs) are main critical medical devices, which require close-loop modeling (integration of system and environment modeling) for verification purpose to obtain a certificate from the certification bodies. No any technique is available to provide an environment modeling to verify the developed system model. This paper presents a methodology to model a biological system, like heart, for modeling a biological environment. The heart model is mainly based on electrocardiography analysis, which models the heart system at cellular level. Main objective of this methodology is to model the heart system and integrate with medical device model like cardiac pacemaker to specify a close-loop model. To build an environment model for a close-loop system is an open problem. Industries are striving for such kind of approach from long time to validate a system model under a virtual biological environment. Our approach involves the pragmatic combination of formal specification of a system and a biological environment to model a close-loop system to verify the correctness of a system and helps in quality improvement of the system.
Type de document :
Communication dans un congrès
Zhiming Liu and Alan Wassyng. International Symposium on Foundations of Health Information Engineering and Systems (FHIES, 2011), Aug 2011, Johannesburg, South Africa. 2011, 〈http://www.iist.unu.edu/ICTAC/FHIES2011/Files/fhies2011_8_17.pdf〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00638473
Contributeur : Neeraj Kumar Singh <>
Soumis le : vendredi 4 novembre 2011 - 18:53:03
Dernière modification le : jeudi 11 janvier 2018 - 06:23:25

Identifiants

  • HAL Id : inria-00638473, version 1

Collections

Citation

Dominique Méry, Neeraj Kumar Singh. Formalisation of the Heart based on Conduction of Electrical Impulses and Cellular-Automata. Zhiming Liu and Alan Wassyng. International Symposium on Foundations of Health Information Engineering and Systems (FHIES, 2011), Aug 2011, Johannesburg, South Africa. 2011, 〈http://www.iist.unu.edu/ICTAC/FHIES2011/Files/fhies2011_8_17.pdf〉. 〈inria-00638473〉

Partager

Métriques

Consultations de la notice

168