Français
8. Conclusion
Within the framework of standards in the automotive (ISO 26262), rail (CENELEC EN 50128) and generic (IEC 61508) fields, formal methods are recommended as a means of describing requirements (moving from informal to formal) and achieving controlled code production. In the new DO 178C standard, a specific guide has been introduced to describe the implementation of formal methods, with a focus on their use at code level (verification that C code respects certain properties).
In fact, formal methods such as the B method , SCADE
The Ultimate Scientific and Technical Reference
This article is included in
Railway systems
This offer includes:
Knowledge Base
Updated and enriched with articles validated by our scientific committees
Services
A set of exclusive tools to complement the resources
Practical Path
Operational and didactic, to guarantee the acquisition of transversal skills
Doc & Quiz
Interactive articles with quizzes, for constructive reading
Conclusion
Glossary
Bibliography
Bibliography
Websites
CENELEC http://www.cenelec.eu/Cenelec/Homepage.htm
COFRAC http://www.cofrac.fr
EPSF http://www.securite-ferroviaire.fr/
...
Events
ERTSS Embedded Real Time Software and System http://www.erts2012.org/
ESREL http://www.esrel2011.com/
LambdaMU http://www.imdr.fr
Standards and norms
- Applications ferroviaires. Équipements électroniques utilisés sur le matériel roulant - AFNOR EN 50155 - 12-01
- Langage de programmation Ada - ANSI:1983, ANSI/MIL-STD-1815A-1983 - 1983
- Software Considerations in Airborne Systems and Equipment Certification, published by ARINC, DO 178B, and EUROCAE, ED12, édition C - ARINC DO 178:C - 2001
The Ultimate Scientific and Technical Reference
