|Integrated Modelling for Safe Transportation|
|Category:Germany||Ministry of Science and Culture of the state of Lower Saxonia|
|From 2007 to 2013||Completed|
|Prof. Dr. Werner Damm
[mailto: firstname.lastname@example.org ]
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.
IMoST sees its activities to contribute to the vision, the safety of transport systems through a holistic approach, the technical and psychological perspective in a comprehensive, model-based development methodology combines to improve.
OFFIS e V., Germany (Coordinator) - DLR, Germany - Carl von Ossietzky Universität Oldenburg -
Budget / Funding
The project is funded by the Lower Saxony Ministry of Science and Culture.