Description

Cet ouvrage présente l'ensemble des moyens permettant de
réaliser une application logicielle pour un système critique de
sécurité en prenant en compte les besoins de certification, depuis
la phase d'analyse du besoin jusqu'à la phase de livraison.

Dans les domaines ferroviaire, aéronautique ou nucléaire, le
mauvais fonctionnement de certains systèmes peut avoir de
graves conséquences, notamment en matière de sécurité. Pour
ces systèmes dits «critiques», des procédés de certification,
volontaires ou obligatoires, permettent de démontrer la maîtrise
de la qualité dans leur réalisation.

Or, dans ces systèmes complexes, la sécurité, la fiabilité et la
maintenabilité dépendent directement des applications
logicielles. La création de ces applications doit donc elle aussi
passer par des processus et des méthodes spécifiques afin d'être
conforme aux différentes normes métiers.

Ce volume détaille les principes mis en oeuvre (sûreté de
fonctionnement, techniques de sécurisation, management des
exigences...) pour éviter, détecter et corriger les défauts d'une
application logicielle et la rendre certifiable.