Applying a Formal Method in Industry: A 15-Year Trajectory
FMICS '09 Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems
Model-based analysis tools for component synthesis
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Hi-index | 0.00 |
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL4 compliant systems have their functional specification based on a formal model. This model has been proved, guaranteeing a correct by construction behaviour of the system in absence of failure of its components. The constructive process used during system specification and design leads to a high quality system which has been qualified by French authorities.