MBAT Combined Model-based Analysis and Testing of Embedded Systems


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.

Proving Compliance of Implementation Models to Safety Specifications

Markus Oertel, Omar Kacimi, Eckard Boede; Computer Safety, Reliability, and Security; 09 / 2014

Contract-based Safety: Specification and Application Guidelines

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

Sequence Diagram Test Case Specification and Virtual Integration Analysis using Timed-Arc Petri Nets

Sven Sieverding and Christian Ellen and Peter Battram; FESCA; 03 / 2013

Reducing Re-verification Effort by Requirement-Based Change Management

Oertel, Markus and Rettberg, Achim; Embedded Systems: Design, Analysis and Verification; 2013

A Recipe for Tool Interoperability

Baumgart, Andreas and Ellen, Christian; Proceedings of MODELSWARD 2014; 01 / 2014

Creating a Reference Technology Platform

Kacimi, Omar and Ellen, Christian and Oertel, Markus and Sojka, Daniel; Proceedings of MODELSWARD 2014; 01 / 2014

A Compositional Safety Specification Using a Contract-Based Design Methodology

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

Simulative Evaluation of Contract-based Change Management

Markus OertelSebastian GerwinnAchim Rettberg; Proceedings of the 12th International Conference on Industrial Informatics (INDIN 2014); 07 / 2014

Expressing Best Practices in (Risk) Analysis and Testing of Safety-Critical Systems Using Patterns

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

SELEX Sistemi Integrati S.p.A.
Fraunhofer-Institut für Experimentelles Software Engineering IESE
Dassault Systèmes SA
Kungliga Tekniska Högskolan (Royal Institute of Technology)
Mälardalen University
MBtech Group GmbH & Co. KGaA
PikeTec GmbH
Ricardo UK
TU Graz
TU München
Virtual Vehicle - Kompetenzzentrum - Das virtuelle Fahrzeug, Forschungsgesellschaft mbH
Volvo Group
Thales Research & Technology
Thales Global Services
Amet s.r.l.
DTU - Danmarks Tekniske Universitet
AbsInt Angewandte Informatik GmbH
Airbus S.A.S.
AIT Austrian Institute of Technology
Alenia SIA S.p.a.
Daimler AG
Ansaldo STS
BTC Embedded Systems AG
EADS Deutschland GmbH (bis 31.05.2014 - danach Airbus Defence and Space GmbH)
EADS Innovation Works
École normale supérieure Paris
Elvior LLC


Start: 31.10.2011
End: 30.10.2014

Website of project

Related projects

SPES 2020

Software Plattform Embedded Systems 2020 (sorry - only available in German)


Cost-Efficient Methods and Processes for Safety Relevant Embedded Systems