Applications Logicielles Certifiables 2
DOWNLOAD
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
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
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 Computer software 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
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
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
Certifiable Software Applications 3
DOWNLOAD
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
Industrial Use Of Formal Methods
DOWNLOAD
Author : Jean-Louis Boulanger
language : en
Publisher: John Wiley & Sons
Release Date : 2013-05-10
Industrial Use Of Formal Methods 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 2013-05-10 with Technology & Engineering categories.
At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the “formal technics” (such proof and model-checking) on industrial examples for the transportation domain. This book is based on the experience of people which are completely involved in the realization and the evaluation of safety critical system software based. The implication of the industrialists allows to raise the problems of confidentiality which could appear and so allow to supply new useful information (photos, plan of architecture, real example).
Formal Methods Applied To Industrial Complex Systems
DOWNLOAD
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.).
Formal Methods
DOWNLOAD
Author : Jean-Louis Boulanger
language : en
Publisher: John Wiley & Sons
Release Date : 2013-05-10
Formal Methods 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 2013-05-10 with Technology & Engineering categories.
Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until the end of the 1990s before formal methods or the B method could be implemented in industrial applications or be usable in an industrial setting. Current literature only gives students and researchers very general overviews of formal methods. The purpose of this book is to present feedback from experience on the use of “formal methods” (such as proof and model-checking) in industrial examples within the transportation domain. This book 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.). Topics covered by the chapters of this book include SAET-METEOR, the B method and B tools, model-based design using Simulink, the Simulink design verifier proof tool, the implementation and applications of SCADE (Safety Critical Application Development Environment), GATeL: A V&V Platform for SCADE models and ControlBuild. Contents 1. From Classic Languages to Formal Methods, Jean-Louis Boulanger. 2. Formal Method in the Railway Sector the First Complex Application: SAET-METEOR, Jean-Louis Boulanger. 3. The B Method and B Tools, Jean-Louis Boulanger. 4. Model-Based Design Using Simulink – Modeling, Code Generation, Verification, and Validation, Mirko Conrad and Pieter J. Mosterman. 5. Proving Global Properties with the Aid of the SIMULINK DESIGN VERIFIER Proof Tool, Véronique Delebarre and Jean-Frédéric Etienne. 6. SCADE: Implementation and Applications, Jean-Louis Camus. 7. GATeL: A V&V Platform for SCADE Models, Bruno Marre, Benjamin Bianc, Patricia Mouy and Christophe Junke. 8. ControlBuild, a Development Framework for Control Engineering, Franck Corbier. 9. Conclusion, Jean-Louis Boulanger.
Certifiable Software Applications 2
DOWNLOAD
Author : Jean-Louis Boulanger
language : en
Publisher: ISTE Press - Elsevier
Release Date : 2016-12-09
Certifiable Software Applications 2 written by Jean-Louis Boulanger and has been published by ISTE Press - Elsevier this book supported file pdf, txt, epub, kindle and other format this book has been release on 2016-12-09 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.
Canadian Periodical Index
DOWNLOAD
Author :
language : en
Publisher:
Release Date : 1994
Canadian Periodical Index written by and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 1994 with Canadian periodicals categories.