AMBOSS: A Task Modeling Approach for Safety-Critical Systems

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 addi...

Full description

Saved in:
Bibliographic Details
Published inEngineering Interactive Systems Vol. 5247; pp. 98 - 109
Main Authors Giese, Matthias, Mistrzyk, Tomasz, Pfau, Andreas, Szwillus, Gerd, von Detten, Michael
Format Book Chapter
LanguageEnglish
Published Germany Springer Berlin / Heidelberg 2008
Springer Berlin Heidelberg
SeriesLecture Notes in Computer Science
Subjects
Online AccessGet full text
ISBN9783540859918
3540859918
ISSN0302-9743
1611-3349
1611-3349
DOI10.1007/978-3-540-85992-5_8

Cover

More Information
Summary: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.
ISBN:9783540859918
3540859918
ISSN:0302-9743
1611-3349
1611-3349
DOI:10.1007/978-3-540-85992-5_8