L'informatisation de systèmes courants, tels que les transports ou

l'électronique de confort, implique l'identification des risques

potentiels sur la vie des personnes, sur les biens et sur

l'environnement. Dès la conception, il est indispensable de

déterminer les cadres normatifs et législatifs ainsi que les outils

essentiels à l'optimisation de la sûreté de ces systèmes.

Techniques de sécurisation des applications à base de logiciel

présente les principes généraux pour l'élaboration d'un système

à base d'électronique programmable garantissant la sûreté de

fonctionnement. Il définit les concepts de base et détaille leurs

mises en place, puis étudie les normes et les méthodes d'analyse

de la sécurité. Afin de maximiser la maîtrise de la sûreté d'un

système, cet ouvrage dresse également un panorama des

techniques de sécurisation de l'électronique (diversité,

redondance, architecture nOOm, etc.) et des techniques de

développement d'applications logicielles.