Français
5. Examples of solutions
Fault tolerance mechanisms and formal methods are among the technical solutions proposed to reduce the criticality of scientific and technical systems. Some of these solutions are presented here.
5.1 Fault tolerance mechanisms
-
Defensive programming techniques provide designers with special techniques that enable programmed systems to be reactive in the event of failure. These techniques can be used in FMEAs as safety barriers to prevent certain component failure modes from producing the feared system events.
The techniques most often used at the design level are the so-called N-version programming or overlay block techniques.
The principle of N-version programming (figure...
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
Examples of solutions
Normative aspects
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
