Back to Search
Start Over
Formal Aspects of Procedures: The Problem of Sequential Correctness
- Source :
- Proceedings of the Human Factors and Ergonomics Society Annual Meeting. 43:1113-1117
- Publication Year :
- 1999
- Publisher :
- SAGE Publications, 1999.
-
Abstract
- A formal, model-based approach is proposed for the development and evaluation of the sequences of actions specified in procedures. The approach employs methodologies developed within the discipline of discrete-event and hybrid systems control. We demonstrate the proposed approach through an evaluation of a procedure for handling an irregular engine-start on board a modern commercial aircraft.
Details
- ISSN :
- 10711813 and 21695067
- Volume :
- 43
- Database :
- OpenAIRE
- Journal :
- Proceedings of the Human Factors and Ergonomics Society Annual Meeting
- Accession number :
- edsair.doi...........892b9588f6b34c3f2dc4d3e22461edbb