Formal method : industrial use from model to the code / editor, Jean-Louis Boulanger.

Format:

Book

Contributor:

Boulanger, Jean-Louis.

Series:

Industrial implementation of formal methods series.

Industrial implementation of formal methods series

Language:

English

Subjects (All):

Railroads--Management--Data processing.

Railroads.

Formal methods (Computer science).

Application software--Development.

Application software.

Physical Description:

1 online resource (376 pages)

Edition:

1st ed.

Place of Publication:

London : ISTE ; Hoboken, N.J. : Wiley, 2012.

Language Note:

English

Summary:

Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980's. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until the end of the 1990's 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 method

Contents:

From classic languages to formal methods

Formal method in railway, the first complex application : SAET-METEOR

B method and B tools

Model-based design using Simulink : modeling, code generation, verification, and validation

Proof of global properties with the aid of the Simulink Design verifier proof tool

SCADE : implementation and applications

GATel : a V & V platform for scade models

Control build.

Notes:

Description based upon print version of record.

Includes bibliographical references and index.

ISBN:

9781118614372

1118614372

9781118561898

1118561899

9781299315075

1299315070

9781118614389

1118614380

OCLC:

830161712