Requirements for reliable avionic systems are discussed in terms of the effectiveness of programming methodology. The need for methods to cope with the complexity of critical real-time systems is emphasized. Some general concepts about formal methods are presented and an example is given of the SRI hierarchical development methodology taken from the executive system of the SIFT fault tolerant computer. Formal methods with alternatives are compared and the prospects for introducing formal methods into practice are considered.
Formal methods for achieving reliable software
1979-10-01
Conference paper
No indication
English
ACHIEVING RELIABLE MANUFACTURING THROUGH PRECISION MAINTENANCE
TIBKAT | 2020
|Formal methods in software engineering
Tema Archive | 1990
|Epistemology, Software Engineering, and Formal Methods
British Library Conference Proceedings | 1994
|Formal methods for life-critical software
AIAA | 1993
|Formal Methods for Life-Critical Software
British Library Conference Proceedings | 1993
|