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.