Digital controllers are an essential part in modern transportation systems. They are necessary provide the various state-of-the-art safety and usability functions. Since errors in these systems can easily cause serious harm for passengers and the environment, high demands are particularly placed on their correct and reliable functioning. The MBAT project (Model-Based Analysis and Testing) has set itself the goal to develop efficient and cost-saving methods and tools that guarantee that these requirements are met.
Many complex tests and analysis have to be executed to ascertain that the developed system meets all requirements. All possible sources of error have to be identified and removed. In static analysis mathematical methods and principles are adopted to analyse an abstract design specification of a system. Prototypes are built in dynamic tests and simulation is used to identify erroneous behaviour. Both methods complement each other. Static analysis can be used early in the development process allowing a complete analysis of all possible combinations of failures and system configurations. On very large and complex systems the required calculations often cannot be done in acceptable time. Test procedures based on prototypes can analyse specific situations in detail, even in very complex systems. But it is hard to test every possible situation because the amount of combinations of the internal and external states of the system is very huge. Also the effort and the costs for creating a prototype are very high.
MBAT aims to achieve better test results by combining test and analysis methods.
Oertel, Markus and Battram, Peter and Kacimi, Omar and Gerwinn, Sebastian and Rettberg, Achim; International Conference on Performance, Safety and Robustness in Complex Systems and Applications; 2015
Baumgart, Andreas and Ellen, Christian; Proceedings of MODELSWARD 2014; 01 / 2014
Markus Oertel and Ahmed Mahdi and Eckard Böde and Achim Rettberg; Proceedings of the 1st International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC 2014); 2014
Kacimi, Omar and Ellen, Christian and Oertel, Markus and Sojka, Daniel; Proceedings of MODELSWARD 2014; 01 / 2014
Wolfgang Herzner and Sven Sieverding and Thomas Bauer and Brian Nielsen and Omar Kacimi and Eckard Böde; 2nd International Workshop on Risk Assessment and Risk-driven Testing; 11 / 2014
Markus Oertel, Omar Kacimi, Eckard Boede; Computer Safety, Reliability, and Security; 09 / 2014
Markus Oertel Sebastian Gerwinn Achim Rettberg; Proceedings of the 12th International Conference on Industrial Informatics (INDIN 2014); 07 / 2014
Oertel, Markus and Rettberg, Achim; Embedded Systems: Design, Analysis and Verification; 2013
Sven Sieverding and Christian Ellen and Peter Battram; FESCA; 03 / 2013