Action reversibility in human-machine systems
| Autor: | Michael Feary, Fédéric Dehais, Sergio Pizziol, Catherine Tessier |
|---|---|
| Přispěvatelé: | Institut Supérieur de l'Aéronautique et de l'Espace (ISAE-SUPAERO), ONERA / DTIS, Université de Toulouse [Toulouse], ONERA-PRES Université de Toulouse, NASA Ames Research Center (ARC) |
| Jazyk: | angličtina |
| Rok vydání: | 2015 |
| Předmět: |
[PHYS]Physics [physics]
Focus (computing) Engineering Property (programming) business.industry Scale (chemistry) 05 social sciences Frame (networking) Flight management system Control engineering 02 engineering and technology Undo [SPI]Engineering Sciences [physics] Action (philosophy) Reversibility 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing 0501 psychology and cognitive sciences Human–machine system [INFO]Computer Science [cs] [MATH]Mathematics [math] business Algorithm 050107 human factors human-machine interaction |
| Zdroj: | ATACCS 2015 ATACCS 2015, Sep 2015, Toulouse, France. ⟨10.1145/1235⟩ ATACCS |
| DOI: | 10.1145/1235⟩ |
| Popis: | International audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|