DMCA. Copyrighted Work that you can Claim.
Base have 87 558 books.
Search: 


📙 Formal Methods: Industrial Use from Model to the Code by Jean-Louis Boulanger (ed.) — download pdf


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, Veronique Delebarre and Jean-Frederic 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.

Content:
Chapter 1 From Classic Languages to Formal Methods (pages 1–54): Jean?louis Boulanger
Chapter 2 Formal Method in the Railway Sector the First Complex Application: SAET?METEOR (pages 55–125): Jean?Louis Boulanger
Chapter 3 The B Method and B Tools (pages 127–157): Jean?Louis Boulanger
Chapter 4 Model?Based Design Using Simulink – Modeling, Code Generation, Verification, and Validation (pages 159–181): Mirko Conrad and Pieter J. Mosterman
Chapter 5 Proving Global Properties with the Aid of the SIMULINK DESIGN VERIFIER Proof Tool (pages 183–223): Veronique Delebarre and Jean?Frederic Etienne
Chapter 6 SCADE: Implementation and Applications (pages 225–271): Jean?Louis Camus
Chapter 7 GATeL: A V&V Platform for SCADE Models (pages 273–285): Bruno Marre, Benjamin Bianc, Patricia Mouy and Christophe Junke
Chapter 8 ControlBuild, a Development Framework for Control Engineering (pages 287–324): Franck Corbier
Chapter 9 Conclusion (pages 325–343): Jean?Louis Boulanger

About book:

About file:

  • File size: 10 203 921
  • Format: pdf


Security code:
Download button

Similar books results


Formal Methods for Industrial Critical Systems: A Survey of Applications
Formal Methods for Industrial Critical Systems: A Survey of Applications free epub by

Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics, togeth...

Formal Methods Applied to Industrial Complex Systems: Implementation of the B Method
Formal Methods Applied to Industrial Complex Systems: Implementation of the B Method free pdf by Jean-Louis Boulanger

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 ...

Beliefs and Leadership in World Politics: Methods and Applications of Operational Code Analysis
Beliefs and Leadership in World Politics: Methods and Applications of Operational Code Analysis epub download by Mark Schafer, Stephen G. Walker

This book examines how beliefs shape leaders’ perceptions of reality and lead to cognitive and motivated biases that distort, block, and recast incoming information from the environment. Using content analysis and formal modeling methods associated with...

Formal Methods: State of the Art and New Directions
Formal Methods: State of the Art and New Directions free pdf by Dines Bjørner (auth.), Paul Boca, Jonathan P. Bowen, Jawed Siddiqi (eds.)

The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence that formal methods can be effective and deployed in industrial-...

Formal Methods: Applications and Technology: 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers
Formal Methods: Applications and Technology: 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers epub download by Anna Slobodová (auth.), Luboš Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol (eds.)

These are the joint ?nal proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006) and the ?fth International Workshop on Parallel and Distributed Methods in Veri?cation (PDMC 2006). Both workshops were ...

Thermodynamic Models for Industrial Applications: From Classical and Advanced Mixing Rules to Association Theories
Thermodynamic Models for Industrial Applications: From Classical and Advanced Mixing Rules to Association Theories pdf free by Georgios Kontogeorgis, Georgios Folas

Using an applications perspective Thermodynamic Models for Industrial Applications provides a unified framework for the development of various thermodynamic models, ranging from the classical models to some of the most advanced ones. Among these are the C...

Formal Methods for Industrial Critical Systems: 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings
Formal Methods for Industrial Critical Systems: 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings epub download by Adrien Champion, Rémi Delmas (auth.), Charles Pecheur, Michael Dierkes (eds.)

This book constitutes the thoroughly refereed conference proceedings of the 18th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2013, held in Madrid, Spain, in September 2013. The 13 papers presented were carefully selecte...

Formal Methods and Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
Formal Methods and Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings pdf free by Carroll C. Morgan (auth.), Lindsay Groves, Jing Sun (eds.)

This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revised full papers together with 2 keynote speeches presented...

Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings
Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings epub download by Joost-Pieter Katoen (auth.), Gwen Salaün, Bernhard Schätz (eds.)

This book constitutes the proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, held in Trento, Italy, in August 2011.The 16 papers presented together with 2 invited talks were carefully reviewed and...

An Elementary Treatise on Curve Tracing
An Elementary Treatise on Curve Tracing pdf free by Percival Frost

Accessible treatment explores parabolic curves at an infinite distance, curves in the neighborhood of the origin, forms of branches whose tangents at the origin are the coordinate axes, more...

An EAI solution using WebSphere Business Integration

An Economic History of the American Steel Industry
An Economic History of the American Steel Industry free download by Robert P. Rogers

This book provides a basic outline of the history of the American steel industry, a sector of the economy that has been an important part of the industrial system. The book starts with the 1830's, when the American iron and steel industry resembled the tr...

An den Grenzen menschlichen Wissens

An Elementary Guide To Reliability
An Elementary Guide To Reliability free pdf by G. Dummer, R. WINTON, Mike Tooley BA; Advanced Technological and Higher National Certificates Kingston University

This classic text has now been completely revised and updated, making it an ideal introductory course in reliability for a wide range of engineering qualifications, including City & Guilds 8030 and HNC/Ds. A new chapter focuses on the role of the micropro...

An elementary introduction to mathematical finance
An elementary introduction to mathematical finance download pdf by Ross S.M.

This textbook on the basics of option pricing is accessible to readers with limited mathematical training. It is for both professional traders and undergraduates studying the basics of finance. Assuming no prior knowledge of probability, Sheldon M. Ross o...

  An economic analysis of democracy
An economic analysis of democracy free pdf by Randall G. Holcombe

Democratic decisions determine the al­location of resources through the public sector. Holcombe uses the median voter model as a base, but goes on to develop a more general multidimensional model of democratic decision making that incor­porates many theor...

An easy out : corporate America's addiction to outsourcing

An Elementary Survey of Celestial Mechanics
An Elementary Survey of Celestial Mechanics free download by Y. Ryabov, Physics, G. Yankovsky

An accessible exposition of gravitation theory and celestial mechanics, this classic volume was written by a distinguished Soviet astronomer. It explains with exceptional clarity the methods used by physicists in studying celestial phenomena, including pe...

An Efficient Energy Future. Prospects for Europe and North America