Formal Methods: Industrial Use from Model to the Code
- ISBN-10
- 1118614372
- ISBN-13
- 9781118614372
- Category
- Technology & Engineering
- Pages
- 384
- Language
- English
- Published
- 2013-05-10
- Publisher
- John Wiley & Sons
- Author
- Jean-Louis Boulanger
Description
Although formal analysis programming techniques may be quiteold, the introduction of formal methods only dates from the 1980s.These techniques enable us to analyze the behavior of a softwareapplication, described in a programming language. It took until theend of the 1990s before formal methods or the B method could beimplemented in industrial applications or be usable in anindustrial setting. Current literature only gives students and researchers very generaloverviews of formal methods. The purpose of this book is to presentfeedback from experience on the use of “formal methods”(such as proof and model-checking) in industrial examples withinthe transportation domain. This book is based on the experience of people who are currentlyinvolved in the creation and evaluation of safety critical systemsoftware. The involvement of people from within the industry allowsus to avoid the usual problems of confidentiality which could ariseand 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, theSimulink design verifier proof tool, the implementation andapplications of SCADE (Safety Critical Application DevelopmentEnvironment), GATeL: A V&V Platform for SCADE models andControlBuild. Contents 1. From Classic Languages to Formal Methods, Jean-LouisBoulanger. 2. Formal Method in the Railway Sector & the First ComplexApplication: SAET-METEOR, Jean-Louis Boulanger. 3. The B Method and B Tools, Jean-Louis Boulanger. 4. Model-Based Design Using Simulink – Modeling, CodeGeneration, Verification, and Validation, Mirko Conrad and PieterJ. Mosterman. 5. Proving Global Properties with the Aid of the SIMULINK DESIGNVERIFIER Proof Tool, Véronique Delebarre andJean-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 ControlEngineering, Franck Corbier. 9. Conclusion, Jean-Louis Boulanger.
Get the book
Other editions
-
- 2023-03-02
- 661 pages
- Ebook
- Springer Nature
-
- 2021
- 801 pages
- Paperback
- Springer Nature
-
- 2009-12-04
- 273 pages
- Ebook
- Springer Science & Business Media
Similar books
-
Animal Sciences: The Biology, Care, and Production of Domestic Animals, Fourth Edition
By John R. Campbell, M. Douglas Kenealy, Karen L. CampbellTimberlake claimed in 1980 that a fundamental problem with Singer's work is the lack of an adequate definition of suffering ...
-
Resilient Agriculture: Cultivating Food Systems for a Changing Climate
By Laura Lengnick3. D. Layne. 2013. Tree Fruit: Protecting Your Investment. American/Western Fruit Grower, September/October. 4. R. Snyder and J. Melu-Abreu. 2005. Frost ...
-
Biodesign: The Process of Innovating Medical Technologies
By Stefanos Zenios, Josh Makower, Paul YockAt that time, these were in the low $10s of millions. ... be a good partner going forward, even though it takes longer to get the deal done," offered Chess.
-
Advanced Signal Processing: A Concise Guide
By Amir-Homayoon Najmi, Todd Moon[ 59 ] S. Kotz , T. J. Kozubowski , and K. Podgorski , The Laplace ... valued signal processing : The proper way to deal with impropriety , ” IEEE Trans .
-
Resources for Technical Communication
By Pearson Education, Pearson Education Staff, David P Pearson EducationSome documents are annotated; some are left without annotations to provide more flexibility for instructors. This booklet can be packaged at no additional cost with any Longman title in technical communication.
-
Chemistry: An Introduction to General, Organic, and Biological Chemistry; Chemistry Study Pack Version 2.0 CD-ROM; The Chemistry of Life CD-ROM;...
By Karen C. TimberlakeChemistry: An Introduction to General, Organic, and Biological Chemistry; Chemistry Study Pack Version 2.0 CD-ROM; The Chemistry of Life CD-ROM;...
-
Poultry Science: Fifth Edition
By Colin G. Scanes, Karen D. ChristensenThe emission rates for ammonia (Casey et al., 2006): • Layers: 116 g NH3 per AU (AU or animal unit or 500 kg). • Broilers: 135 g NH3 per AU (AU or animal unit or 500 kg). Emission rates in different reports vary from less than either 10 ...
-
Solid State Materials Chemistry
By Patrick M. Woodward, Pavel Karen, John S. O. Evans[45] B.F. Hoskins, R. Robson, “Design and construction of a new class of scaffolding-like materials comprising infinite polymeric frameworks of 3D-linked molecular rods. A reappraisal of the zinc cyanide and cadmium cyanide structures ...
-
Abbreviations Dictionary
By Dean A. Stahl, Karen Landen... Tallest Mountain Mount Robson—12,972 feet or 3,954 meters—in the Canadian Rockies Canada's Westernmost City Dawson, Yukon Canada's Westernmost Point in Yukon Territory just east of Alaska's Demarcation Point Canary Islands' Largest ...
-
Agriculture: A Very Short Introduction
By Paul Brassley, Richard SoffeACCOUNTING Christopher Nobes ADVERTISING Winston Fletcher AFRICAN AMERICAN RELIGION Eddie S. Glaude Jr AFRICAN HISTORY ... Hugh Bowden ALGEBRA Peter M. Higgins AMERICAN HISTORY Paul S. Boyer AMERICAN IMMIGRATION David A. Gerber AMERICAN ...