Description
Applications logicielles certifiables 1
Processus principaux
Coll. Informatique
Author: BOULANGER Jean-Louis
Language: FrenchSubjects for Applications logicielles certifiables 1:
Approximative price 99.89 €
In Print (Delivery period: 15 days).
Add to cart the book of BOULANGER Jean-Louis
Publication date: 03-2016
322 p. · Paperback
322 p. · Paperback
Description
/li>Contents
/li>Biography
/li>
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.
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.
1. Système, équipement et logiciel
2. Application logicielle
3. Principe de la sûreté de fonctionnement
4. Maîtrise de la sécurité d’une application logicielle
5. Sécurité d’une application logicielle
6. Technique de sécurisation d’une application logicielle
7. Evaluation et certification
8. Plusieurs domaines et différents référentiels normatifs
9. Maîtrise de la qualité
10. Management des exigences
2. Application logicielle
3. Principe de la sûreté de fonctionnement
4. Maîtrise de la sécurité d’une application logicielle
5. Sécurité d’une application logicielle
6. Technique de sécurisation d’une application logicielle
7. Evaluation et certification
8. Plusieurs domaines et différents référentiels normatifs
9. Maîtrise de la qualité
10. Management des exigences
Docteur en informatique et spécialiste en sûreté de fonctionnement des systèmes à base de logiciel, Jean-Louis Boulanger est évaluateur indépendant de la sécurité (ISA) dans le domaine des systèmes ferroviaires. Il réalise des évaluations aussi bien logicielles que matérielles.
© 2024 LAVOISIER S.A.S.