Critical systems development methodology using formal techniques

Abstract : 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.
Type de document :
Communication dans un congrès
3rd International Symposium on Information and Communication Technology - SoICT 2012, Aug 2012, Ha Long, Vietnam. ACM, pp.3-12, 2012, SoICT '12 - Proceedings of the Third Symposium on Information and Communication Technology. 〈10.1145/2350716.2350720〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00747305
Contributeur : Dominique Méry <>
Soumis le : mercredi 31 octobre 2012 - 01:13:26
Dernière modification le : jeudi 11 janvier 2018 - 06:25:24

Identifiants

Collections

Citation

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. ACM, pp.3-12, 2012, SoICT '12 - Proceedings of the Third Symposium on Information and Communication Technology. 〈10.1145/2350716.2350720〉. 〈hal-00747305〉

Partager

Métriques

Consultations de la notice

365