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.
['Sergio Pizziol', 'Catherine Tessier', 'Michael Feary', 'Frédéric Dehais']
Action reversibility in human-machine systems