Formal Aspects of Procedures: The Problem of Sequential Correctness
Asaf Degani, Michael A Heymann, Michael G. Shafto · Proceedings of the Human Factors and Ergonomics Society Annual Meeting · 1999
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.