Despite their potential, formal methods have had difficulty gaining acceptance in the industrial sector. Some complaints are based on supposed impracticality: many consider formal methods to be an approach to system specification and analysis that requires a large learning time. Contributing to this scepticism is the fact that some types of formal methods have not yet been proven to handle systems of realistic complexity. To learn more about how to design formal specification languages that can be used for complex systems and require minimal training, we developed a formal specification of an English language specification of the vertical flight control system similar to that found in the MD-11. This paper describes the lessons learned from this experience.
Making formal methods practical
19th DASC. 19th Digital Avionics Systems Conference. Proceedings (Cat. No.00CH37126) ; 1 ; 1B2/1-1B2/8 vol.1
2000-01-01
734584 byte
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Making Formal Methods Practical
British Library Conference Proceedings | 2000
|Practical Uses of Formal Methods in Development of Airborne Software
British Library Conference Proceedings | 2016
|Practical Uses of Formal Methods in Development of Airborne Software
SAE Technical Papers | 2016
|Echo: a practical approach to formal verification
Tema Archiv | 2005
|PICASSOS — Practical Applications of Automated Formal Methods to Safety Related Automotive Systems
British Library Conference Proceedings | 2017
|