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.
Chapter PDF
References
Amboss: Homepage of the AMBOSS project, Universität Paderborn, Institut für Informatik (accessed April 2008), http://wwwcs.upb.de/cs/ag-szwillus/lehre/ws05_06/PG/PGAMBOSS/index.php
Barboni, E., Navarre, D., Palanque, P., et al.: A Model-Based Tool for the Formal Modelling and Simulation of Interactive Safety Critical Embedded Systems. In: Proceedings of HCI aero conference (Demonstration) (HCI Aero 2006), Seattle, USA (September 2006)
Baron, M., Lucquiaud, V., Autard, D., et al.: K-MADe: un environement pour le noyau du modèle de description de l’activité. In: Proceedings of the 18th French-speaking conference on Human-computer interaction, Montreal, Canada, April 18-21 (2006)
Bellamy, L.J., Geyer, T.A.W.: Development of a working model of how human factors, safety management systems and wider organisational issues fit together. Health and Safety Executive Report, RR543 (2007), http://www.hse.gov.uk/research/rrpdf/rr543.pdf (accessed, June 2007)
Biere, M., Bomsdorf, B., Szwillus, G.: Specification and simulation of task models with VTMB. In: CHI 1999 Extended Abstracts on Human Factors in Computing Systems, Pittsburgh, Pennsylvania, May 15 - 20, 1999. ACM Press, New York (1999)
Guitare: GUITARE Homepage (Last access: April 2008), http://giove.cnuce.cnr.it/Guitare/
Hollnagel, E.: Barrier analysis and accident prevention. Aldershot, UK, Ashgate (2004)
Isolde, Isolde Homepage (Last Access: April 2008), http://www.ict.csiro.au/staff/Cecile.Paris/from-cmis/projects/Isolde/scientificProgress.htm
Lu, S., Paris, C., Vander Linden, K.: Tamot: Towards a Flexible Task Modeling Tool. In: Proceedings of Human Factors, Melbourne, Australia, November 25-27 (2002)
Mefisto: Mefisto Homepage (Last Access: April 2008), http://giove.cnuce.cnr.it/mefisto.html
Mistrzyk, T.: Analysis of Communication in Hierarchical Task Models focused on Safety Critical Systems. Dissertation, University of Paderborn, Institute of Computer Science (in print) (2008)
Mori, G., Paternò, F., Santoro, C.: CTTE: support for developing and analyzing task models for interactive system design. IEEE Trans. Softw. Eng. 28(8), 797–813 (2002)
Navarre, D., Palanque, P., Barboni, E., et al.: On the Benefit of Synergistic Model-Based Approach for Safety Critical Interactive System Testing. In: Winckler, M., Johnson, H., Palanque, P. (eds.) TAMODIA 2007. LNCS, vol. 4849, pp. 140–154. Springer, Heidelberg (2007)
Puerta, A.R.: The Mecano Project: Enabling User-Task Automation During Interface Development. In: AAAI 1996: Spring Symposium on Acquisition. Learning and Demonstration: Automating Tasks For Users, pp. 117–121 (1996)
Petshop: Petshop Homepage (Last access: April 2008), http://liihs.irit.fr/petshop/ ; Shannon, C., Weaver, M.: The Mathematical Theory of Communication, University of Illinois (1949)
Storey, N.: Safety-Critical Computer Systems. Addison-Wesley, London (1996)
Stuart, J., Penn, R.: TaskArchitect: taking the work out of task analysis. In: Proceedings of the 3rd Annual Conference on Task Models and Diagrams, TAMODIA 2004, Prague, Czech Republic, November 15 - 16, 2004, vol. 86, pp. 145–154. ACM Press, New York (2004)
Szekely, P., Luo, P., Neches, R.: Facilitating the Exploration of Interface Design Alternatives: The HUMANOID Model of Interface Design. In: CHI 1992 Conference Proc. (1992)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 IFIP International Federation for Information Processing
About this paper
Cite this paper
Giese, M., Mistrzyk, T., Pfau, A., Szwillus, G., von Detten, M. (2008). AMBOSS: A Task Modeling Approach for Safety-Critical Systems. In: Forbrig, P., Paternò, F. (eds) Engineering Interactive Systems. TAMODIA HCSE 2008 2008. Lecture Notes in Computer Science, vol 5247. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-85992-5_8
Download citation
DOI: https://doi.org/10.1007/978-3-540-85992-5_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-85991-8
Online ISBN: 978-3-540-85992-5
eBook Packages: Computer ScienceComputer Science (R0)