Assessment and certification of safety critical software
EL KOURSI ; MARIANO
Type de document
COMMUNICATION AVEC ACTES INTERNATIONAL (ACTI)
Langue
anglais
Auteur
EL KOURSI ; MARIANO
Résumé / Abstract
The B formal development method in the safety critical software has changed the development methodology in particular on how to combine the verification and the proof activities of software. This paper provides a new approach for assessing a safety critical software developed by using b formal method. After presenting an overview of the assessment requirements, the paper presents and discusses the impact of the b formal software development methodology. The approach for assessing a safety critical software developed by using b formal method is the central point of this paper. This assessment approach is based on the traceability analysis, the safety properties validation, the complementary tests and the metrics.
