Formal Methods: Industrial Use from Model to the Code by Jean-Louis Boulanger

By Jean-Louis Boulanger

Even supposing formal research programming suggestions can be particularly outdated, the creation of formal tools basically dates from the Eighties. those innovations let us to research the habit of a software program software, defined in a programming language. It took until eventually the tip of the Nineties earlier than formal equipment or the B process might be carried out in commercial purposes or be usable in an business environment. present literature in simple terms supplies scholars and researchers very basic overviews of formal tools. the aim of this e-book is to give suggestions from adventure at the use of “formal equipment” (such as evidence and model-checking) in business examples in the transportation area.

Show description

Read or Download Formal Methods: Industrial Use from Model to the Code PDF

Similar industrial engineering books

Molecular Techniques in the Microbial Ecology of Fermented Foods (Food Microbiology and Food Safety)

With the appliance of latest analytical strategies, the sector of nutrients fermentation has grown lately. This publication presents the most recent info and proper advances at the microbial ecology of fermented meals and the appliance of molecular tools. This booklet serves as a advisor for college students and researchers at the such a lot complex options to spot micro organism and is helping in opting for the main acceptable instruments to check fermented foodstuff from a microbiological perspective.

Managing Maintenance Shutdowns and Outages

Making plans a shutdown? reduce your expenses through studying and utilizing this exact reference! initially designed as a thorough path after which honed over a number of years, coping with upkeep Shutdowns and Outages organizes the main points of a upkeep shutdown right into a conceivable shape via introducing the entire steps wanted for a profitable shutdown or outage.

Chemistry and technology of polyols for polyurethanes

Polyurethanes are the most dynamic teams of polymers, they locate use in approximately each element of recent lifestyles, in functions equivalent to furnishings, bedding, seating and tool panels for vehicles, shoe soles, thermoinsulation, carpet backings, packaging, adhesives, sealants, binders and as coatings.

Additional info for Formal Methods: Industrial Use from Model to the Code

Example text

2. From Z to the B-method In the context of the SACEM29 [GEO 90], the RATP performed Hoare’s proof [HOA 69] to show acknowledgement of the requirements – for more information, consult [GUI 90]. Hoare’s proof makes it possible, through a P program and a set of C pre-conditions, to bring the set of post-conditions to light. Hoare’s proof, run in the framework of the SACEM, enabled some of the properties of the code to be exposed, but it was not possible to link it to the safetyrelated requirements (the requirement for non-collision, for example).

This standard is edited by the International Electrotechnical Commission22 (IEC), which is the international standardization organization responsible for electricity, electronics, and related techniques. ch. info 34 Formal Methods system for quality. ), the content of the CEI/IEC 61508 standard is sufficiently complex, not to mention unusual, so that the reader needs “to be guided through”. See [ISA 05] or [SMI 07]. The CEI/IEC 61508 [IEC 98] standard defines the notion of SIL (Safety Integrity Level).

Fr. com. 32 SAO (spécification assistée par ordinateur) (computer-aided specification) is an “inhouse” formalism developed by AIRBUS, which reprises the concept of analog block diagrams, that provide a specification tool with code generation, then of code generation. info From Classic Languages to Formal Methods 43 – code generation from automatic models allows the number of errors to be reduced; – the graphic language relates closely to the knowledge of aeronautical engineers, facilitating communication within AIRBUS; there was then an acceleration in updating and capitalization on know-how.

Download PDF sample

Rated 4.93 of 5 – based on 41 votes