Formal Tasks and Systems Models as a Tool for Specifying and Assessing Automation Designs - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Formal Tasks and Systems Models as a Tool for Specifying and Assessing Automation Designs

Résumé

Designing interactive computing systems in such a way that as much functions as possible are automated has been the driving direction of research and engineering both in aviation and in computer science for many years. In the 80's many studies (e.g. [8] related to the notion of mode confusion) have demonstrated that fully automated systems are out of the grasp of current technologies and that additionally migrating functions [2] from the operator to the system might have disastrous impact on safety and usability and operationality of systems. Allocating functions to an operator or automating them, raises issues that require a complete understanding of both operations to be carried out by the operator and the behavior of the interactive system. This paper proposes a contribution for reasoning about automation designs using a model-based approach exploiting both task models and system models. Tasks models are meant to describe goals, tasks and actions to be performed by the operator while system models represent the entire behaviour of the interactive system. Tasks models and systems models thus represent two different views of the same world: one or several users interacting with a computing system in order to achieve their goals. In previous work we have demonstrated how these two views can be integrated at the model level and additionally at the tool level [7]. In this paper we present how such representations can support the assessment of alternative design options for automation.

Mots clés

Fichier principal
Vignette du fichier
Formal Tasks and Systems Models as a Tool for Specifying and Assessing Automation Designs.pdf (524.4 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-03647159 , version 1 (20-04-2022)

Identifiants

  • HAL Id : hal-03647159 , version 1

Citer

Célia Martinie, Philippe Palanque, Eric Barboni, Marco Winckler, Martina Ragosta, et al.. Formal Tasks and Systems Models as a Tool for Specifying and Assessing Automation Designs. International Conference on Application and Theory of Automation in Command and Control Systems, May 2011, Barcelone, Spain. pp.50-59. ⟨hal-03647159⟩
20 Consultations
19 Téléchargements

Partager

Gmail Facebook X LinkedIn More