Assessment and certification of safety critical software

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.