Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems

Author: Stefania Gnesi

Publisher: John Wiley & Sons

Published: 2012-11-27

Total Pages: 256

ISBN-13: 1118459873

DOWNLOAD EBOOK

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, together with their associated analysis methods, that allow description and reasoning about the behavior of a system in a formal manner. Growing out of more than a decade of award-winning collaborative work within the European Research Consortium for Informatics and Mathematics, Formal Methods for Industrial Critical Systems: A Survey of Applications presents a number of mainstream formal methods currently used for designing industrial critical systems, with a focus on model checking. The purpose of the book is threefold: to reduce the effort required to learn formal methods, which has been a major drawback for their industrial dissemination; to help designers to adopt the formal methods which are most appropriate for their systems; and to offer a panel of state-of-the-art techniques and tools for analyzing critical systems.

Industrial-Strength Formal Methods in Practice
Industrial-Strength Formal Methods in Practice

Author: Michael G. Hinchey

Publisher: Springer Science & Business Media

Published: 1999-09-17

Total Pages: 420

ISBN-13: 9781852336400

DOWNLOAD EBOOK

"Aimed mainly at practitioners in software engineering and formal methods, this book will also be of interest to academic researchers working in formal methods, and students on advanced software engineering courses who need real-life specifications and examples on which to base their work."--Jacket.

Formal Methods in Manufacturing
Formal Methods in Manufacturing

Author: Javier Campos

Publisher: CRC Press

Published: 2014-02-25

Total Pages: 719

ISBN-13: 1466561556

DOWNLOAD EBOOK

Illustrated with real-life manufacturing examples, Formal Methods in Manufacturing provides state-of-the-art solutions to common problems in manufacturing systems. Assuming some knowledge of discrete event systems theory, the book first delivers a detailed introduction to the most important formalisms used for the modeling, analysis, and control of manufacturing systems (including Petri nets, automata, and max-plus algebra), explaining the advantages of each formal method. It then employs the different formalisms to solve specific problems taken from today’s industrial world, such as modeling and simulation, supervisory control (including deadlock prevention) in a distributed and/or decentralized environment, performance evaluation (including scheduling and optimization), fault diagnosis and diagnosability analysis, and reconfiguration. Containing chapters written by leading experts in their respective fields, Formal Methods in Manufacturing helps researchers and application engineers handle fundamental principles and deal with typical quality goals in the design and operation of manufacturing systems.

Industrial Use of Formal Methods
Industrial Use of Formal Methods

Author: Jean-Louis Boulanger

Publisher: John Wiley & Sons

Published: 2013-05-10

Total Pages: 236

ISBN-13: 1118587847

DOWNLOAD EBOOK

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: State of the Art and New Directions
Formal Methods: State of the Art and New Directions

Author: Paul Boca

Publisher: Springer Science & Business Media

Published: 2009-12-04

Total Pages: 290

ISBN-13: 1848827369

DOWNLOAD EBOOK

Through fundamental contributions from leading researchers, this volume describes the use of formal modeling methods in the areas of requirements, design and validation. The self-contained chapters provide readers with rich background information and a diverse breadth of specialist material.

Formal Methods for Industrial Applications
Formal Methods for Industrial Applications

Author: Jean-Raymond Abrial

Publisher: Springer Science & Business Media

Published: 1996-10-30

Total Pages: 536

ISBN-13: 9783540619291

DOWNLOAD EBOOK

This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evaluating formal methods for usage under industrial constraints: the major techniques for formally supported specification, design, and verification of large programs and complex systems are applied to a non-trivial and non-academic problem which is typical for industrial informal requirements specifications. The 21 papers included in the book, together with an introduction and competition report, were selected from 33 candidate solutions. This book comes with a CD-ROM containing, besides the printed papers, executable code, full definitions of all parts of the specifications, and detailed descriptions of foundational matters where appropriate.

Concise Guide to Formal Methods
Concise Guide to Formal Methods

Author: Gerard O'Regan

Publisher: Springer

Published: 2017-08-08

Total Pages: 336

ISBN-13: 3319640216

DOWNLOAD EBOOK

This invaluable textbook/reference provides an easy-to-read guide to the fundamentals of formal methods, highlighting the rich applications of formal methods across a diverse range of areas of computing. Topics and features: introduces the key concepts in software engineering, software reliability and dependability, formal methods, and discrete mathematics; presents a short history of logic, from Aristotle’s syllogistic logic and the logic of the Stoics, through Boole’s symbolic logic, to Frege’s work on predicate logic; covers propositional and predicate logic, as well as more advanced topics such as fuzzy logic, temporal logic, intuitionistic logic, undefined values, and the applications of logic to AI; examines the Z specification language, the Vienna Development Method (VDM) and Irish School of VDM, and the unified modelling language (UML); discusses Dijkstra’s calculus of weakest preconditions, Hoare’s axiomatic semantics of programming languages, and the classical approach of Parnas and his tabular expressions; provides coverage of automata theory, probability and statistics, model checking, and the nature of proof and theorem proving; reviews a selection of tools available to support the formal methodist, and considers the transfer of formal methods to industry; includes review questions and highlights key topics in every chapter, and supplies a helpful glossary at the end of the book. This stimulating guide provides a broad and accessible overview of formal methods for students of computer science and mathematics curious as to how formal methods are applied to the field of computing.

Formal Engineering for Industrial Software Development
Formal Engineering for Industrial Software Development

Author: Shaoying Liu

Publisher: Springer Science & Business Media

Published: 2013-03-09

Total Pages: 410

ISBN-13: 3662072874

DOWNLOAD EBOOK

In any serious engineering discipline, it would be unthinkable to construct a large system without having a precise notion of what is to be built and without verifying how the system is expected to function. Software engineering is no different in this respect. Formal methods involve the use of mathematical notation and calculus in software development; such methods are difficult to apply to large-scale systems with practical constraints (e.g., limited developer skills, time and budget restrictions, changing requirements). Here Liu claims that formal engineering methods may bridge this gap. He advocates the incorporation of mathematical notation into the software engineering process, thus substantially improving the rigor, comprehensibility and effectiveness of the methods commonly used in industry. This book provides an introduction to the SOFL (Structured Object-Oriented Formal Language) method that was designed and industry-tested by the author. Written in a style suitable for lecture courses or for use by professionals, there are numerous exercises and a significant real-world case study, so the readers are provided with all the knowledge and examples needed to successfully apply the method in their own projects.

Applications of Formal Methods
Applications of Formal Methods

Author: Michael Gerard Hinchey

Publisher:

Published: 1995

Total Pages: 480

ISBN-13:

DOWNLOAD EBOOK

This collection of case studies contains contributions illustrating the application of formal methods to real-life problems with industrial relevance.

Understanding Formal Methods
Understanding Formal Methods

Author: Jean-Francois Monin

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 288

ISBN-13: 1447100433

DOWNLOAD EBOOK

This is an excellent introduction to formal methods which will bring anyone who needs to know about this important topic up to speed. It is comprehensive, giving the reader all the information needed to explore the field of formal methods in more detail. It offers: a guide to the mathematics required; comprehensive but easy-to-understand introductions to various methods; a run-down of how formal methods can help to develop high-quality systems that come in on time, within budget, and according to requirements.