Français
8. Conclusion
In the field of scientific and technical systems, IT safety is mainly addressed through risk analysis and the implementation of development processes imposed by functional safety standards to produce software with the right level of operating safety. 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
Industry of the future
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
Table of acronyms
Bibliography
Bibliography
Websites
Federation of Intrusive Test Professionals (FPTI) http://www.fpti.pro/
French Information Systems Security Club (CLUSIF) http://www.clusif.asso.fr
Standards and norms
- Railway applications: signalling, telecommunication and processing systems – software for rail control and protection systems - EN 50128 - 10-11
- Sécurité fonctionnelle des systèmes électriques/électroniques/électroniques programmables relatifs à la sécurité - CEI 61508 - 04-10
- Sécurité fonctionnelle : systèmes instrumentés de sécurité pour le secteur des industries de transformation - CEI 61511 - 03-05 ...
The Ultimate Scientific and Technical Reference
