The skull beneath the skin: entity-relationship models of information artifacts
International Journal of Human-Computer Studies - Special issue: the role of cognitive science in human-computer interaction
A model-based tool for interactive prototyping of highly interactive applications
CHI '02 Extended Abstracts on Human Factors in Computing Systems
Model-Based Design and Evaluation of Interactive Applications
Model-Based Design and Evaluation of Interactive Applications
Modelling both the Context and the User
Personal and Ubiquitous Computing
CTTE: support for developing and analyzing task models for interactive system design
IEEE Transactions on Software Engineering
Validating interactive system design through the verification of formal task and system models
Proceedings of the IFIP TC2/WG2.7 Working Conference on Engineering for Human-Computer Interaction
Toward the Automatic Construction of Task Models from Object-Oriented Diagrams
Proceedings of the IFIP TC2/TC13 WG2.7/WG13.4 Seventh Working Conference on Engineering for Human-Computer Interaction
Deriving Presentations from Task Models
Proceedings of the IFIP TC2/TC13 WG2.7/WG13.4 Seventh Working Conference on Engineering for Human-Computer Interaction
A Tool Suite for Integrating Task and System Models through Scenarios
DSV-IS '01 Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification-Revised Papers
Formal Specification as a Tool for Objective Assessment of Safety-Critical Interactive Systems
INTERACT '97 Proceedings of the IFIP TC13 Interantional Conference on Human-Computer Interaction
Models of interactive systems: a case study on programmable user modelling
International Journal of Human-Computer Studies
Structuring interactive systems specifications for executability and prototypability
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
Wisdom: a UML based architecture for interactive systems
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
Towards a UML profile for interaction design: the wisdom approach
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Generating UML diagrams from task models
CHINZ '03 Proceedings of the 4th Annual Conference of the ACM Special Interest Group on Computer-Human Interaction
AMBOSS: A Task Modeling Approach for Safety-Critical Systems
HCSE-TAMODIA '08 Proceedings of the 2nd Conference on Human-Centered Software Engineering and 7th International Workshop on Task Models and Diagrams
Detection of Pilot Errors in Data by Combining Task Modeling and Model Checking
INTERACT '09 Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part I
Une approche formelle pour i'evaluation de la tolérance aux interruptions des système interactifs
Proceedings of the 21st International Conference on Association Francophone d'Interaction Homme-Machine
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
Model-based training: an approach supporting operability of critical interactive systems
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
Hi-index | 0.00 |
This paper claims that the design and construction of safety critical interactive systems require both a task centred approach to support efficiently operator's goals and activities and a system centred approach to increase the dependability of the system. The approach presented proposes a model-based approach integrating tasks and system models. This integration is done at the model level (in a similar way as in [13]) and at the tool level exploiting PetShop environment [3] for the system side and AMBOSS [1] for the task side. The tool level integration describes three different protocols each of them having advantages and limitations. The model-based approaches are introduced through a case study in the field of command and control systems. The application called AGENDA allows operators to define and organize work plan for satellite ground systems.