Applications Logicielles Certifiables 2
DOWNLOAD
READ
Download Applications Logicielles Certifiables 2 PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Applications Logicielles Certifiables 2 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. If the content not found or just blank you must refresh this page
Applications Logicielles Certifiables 2
DOWNLOAD
READ
Author : Jean-Louis Boulanger
language : fr
Publisher: ISTE Group
Release Date : 2017-06-01
Applications Logicielles Certifiables 2 written by Jean-Louis Boulanger and has been published by ISTE Group this book supported file pdf, txt, epub, kindle and other format this book has been release on 2017-06-01 with Computer software categories.
La série Applications logicielles certifiables présente de manière concrète et critique les étapes de réalisation d’une application logicielle, un processus complexe nécessitant un travail d’équipe. Ce deuxième volume est dédié à la description des processus supports. Il en couvre les principales thématiques : la gestion des ressources humaines et de la configuration, l’archivage, la vérification et la validation du logiciel. Cet ouvrage analyse également l’impact de l’utilisation des composants sur étagère (COTS) et des logiciels préexistants sur les applications certifiables. En s'appuyant sur les définitions présentées dans le premier volume de la série, le lecteur trouvera ici une description essentielle et complète des processus supports qui doivent être mis en oeuvre pour réaliser une application logicielle.
Applications Logicielles Certifiables 3
DOWNLOAD
READ
Author : Jean-Louis Boulanger
language : fr
Publisher: ISTE Group
Release Date : 2018-11-01
Applications Logicielles Certifiables 3 written by Jean-Louis Boulanger and has been published by ISTE Group this book supported file pdf, txt, epub, kindle and other format this book has been release on 2018-11-01 with categories.
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.
Applications Logicielles Certifiables 1
DOWNLOAD
READ
Author : Jean-Louis Boulanger
language : fr
Publisher: ISTE Group
Release Date : 2016-03-01
Applications Logicielles Certifiables 1 written by Jean-Louis Boulanger and has been published by ISTE Group this book supported file pdf, txt, epub, kindle and other format this book has been release on 2016-03-01 with Application software categories.
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 2
DOWNLOAD
READ
Author : Jean-Louis Boulanger
language : en
Publisher: Elsevier
Release Date : 2016-11-29
Certifiable Software Applications 2 written by Jean-Louis Boulanger and has been published by Elsevier this book supported file pdf, txt, epub, kindle and other format this book has been release on 2016-11-29 with Computers categories.
Certifiable Software Applications 2: Support Processes explains the process to achieve a certifiable application. This concerns several major topics, skill management, data preparation, requirement management, software verification, and software validation. In addition, analysis of the impact of the use of COTS and pre-existing software on certifiable software is presented. Finally, the last support process concerns the management of commercial tools, the creation of a specific tools, and therefore the qualification of tools, which is based on their impact on the final software. Explains configuration management, management of anomalies, skills management, and quality control Discusses the major topics of skill management, data preparation, requirement management, software verification, and software validation Presents tactics for the management of commercial tools and the creation of a specific tool which is based on their impact on the final software
Outils De Mise En Uvre Industrielle Des Techniques Formelles
DOWNLOAD
READ
Author : BOULANGER Jean-Louis
language : en
Publisher: Lavoisier
Release Date : 2012-04-16
Outils De Mise En Uvre Industrielle Des Techniques Formelles written by BOULANGER Jean-Louis and has been published by Lavoisier this book supported file pdf, txt, epub, kindle and other format this book has been release on 2012-04-16 with categories.
Les techniques formelles réalisent des modèles de spécifications et/ou de conception et servent principalement à l'analyse statique de code, à la démonstration du respect de propriété et à la bonne gestion des calculs sur les flottants. Différents domaines tels les systèmes de transport, la production d'énergie ou la santé prennent en compte l'implémentation de ces méthodes pour satisfaire les exigences de sécurité élevées des systèmes critiques. Leur mise en œuvre dans le cadre d'une application industrielle (application de grande taille, contrainte de coût et de délais, etc.) ne peut se faire que par l'emploi d'outils suffisamment matures et performants. Cet ouvrage collectif présente des exemples concrets d'utilisation des techniques formelles comme la méthode B, SCADE, MaTeLo, ControlBuild, SparkAda et POLYSPACE et des techniques de vérification associées. Il en identifie aussi les avantages et les difficultés.
Certifiable Software Applications 3
DOWNLOAD
READ
Author : Jean-Louis Boulanger
language : en
Publisher: Elsevier
Release Date : 2018-09-03
Certifiable Software Applications 3 written by Jean-Louis Boulanger and has been published by Elsevier this book supported file pdf, txt, epub, kindle and other format this book has been release on 2018-09-03 with Computers categories.
Certifiable Software Applications 3: Downward Cycle describes the descending phase of the creation of a software application, detailing specification phases, architecture, design and coding, and important concepts on modeling and implementation. For coding, code generation and/or manual code production strategies are explored. As applications are coded, a presentation of programming languages and their impact on certifiability is included. Describes the descending phase of the creation of a software application, detailing specification phases, architecture, design and coding Presents valuable programming examples Includes a presentation of programming languages and their impact on certifiability
Cenelec 50128 And Iec 62279 Standards
DOWNLOAD
READ
Author : Jean-Louis Boulanger
language : en
Publisher: John Wiley & Sons
Release Date : 2015-03-24
Cenelec 50128 And Iec 62279 Standards written by Jean-Louis Boulanger and has been published by John Wiley & Sons this book supported file pdf, txt, epub, kindle and other format this book has been release on 2015-03-24 with Technology & Engineering categories.
CENELEC EN 50128 and IEC 62279 standards are applicable to the performance of software in the railway sector. The 2011 version of the 50128 standard firms up the techniques and methods to be implemented. This is a guide to its implementation, in order to understand the foundations of the standard and how it impacts on the activities to be undertaken, helping towards better a preparation for the independent evaluation phase, which is mandatory.
Software Quality Assurance
DOWNLOAD
READ
Author : Claude Y. Laporte
language : en
Publisher: John Wiley & Sons
Release Date : 2018-01-04
Software Quality Assurance written by Claude Y. Laporte and has been published by John Wiley & Sons this book supported file pdf, txt, epub, kindle and other format this book has been release on 2018-01-04 with Technology & Engineering categories.
This book introduces Software Quality Assurance (SQA) and provides an overview of standards used to implement SQA. It defines ways to assess the effectiveness of how one approaches software quality across key industry sectors such as telecommunications, transport, defense, and aerospace. Includes supplementary website with an instructor’s guide and solutions Applies IEEE software standards as well as the Capability Maturity Model Integration for Development (CMMI) Illustrates the application of software quality assurance practices through the use of practical examples, quotes from experts, and tips from the authors
Certifiable Software Applications 1
DOWNLOAD
READ
Author : Jean-Louis Boulanger
language : en
Publisher: Elsevier
Release Date : 2016-07-15
Certifiable Software Applications 1 written by Jean-Louis Boulanger and has been published by Elsevier this book supported file pdf, txt, epub, kindle and other format this book has been release on 2016-07-15 with Computers categories.
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
Formal Methods Applied To Industrial Complex Systems
DOWNLOAD
READ
Author : Jean-Louis Boulanger
language : en
Publisher: John Wiley & Sons
Release Date : 2014-07-09
Formal Methods Applied To Industrial Complex Systems written by Jean-Louis Boulanger and has been published by John Wiley & Sons this book supported file pdf, txt, epub, kindle and other format this book has been release on 2014-07-09 with Computers categories.
A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. in various fields, such as railways, aeronautics, and the automotive industry, the purpose of this book is to present a summary of experience on the use of these “formal methods” (such as proof and model-checking) in industrial examples of complex systems. It is based on the experience of people who are currently involved in the creation and evaluation of safety critical system software. The involvement of people from within the industry allows us to avoid the usual problems of confidentiality which could arise and thus enables us to supply new useful information (photos, architecture plans, real examples, etc.).