AMBOSS: A Task Modeling Approach for Safety-Critical Systems

Authors:
Matthias Giese;Tomasz Mistrzyk;Andreas Pfau;Gerd Szwillus;Michael Detten
Affiliations:
Institute for Computer Science, University Paderborn, Paderborn, Germany 33102;OFFIS e. V., Oldenburg, Germany 26121;Institute for Computer Science, University Paderborn, Paderborn, Germany 33102;Institute for Computer Science, University Paderborn, Paderborn, Germany 33102;Institute for Computer Science, University Paderborn, Paderborn, Germany 33102
Venue:
HCSE-TAMODIA '08 Proceedings of the 2nd Conference on Human-Centered Software Engineering and 7th International Workshop on Task Models and Diagrams
Year:
2008

Citing 7
Cited 7

Facilitating the exploration of interface design alternatives: the HUMANOID model of interface design

CHI '92 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Safety Critical Computer Systems

Safety Critical Computer Systems
Specification and simulation of task models with VTMB

CHI '99 Extended Abstracts on Human Factors in Computing Systems
CTTE: support for developing and analyzing task models for interactive system design

IEEE Transactions on Software Engineering
TaskArchitect: taking the work out of task analysis

TAMODIA '04 Proceedings of the 3rd annual conference on Task models and diagrams
K-MADe: un environnement pour le noyau du modèle de description de l'activité

IHM '06 Proceedings of the 18th International Conferenceof the Association Francophone d'Interaction Homme-Machine
On the benefit of synergistic model-based approach forsafety critical interactive system testing

TAMODIA'07 Proceedings of the 6th international conference on Task models and diagrams for user interface design

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
Increasing the expressive power of task analysis: Systematic comparison and empirical assessment of tool-supported task models

Interacting with Computers
Using hierarchical task decomposition as a grammar to map actions in context: Application to forecasting systems in supply chain planning

International Journal of Human-Computer Studies
A model-based approach to ongoing product evaluation

Proceedings of the International Working Conference on Advanced Visual Interfaces
Generating phenotypical erroneous human behavior to evaluate human-automation interaction using model checking

International Journal of Human-Computer Studies
ProtoTask, new task model simulator

HCSE'12 Proceedings of the 4th international conference on Human-Centered Software Engineering
Extending procedural task models by systematic explicit integration of objects, knowledge and information

Proceedings of the 31st European Conference on Cognitive Ergonomics

Quantified Score

Hi-index	0.00

Visualization

Abstract

In a recent project we created AMBOSS, a task modeling environment taking into account the special needs for safety-critical socio-technical systems. An AMBOSS task model allows the specification of relevant information concerning safety aspects. To achieve this we complemented task models with additional information elements and appropriate structures. These refer primarily to aspects of timing, spatial information, and communication. In this paper we give an introductory overview about AMBOSS and its contribution to modeling safety-critical systems. In addition, we present AmbossA, the visual pattern language for detecting particular constellations of interest within a task model.