![](/assets/images/picto-drapeau-france-3a76576a5d60a512053b4612ab58dae5.png)
4. Formal development
4.1 Formal methods
Formal methods are becoming increasingly popular, particularly in critical applications such as nuclear power plants, avionics and rail transport. The problem with mission-critical applications is to guarantee maximum operational safety. The contribution of formal methods is to provide a mathematical framework for the development process, enabling the production of software that is correct by construction, thanks to a development process that can be verified by validation techniques such as proof or model exploration. To achieve this, it is obviously necessary to describe precisely the properties that the software system must possess. Formal methods fall into several categories:
algebraic specifications (PLUSS or PVS)...
Exclusive to subscribers. 97% yet to be discovered!
You do not have access to this resource.
Click here to request your free trial access!
Already subscribed? Log in!
![](/assets/images/logo-eti-286623ed91fa802ce039246e516e5852.png)
The Ultimate Scientific and Technical Reference
This article is included in
Mechanical functions and components
This offer includes:
Knowledge Base
Updated and enriched with articles validated by our scientific committees
Services
A set of exclusive tools to complement the resources
Practical Path
Operational and didactic, to guarantee the acquisition of transversal skills
Doc & Quiz
Interactive articles with quizzes, for constructive reading
Formal development
Bibliography
Software tools
Workshop B http://www.atelierb.eu
SCADE http://www.esterel-technologues.com/products/scade-suite
ECLIPSE http://www.eclipse.org
...Websites
VERIMAG on synchronous languages, in particular LUSTRE http://www-verimag.imag.fr/SYNCHRONE/index.php?page=lang-design
ESTEREL Technology markets the SCADE environment http://www.esterel-technologies.com/
...Events
ABZ conferences (method B) http://abzconference.org/
IEEE Aerospace Applications Conference
International Software Engineering Days
IEEE-ACM International Conference on Software Engineering
Standards and norms
- Langage de programmation Ada - ANSI/MIL-STD-1815A - 1983
- Sécurité fonctionnelle des systèmes électriques électroniques programmables relatifs à la sécurité, norme internationale - IEC 61508 - 1998
- Functional safety. Safety Instrumented systems for the process sector – Parts 1-3 - IEC 61511 - 2003
- Nuclear power plants – Instrumentation and control important to safety – Software aspects of programmed...
Regulations
Decree 2006-1279 relating to safety of railway traffic and to interoperability of railway system (October 19, 2006)
Decree 2003-425 relating to safety of public guided transit (May 9, 2003)
Directory
Organizations – Federations – Associations (non-exhaustive list)
STRM-TG http://www.strmtg.equipement.gouv.fr/
BIRM-TG http://www.strmtg.equipement.gouv.fr/article.php3?id_article=43
...
Exclusive to subscribers. 97% yet to be discovered!
You do not have access to this resource.
Click here to request your free trial access!
Already subscribed? Log in!
![](/assets/images/logo-eti-286623ed91fa802ce039246e516e5852.png)
The Ultimate Scientific and Technical Reference