Critical systems development methodology using formal techniques - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

Critical systems development methodology using formal techniques


Formal methods have emerged as an alternative approach to ensuring the quality and correctness of the high con - dence critical systems, overcoming limitations of the traditional validation techniques such as simulation and testing. This paper presents a methodology for developing the critical systems from requirement analysis to automatic code generation with standard safety assessment approach. This methodology combines the re nement approach with various tools including veri cation tool, model checker tool, real-time animator and nally, produces the source code into many languages using automatic code generation tools. This approach intends as a contribute to further the use of formal techniques for developing critical systems with high integrity and to verify the complex properties, which help to discover the potential problems. Assessment of the proposed methodology is given through developing a standard case study: the cardiac pacemaker.
No file

Dates and versions

hal-00747305 , version 1 (31-10-2012)



Dominique Méry, Neeraj Kumar Singh. Critical systems development methodology using formal techniques. 3rd International Symposium on Information and Communication Technology - SoICT 2012, Aug 2012, Ha Long, Vietnam. pp.3-12, ⟨10.1145/2350716.2350720⟩. ⟨hal-00747305⟩
145 View
0 Download



Gmail Facebook X LinkedIn More