Paper Info
Title
Formal tasks and systems models as a tool for specifying and assessing automation designs
Abstract
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.
Year
Venue
Keywords
2011
ATACCS
automated system,system model,model level,formal task,systems model,computing system,interactive system,automation design,tool level,interactive computing system,tasks model,allocating function
Field
DocType
Citations 
Confusion,GRASP,Systems engineering,Software engineering,Computer science,Usability,Aviation,Automation,Interactive computing,Operator (computer programming),Computing systems
Conference
8
PageRank 
References 
Authors
0.57
16
7
Name
Order
Citations
PageRank
Célia Martinie123225.78
Philippe Palanque271668.40
Eric Barboni328018.82
Marco Winckler431351.83
Martina Ragosta5463.34
Alberto Pasquini621139.82
Paola Lanzi780.91