Download or read book Safety of Computer Architectures written by Jean-Louis Boulanger and published by John Wiley & Sons. This book was released on 2013-01-09 with total page 371 pages. Available in PDF, EPUB and Kindle. Book excerpt: It is currently quite easy for students or designers/engineers to find very general books on the various aspects of safety, reliability and dependability of computer system architectures, and partial treatments of the elements that comprise an effective system architecture. It is not so easy to find a single source reference for all these aspects of system design. However, the purpose of this book is to present, in a single volume, a full description of all the constraints (including legal contexts around performance, reliability norms, etc.) and examples of architectures from various fields of application, including: railways, aeronautics, space, automobile and industrial automation. The content of the book is drawn from the experience of numerous people who are deeply immersed in the design and delivery (from conception to test and validation), safety (analysis of safety: FMEA, HA, etc.) and evaluation of critical systems. The involvement of real world industrial applications is handled in such as a way as to avoid problems of confidentiality, and thus allows for the inclusion of new, useful information (photos, architecture plans/schematics, real examples).

Download or read book Safety Management for Software based Equipment written by Jean-Louis Boulanger and published by John Wiley & Sons. This book was released on 2013-05-06 with total page 130 pages. Available in PDF, EPUB and Kindle. Book excerpt: A review of the principles of the safety of software-based equipment, this book begins by presenting the definition principles of safety objectives. It then moves on to show how it is possible to define a safety architecture (including redundancy, diversification, error-detection techniques) on the basis of safety objectives and how to identify objectives related to software programs. From software objectives, the authors present the different safety techniques (fault detection, redundancy and quality control). “Certifiable system” aspects are taken into account throughout the book. Contents 1. Safety Management. 2. From System to Software. 3. Certifiable Systems. 4. Risk and Safety Levels. 5. Principles of Hardware Safety. 6. Principles of Software Safety. 7. Certification. About the Authors Jean-Louis Boulanger is currently an Independent Safety Assessor (ISA) in the railway domain focusing on software elements. He is a specialist in the software engineering domain (requirement engineering, semi-formal and formal method, proof and model-checking). He also works as an expert for the French notified body CERTIFER in the field of certification of safety critical railway applications based on software (ERTMS, SCADA, automatic subway, etc.). His research interests include requirements, software verification and validation, traceability and RAMS with a special focus on SAFETY.

Download or read book Formal Methods written by Jean-Louis Boulanger and published by John Wiley & Sons. This book was released on 2013-05-10 with total page 296 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Static Analysis of Software written by Jean-Louis Boulanger and published by John Wiley & Sons. This book was released on 2013-02-07 with total page 244 pages. Available in PDF, EPUB and Kindle. Book excerpt: The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway, aeronautics, space, automotive, etc. The purpose of this book is to present students and researchers, in a single book, with the wealth of experience of people who are intrinsically involved in the realization and evaluation of software-based safety critical systems. As the authors are people currently working within the industry, the usual problems of confidentiality, which can occur with other books, is not an issue and so makes it possible to supply new useful information (photos, architectural plans, real examples).

Download or read book Certifiable Software Applications 1 written by Jean-Louis Boulanger and published by Elsevier. This book was released on 2016-07-15 with total page 310 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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

Download or read book Formal Methods Applied to Industrial Complex Systems written by Jean-Louis Boulanger and published by John Wiley & Sons. This book was released on 2014-07-09 with total page 328 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.).

Download or read book Certifiable Software Applications 3 written by Jean-Louis Boulanger and published by Elsevier. This book was released on 2018-09-03 with total page 358 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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

Download or read book CENELEC 50128 and IEC 62279 Standards written by Jean-Louis Boulanger and published by John Wiley & Sons. This book was released on 2015-03-24 with total page 376 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Formal Methods Applied to Complex Systems written by Jean-Louis Boulanger and published by John Wiley & Sons. This book was released on 2014-07-22 with total page 496 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, 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 “formal methods” (based on formal techniques such as proof, abstract interpretation and model-checking) in industrial examples of complex systems, based on the experience of people currently involved in the creation and assessment of safety critical system software. The involvement of people from within the industry allows the authors to avoid the usual confidentiality problems which can arise and thus enables them to supply new useful information (photos, architecture plans, real examples, etc.).

Download or read book Mise en oeuvre de la m thode B Trait RTA s rie Informatique et Syst mes d Information written by BOULANGER Jean-Louis and published by Lavoisier. This book was released on 2013-04-01 with total page 434 pages. Available in PDF, EPUB and Kindle. Book excerpt: La mise en place d’un logiciel sans défaut reste primordiale pour plusieurs domaines qui requièrent des applications dites de sécurité comme les transports. La réalisation d’un modèle formel est l’approche la plus efficace pour atteindre l'objectif du zéro défaut, que ce soit en termes de temps ou de maîtrise de la complexité. Ce modèle permet d’analyser et de vérifier le comportement d’un logiciel. Cet ouvrage présente la méthode B, une méthode formelle s’appuyant sur la preuve de propriétés qui, sur la base d’une spécification et de la notion de raffinement, permet d’aller jusqu’à la production automatique de code. Différents outils découlant de cette méthode ainsi que des exemples concrets d’utilisations industrielles de différentes tailles sont aussi exposés dans des domaines tels que l’avionique ou les systèmes manufacturiers.

Download or read book Outils de mise en uvre industrielle des techniques formelles written by BOULANGER Jean-Louis and published by Lavoisier. This book was released on 2012-04-16 with total page 402 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Industrial Use of Formal Methods written by Jean-Louis Boulanger and published by John Wiley & Sons. This book was released on 2013-05-10 with total page 236 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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).

Download or read book Formal Methods Applied to Complex Systems written by Jean-Louis Boulanger and published by John Wiley & Sons. This book was released on 2014-07-22 with total page 353 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, 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 “formal methods” (based on formal techniques such as proof, abstract interpretation and model-checking) in industrial examples of complex systems, based on the experience of people currently involved in the creation and assessment of safety critical system software. The involvement of people from within the industry allows the authors to avoid the usual confidentiality problems which can arise and thus enables them to supply new useful information (photos, architecture plans, real examples, etc.).

Download or read book Applications of Formal Methods written by Michael Gerard Hinchey and published by . This book was released on 1995 with total page 480 pages. Available in PDF, EPUB and Kindle. Book excerpt: This collection of case studies contains contributions illustrating the application of formal methods to real-life problems with industrial relevance.

Download or read book ICREEC 2019 written by Ahmed Belasri and published by Springer Nature. This book was released on 2020-06-10 with total page 659 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book highlights peer reviewed articles from the 1st International Conference on Renewable Energy and Energy Conversion, ICREEC 2019, held at Oran in Algeria. It presents recent advances, brings together researchers and professionals in the area and presents a platform to exchange ideas and establish opportunities for a sustainable future. Topics covered in this proceedings, but not limited to, are photovoltaic systems, bioenergy, laser and plasma technology, fluid and flow for energy, software for energy and impact of energy on the environment.

Download or read book Rigorous System Design written by Joseph Sifakis and published by . This book was released on 2013-03-20 with total page 84 pages. Available in PDF, EPUB and Kindle. Book excerpt: Deals with the formalization of the design of mixed hardware/software systems. It advocates rigorous system design as a model-based process leading from requirements to correct implementations and presents the current state of the art in system design, discusses its limitations and identifies possible avenues for overcoming them.

Download or read book Design Theory written by Pascal Le Masson and published by Springer. This book was released on 2017-04-06 with total page 390 pages. Available in PDF, EPUB and Kindle. Book excerpt: This textbook presents the core of recent advances in design theory and its implications for design methods and design organization. Providing a unified perspective on different design methods and approaches, from the most classic (systematic design) to the most advanced (C-K theory), it offers a unique and integrated presentation of traditional and contemporary theories in the field. Examining the principles of each theory, this guide utilizes numerous real life industrial applications, with clear links to engineering design, industrial design, management, economics, psychology and creativity. Containing a section of exams with detailed answers, it is useful for courses in design theory, engineering design and advanced innovation management. "Students and professors, practitioners and researchers in diverse disciplines, interested in design, will find in this book a rich and vital source for studying fundamental design methods and tools as well as the most advanced design theories that work in practice". Professor Yoram Reich, Tel Aviv University, Editor-in-Chief, Research In Engineering Design. "Twenty years of research in design theory and engineering have shown that training in creative design is indeed possible and offers remarkably operational methods - this book is indispensable for all leaders and practitioners who wish to strengthen theinnovation capacity of their company." Pascal Daloz, Executive Vice President, Dassault Systèmes