IMOST Integrated Modeling for Safe Transportation
Goal
Building on the well-established paradigm of model-based design of embedded safety-critical systems, which has proven to facilitate early detection of design faults and thus to enhance system quality and reliability, IMoST strives for extending the scope of this design technique to also cover the human operator of such systems and his/her interaction with the system and environment.
Traditional model-based design establishes models of the embedded system and of relevant parts of its technical environment and exploits these for an analysis of their joint dynamics. Due to the current evolution of embedded functionality from embedded control to operator assistance
systems, the overall dynamics is gradually moving towards a human-in-the-loop behavior. As the dynamics of such systems cannot be fully understood without co-modeling and co-analysis of all the agents involved, including the human operator, IMoST addresses a seamless semantic integration of the most appropriate modeling paradigms for those individual agent types. This entails detailed models of human operator behavior —both normative and erratic— in road traffic situations as well as models formalizing multiple viewpoints of embedded system dynamics, and models of the environment as perceived and partially controlled by the embedded system and the human operator. The IMoST enterprise thus involves
1. to establish valid models of human operator behavior in relevant road trafficc situations through a combination of empirical research and deductions from insights of the cognitive sciences,
2. to tightly integrate these with appropriate models of vehicle and environment dynamics and embedded system interaction,
3. so as to facilitate tools supporting full model-based validation, in particular prediction of the safety impact, of operator assistance systems.
This is a first stepping stone towards the joint vision of the partners in the competence network SafeTRANS to address safety of transportation systems through a holistic approach integrating an engineering and a psychological perspective within a comprehensive model-based design framework.
The project is supported by the Ministry of Science and Culture of the state of Lower Saxonia.
Kemper, Stephanie and Etzien, Christoph; Proceeding of the Fourth International Conference on Complex Systems Design & Management CDS&M 2013; 12 / 2013
Lüdtke, A. and Weber, L. and Osterloh, J.-P., Wortelen, B.; HCI International 2009; 10 / 2009
; Workshop Proceedings Mensch & Computer 2008, DeLFI 2008 und Cognitive Design 2008; 009 / 2008
Möbus, Claus and Eilers, Mark; Symposium Cognitive Modelling; 10 / 2008
Möbus, Claus and Eilers, Mark and Garbe, Hilke and Zilinksi, Malte; Digital Human Modelling, Conference Proceedings; 007 / 2009
Möbus, Claus and Eilers, Mark; Digital Human Modelling, Conference Proceedings; 007 / 2009
Möbus, Claus and Eilers, Mark and Zilinksi, Malte and Garbe, Hilke; Der Mensch im Mittelpunkt technischer Systeme, 8. Berliner Werkstatt, Mensch-Maschine-Systeme; 10 / 2009
Eilers, Mark and Möbus, Claus; Advances in Applied Digital Human Modeling; 007 / 2010
Möbus, Claus; Proceedings of KogWis 2010 : 10th Biannual Meeting of the German Society for Cognitive Science; 10 / 2010
Eilers, Mark and Möbus, Claus; 3. Berliner Fachtagung für Fahrermodellierung - Zwischen kinematischen Menschmodellen und dynamisch-kognitiven Verhaltensmodellen; 006 / 2010
Möbus, Claus and Eilers, Mark; Proceedings of Human Modelling in Assisted Transportation (HMAT) Workshop; 006 / 2011
Möbus, Claus and Eilers, Mark; Advances in Applied Digital Human Modeling; 007 / 2010
Möbus, Claus and Eilers, Mark; Handbook of Research on Ambient Intelligence and Smart Environments: Trends and Perspectives; 001 / 2011
Fränzle, Martin and Gezgin, Tayfun and Hungar, Hardi and Puch, Stefan and Sauter, Gerald; FORMS/FORMAT 2010; 001 / 2011
Fränzle, Martin and Gezgin, Tayfun and Hungar, Hardi and Puch, Stefan and Sauter, Gerald; Human Modelling in Assisted Transportation; 001 / 2011
Steenken, R. and Lethaus, F. and Baumann, M. and Weber, L. ; 005 / 2011
Kassner, A., Baumann, M., Weber, L.; Human Modelling in Assisted Transportation; 11 / 2010
Baumann, M., Steenken, R., Kassner, A., Weber, L., Lüdtke, A.; Human Modelling in Assisted Transportation; 11 / 2010
Steenken, R., Kassner, A., Baumann, M., Weber, L., Colonius, H.; Beiträge zur 52. Tagung experimentell arbeitender Psychologen; 003 / 2010
Michael Langner; 10 / 2014
Duration
End: 30.03.2010
