Applications logicielles certifiables. 1, Processus principaux
La quatrième de couverture porte : "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 livrais...
Сохранить в:
| Главный автор: | |
|---|---|
| Формат: | Livre papier |
| Язык: | Français |
| Опубликовано: |
London :
ISTE Editions
2016.
|
| Серии: | Collection Informatique
|
| Предметы: | |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Processus principaux |
| LEADER | 02284nam a22002657a 4500 | ||
|---|---|---|---|
| 001 | 591535 | ||
| 008 | 160606t20162016xxe ||| |||| 00| 0 fre d | ||
| 009 | PPN193523981 | ||
| 020 | |a 9781784051389 (br.) | ||
| 024 | |a 9781784051389 | ||
| 041 | 0 | |a fre | |
| 082 | |a 004.2 |z fre | ||
| 100 | 1 | |a Boulanger, Jean-Louis, |d 1966- | |
| 240 | 1 | 0 | |a Processus principaux |
| 245 | 1 | 0 | |a Applications logicielles certifiables. |n 1, |p Processus principaux |c Jean-Louis Boulanger. |
| 260 | |a London : |b ISTE Editions, |c 2016. | ||
| 300 | |a 1 volume (322 pages) : |b tableaux, graphiques, couverture illustrée en couleur ; |c 24 cm. | ||
| 490 | 1 | |a Collection Informatique | |
| 504 | |a Notes bibliographiques. Glossaires et bibliographies en fin de chapitres. Index | ||
| 520 | |a La quatrième de couverture porte : "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." | ||
| 650 | |a Progiciels |x Développement | ||
| 650 | |a Progiciels |x Certification | ||
| 650 | |a Agents intelligents (logiciels) | ||
| 650 | |a Systèmes informatiques |x Mesures de sûreté | ||
| 997 | |0 591535 |1 Livre papier |a Ressource papier |c 0/Orléans/ |c 1/Orléans/BU Sciences, Technologies, STAPS/ |z Orléans, BU Sciences, Technologies, STAPS, 005.12 BOU | ||