MBAT Combined Model-based Analysis and Testing of Embedded Systems

Goal

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.

Persons
Publications
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

A Recipe for Tool Interoperability

Baumgart, Andreas and Ellen, Christian; Proceedings of MODELSWARD 2014; 01 / 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

Creating a Reference Technology Platform

Kacimi, Omar and Ellen, Christian and Oertel, Markus and Sojka, Daniel; Proceedings of MODELSWARD 2014; 01 / 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

Proving Compliance of Implementation Models to Safety Specifications

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

Simulative Evaluation of Contract-based Change Management

Markus Oertel Sebastian Gerwinn Achim Rettberg; Proceedings of the 12th International Conference on Industrial Informatics (INDIN 2014); 07 / 2014

Reducing Re-verification Effort by Requirement-Based Change Management

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

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

Partners
SELEX Sistemi Integrati S.p.A.
www.selex-si.com
Fraunhofer-Institut für Experimentelles Software Engineering IESE
www.iese.fraunhofer.de
Dassault Systèmes SA
www.3ds.com
Kungliga Tekniska Högskolan (Royal Institute of Technology)
www.kth.se
Mälardalen University
www.mdh.se
MBtech Group GmbH & Co. KGaA
www.mbtech-group.com
PikeTec GmbH
www.piketec.com
Ricardo UK
www.ricardo.com
TU Graz
www.tugraz.at
TU München
www.tum.de
Virtual Vehicle - Kompetenzzentrum - Das virtuelle Fahrzeug, Forschungsgesellschaft mbH
vif.tugraz.at
Volvo Group
www.volvo.com
Thales Research & Technology
www.thalesgroup.com
Thales Global Services
www.thalesgroup.com
Amet s.r.l.
www.amet.it
DTU - Danmarks Tekniske Universitet
www.dtu.dk
AbsInt Angewandte Informatik GmbH
www.absint.de
Airbus S.A.S.
www.airbus.com
AIT Austrian Institute of Technology
www.ait.ac.at
Alenia SIA S.p.a.
All4tec
www.all4tec.net
Daimler AG
www.daimler.com
Ansaldo STS
www.ansaldo-sts.com
AVL LIST GmbH
www.avl.com
BTC Embedded Systems AG
www.btc-es.de
CEA LIST
www-list.cea.fr
EADS Deutschland GmbH (bis 31.05.2014 - danach Airbus Defence and Space GmbH)
www.eads.com
EADS Innovation Works
www.eads.com
École normale supérieure Paris
www.ens.fr
Elvior LLC
www.elvior.com

Duration

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)

CESAR

Cost-Efficient Methods and Processes for Safety Relevant Embedded Systems