2. Tool qualification
2.1 Issues
Initially, the development of a software application involved producing code. To obtain an executable, a compiler is used. If the process by which the code is obtained conforms to an SSIL objective, the fact that the software application conforms to its SSIL objective is directly linked to the compiler. It must therefore be demonstrated that the compiler is usable for an SSIL objective.
More generally, this problem can be generalized to all the tools used to design, compile, verify and validate the software application, as well as those used to produce the software application's data.
As we have already explained, we need to demonstrate that a tool can be used to produce software with a specific SSIL objective. This activity...
Exclusive to subscribers. 97% yet to be discovered!
You do not have access to this resource.
Click here to request your free trial access!
Already subscribed? Log in!
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
Tool qualification
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, Norme française - AFNOR, EN 50155 - 10-07
- Langage de programmation Ada - ANSI, ANSI/MIL-STD-1815A-1983 - 1983
- Applications ferroviaires. Spécification et démonstration de la fiabilité, de la disponibilité, de la maintenabilité et de la sécurité (FMDS) - CENELEC, NF EN 50126 - 01-00
- Railway applications. Signalling,...
Regulations
Decree no. 2006-1279 relating to safety of railway traffic and to interoperability of railway system (October 19, 2006)
Decree no. 2003-425 relating to safety of public guided transit (May 9, 2003)
Decree no. 2008-1307 of December 11, 2008 amending decree no. 2003-425 of May 9, 2003 on the safety of guided public transport from 1 er ...
Directory
Organizations – Federations – Associations (non-exhaustive list)
STRM-TG http://www.strmtg.equipement.gouv.fr/
BIRM-TG http://www.strmtg.equipement.gouv.fr/article.php3?id_article=43
...
Exclusive to subscribers. 97% yet to be discovered!
You do not have access to this resource.
Click here to request your free trial access!
Already subscribed? Log in!
The Ultimate Scientific and Technical Reference