Applications Logicielles Certifiables 1
Download Applications Logicielles Certifiables 1 PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Applications Logicielles Certifiables 1 book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Applications logicielles certifiables 1
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.
Certifiable Software Applications 1
Certifiable Software Applications 1: Main Processes is dedicated to the establishment of quality assurance and safety assurance. It establishes the context for achieving a certifiable software application. In it, the author covers recent developments such as the module, component and product line approach. Applicable standards are presented and security principles are described and discussed. Finally, the requirements for mastering quality and configuration are explained. In this book the reader will find the fundamental practices from the field and an introduction to the concept of software application. - Presents the fundamental practices from the field - Emphasizes the development of quality assurance and safety assurance - Introduces the concept of software application - Covers recent developments such as module, component, and the product line approach
Applications logicielles certifiables 3
Applications logicielles certifiables se compose de plusieurs ouvrages qui présentent le développement d’une application logicielle critique. Ce troisième opus décrit le processus de réalisation d’une application logicielle en se focalisant sur la phase descendante. Le cycle de vie pris comme référence est le cycle en V. Ce cycle se veut le plus agile possible. La préparation des tests se fait donc lors de la phase descendante et permet d’identifier très tôt des défauts. Pour chaque phase, de la spécification à la production du code, les activités de conception, de préparation des tests et de vérification à mettre en place sont également présentées. Dans cet ouvrage le lecteur trouvera une description essentielle et complète de la réalisation d’une application logicielle qui doit être mis en oeuvre, afin que celle-ci soit la plus sûre possible.