Applications logicielles certifiables 1

Cet ouvrage presente l'ensemble des moyens permettant de realiser une application logicielle pour un systeme critique de securite en prenant en compte les besoins de certification, depuis la phase d'analyse du besoin jusqu'a la phase de livraison.Dans les domaines ferroviaire, aeronautique ou nucleaire, le mauvais fonctionnement de certains systemes peut avoir de graves consequences, notamment en matiere de securite. Pour ces systemes dits A critiques A des procedes de certification, volontaires ou obligatoires, permettent de demontrer la maitrise de la qualite dans leur realisation.Or, dans ces systemes complexes, la securite, la fiabilite et la maintenabilite dependent directement des applications logicielles. La creation de ces applications doit donc elle aussi passer par des processus et des methodes specifiques afin d'etre conforme aux differentes normes metiers.Ce volume detaille les principes mis en oeuvre (sArete de fonctionnement, techniques de securisation, management des exigences...) pour eviter, detecter et corriger les defauts d'une application logicielle et la rendre certifiable.