3. Formal, semi-formal, structured methods and formal techniques
3.1 Definitions
The definition of an M model is a means of understanding and/or apprehending a problem/situation. In general, the specification phase, which enables us to take ownership of the specifications, involves the creation of an M model.
A model can be more or less close to the system under study, in which case it is referred to as an abstraction. The closer the model, the closer the results obtained will be to those observed on the final system.
...
The Ultimate Scientific and Technical Reference
This article is included in
Railway systems
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, semi-formal, structured methods and formal techniques
Using formal methods to build a software application
Bibliography
Bibliography
Websites
CENELEC http://www.cenelec.eu/Cenelec/Homepage.htm
COFRAC http://www.cofrac.fr
EPSF http://www.securite-ferroviaire.fr/
...
Events
ERTSS Embedded Real Time Software and System http://www.erts2012.org/
ESREL http://www.esrel2011.com/
LambdaMU http://www.imdr.fr
Standards and norms
- Applications ferroviaires. Équipements électroniques utilisés sur le matériel roulant - AFNOR EN 50155 - 12-01
- Langage de programmation Ada - ANSI:1983, ANSI/MIL-STD-1815A-1983 - 1983
- Software Considerations in Airborne Systems and Equipment Certification, published by ARINC, DO 178B, and EUROCAE, ED12, édition C - ARINC DO 178:C - 2001
The Ultimate Scientific and Technical Reference
