Français
5. Production using formal approaches
As we have shown, it is necessary to implement other practices that will enable us to detect defects in the software application as early and more extensively as possible. If we take up the requirements identified in the various sections, we obtain the table 10 .
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
Production using formal approaches
Customizable software
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
