5. Exemples de solutions
Les mécanismes de tolérance aux fautes et les méthodes formelles font partie des solutions techniques proposées pour réduire la criticité des systèmes scientifiques et techniques. Quelques-unes de ces solutions sont présentées ici.
5.1 Mécanismes de tolérance aux fautes
Les techniques de programmation mettent à la disposition des concepteurs des techniques particulières qui permettent aux systèmes programmés d’être réactifs en cas de défaillance. Ces techniques sont utilisables dans les AMDE en tant que barrières de sécurité pour éviter que certains modes de défaillance des composants ne produisent les effets système redoutés.
Les techniques les plus souvent utilisées au niveau de la...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Exemples de solutions
Aspects normatifs
Sources bibliographiques
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Article inclus dans l'offre
"Sécurité des systèmes d'information"
(
112 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
