Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Formal Methods: Industrial Use from Model to the Code

Buy

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.

(HTML tags aren't allowed.)

Python: Create - Modify - Reuse
Python: Create - Modify - Reuse

Python: Create-Modify-Reuse

Aimed at all levels of Python developers who are interested in a task-based way of learning Python development, this hands-on book shows how you can efficiently use Python to create robust, real-world applications. After a brief primer on this object-oriented, interactive programming...

Mac OS X Power User's Guide (Mac/Graphics)
Mac OS X Power User's Guide (Mac/Graphics)
So what is the big deal about a new operating system from Apple?

Just those very words: new, operating, system, and Apple are enough to get the blood of every Mac geek on the planet boiling with anticipation. But why should the rest of us care?

Having specialized in the Linux operating system for
...
Bioinformatics: Converting Data to Knowledge, Workshop Summary
Bioinformatics: Converting Data to Knowledge, Workshop Summary
In 1993 the National Research Council’s Board on Biology established a series of forums on biotechnology. The purpose of the discussions is to foster open communication among scientists, administrators, policy-makers, and others engaged in biotechnology research, development, and commercialization. The neutral setting offered by the National...

Quantum Computing: A Gentle Introduction (Scientific and Engineering Computation)
Quantum Computing: A Gentle Introduction (Scientific and Engineering Computation)

The combination of two of the twentieth century's most influential and revolutionary scientific theories, information theory and quantum mechanics, gave rise to a radically new view of computing and information. Quantum information processing explores the implications of using quantum mechanics instead of classical mechanics to model...

Guarantee of Peace: The League of Nations in British Policy 1914-1925
Guarantee of Peace: The League of Nations in British Policy 1914-1925

Peter Yearwood reconsiders the League of Nations, not as an attempt to realize an idea but as an element in the day-to-day conduct of Britain's foreign policy and domestic politics during the period 1914-25.

He challenges the usual view that London reluctantly adopted the idea in response to pressure from Woodrow Wilson
...

Fundamentals of Medical Imaging
Fundamentals of Medical Imaging
Fundamentals of Medical Imaging, second edition, is an invaluable technical introduction to each imaging modality, explaining the mathematical and physical principles and giving a clear understanding of how images are obtained and interpreted. Individual chapters cover each imaging modality - radiography, CT, MRI, nuclear medicine and ultrasound -...
©2019 LearnIT (support@pdfchm.net) - Privacy Policy