Action reversibility in human-machine systems
Sergio Pizziol, Catherine Tessier, Michael Feary, Fédéric Dehais · 2015
This paper focuses on the reversibility of human actions in the frame of human-machine interaction, with a special focus on the interaction between a pilot and a flight management system controlling an aircraft. A multi-level reversibility scale is defined for human actions. A reversibility property is defined for each level. An algorithm implementing a reversibility property check on the machine logic described in ADEPT is proposed. Specifically this paper describes a method for formally identifying actions that are not reversible within one step, that are eventually totally unrecoverable and that are totally unrecoverable.