The design of safety critical systems requires specific methods and tools to reach the safety level required. In the Railway
Industry the B Method supported by the Atelier B have been used with success for several years now as shown by the emblematic
METEOR metro system. In the Aircraft Industry the use of synchronous declarative languages like Lustre supported by the SCADE
tool improves the quality of softwares and saves costs.