Applications logicielles certifiables

Volume 1, Processus principaux

Jean-Louis Boulanger - Collection Informatique

322 pages, parution le 01/04/2016

Ajouter à une liste

Indisponible

Résumé

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.

L'auteur - Jean-Louis Boulanger

Jean-Louis Boulanger est évaluateur indépendant de la sûreté (ISA) dans le domaine ferroviaire. Ses recherches portent sur les exigences, la vérification et la validation des logiciels, la traçabilité et les RAMS, et mettent l'accent sur la sécurité.

Autres livres de Jean-Louis Boulanger

Ingénierie des exigences

Maitriser la sécurité des systèmes programmables

Mise en oeuvre de la méthode B

Outils de mise en oeuvre industrielle des techniques formelles

Découvrir tous les livres de Jean-Louis Boulanger

Caractéristiques techniques

	PAPIER
Éditeur(s)	Iste
Auteur(s)	Jean-Louis Boulanger
Collection	Informatique
Parution	01/04/2016
Nb. de pages	322
Format	16 x 24
Couverture	Broché
Poids	495g
Intérieur	Noir et Blanc
EAN13	9781784051389