Plans and situated actions: the problem of human-machine communication
Plans and situated actions: the problem of human-machine communication
Cognitive function analysis for human-centered automation of safety-critical systems
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Modeling a groupware editing tool with cooperative objects
Concurrent object-oriented programming and petri nets
The Psychology of Human-Computer Interaction
The Psychology of Human-Computer Interaction
ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models
INTERACT '97 Proceedings of the IFIP TC13 Interantional Conference on Human-Computer Interaction
A Petri Net based Environment for the Design of Event-driven Interfaces
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
A General Systematic Approach to Arc Extensions for Coloured Petri Nets
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets
IEEE Transactions on Software Engineering
High-Fidelity Prototyping of Interactive Systems Can Be Formal Too
Proceedings of the 13th International Conference on Human-Computer Interaction. Part I: New Trends
ACM Transactions on Computer-Human Interaction (TOCHI)
Proceedings of the 2009 international conference on Multimodal interfaces
Beyond modelling: an integrated environment supporting co-execution of tasks and systems models
Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems
Enabling flexible manufacturing systems by using level of automation as design parameter
Winter Simulation Conference
Structuring and composition mechanisms to address scalability issues in task models
INTERACT'11 Proceedings of the 13th IFIP TC 13 international conference on Human-computer interaction - Volume Part III
The Design of Everyday Things
A model for types and levels of human interaction with automation
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Using complementary models-based approaches for representing and analysing ATM systems' variability
Proceedings of the 2nd International Conference on Application and Theory of Automation in Command and Control Systems
Patterns and models for automated user interface construction: in search of the missing links
HCI'13 Proceedings of the 15th international conference on Human-Computer Interaction: human-centred design approaches, methods, tools, and environments - Volume Part I
| Hi-index | 0.00 |
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.