Français
8. Conclusion
In the field of scientific and technical systems, the functional safety of software is mainly addressed by risk analysis and the implementation of development processes imposed by dedicated standards to produce software with the right level of risk. The alternative, specific to the IT world, is to use formal methods which guarantee that the software has the expected safety properties.
When software is not associated with feared events, but must contribute to equipment availability, reliability techniques apply.
The Ultimate Scientific and Technical Reference
This article is included in
Security of information 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
Acronyms
Bibliography
Websites
IMdR – Institute for Risk Management
AFIS – French System Engineering Association
AFNOR – Association française de normalisation
...Standards and norms
- Railway applications: signalling, telecommunication and processing systems – software for rail control and protection systems - EN 50128-11 -
- Sécurité fonctionnelle des systèmes électriques/électroniques/électroniques programmables relatifs à la sécurité - CEI 61508-10 -
- Software considerations in airborne systems and equipment certification (Considérations sur le logiciel en vue de la certification...
The Ultimate Scientific and Technical Reference
