AMBOSS: A Task Modeling Approach for Safety-Critical Systems

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.

Considering task pre-conditions in model-based user interface design and generation

“…UsiXML [4] and Hamsters [5]) and commercial tools (e.g. IBM Information Architecture Workbench [3]). They include a precondition and/or a postcondition for the task execution, which are defined as strings.…”

“…To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. [3] simulates different scenarios allowing the designer to indicate interactively whether a condition is satisfied or not. Thus, there is a lack of tools able to manage preconditions in task models, in the user interface design and generation process, and in this paper we present a solution to cover this gap.…”

ProtoTask, New Task Model Simulator

“…CTT [4], and HAMSTERS [5] use LOTOS operators. K-MAD [6] and AMBOSS [7] use different operators, which are equivalent to a subset of the CTT's operators. Operators can be expressed between tasks at a same level of decomposition (CTTE) or linked to task decomposition, and common to all sub-tasks (AMBOSS, HAMSTERS, K-MAD, VTMB [8]).…”

Detection of Pilot Errors in Data by Combining Task Modeling and Model Checking

“…Semiformal task analysis and modeling approaches such as [5,6] primarily concentrate on the hierarchical decomposition of tasks into subtasks and their temporal ordering. The models are semi-formal in the sense that they formally structure (hierarchy, temporal relations) informal elements (task descriptions in natural language).…”

“…The tool chain begins with AMBOSS [5], a tool for the semi-formal level of task analysis and modeling. This modeling environment provides different abstraction levels in a hierarchical manner, represented graphically in a tree-like format.…”