MBAT

Important results from the project

MBAT´s main goal is to provide European industry with a new leading-edge Validation & Verification (V&V) technology in form of an OSLC-based Reference Technology Platform (MBAT RTP) that will enable the production of high-quality and safe embedded systems at reduced cost in terms of time and money. This is possible by a new and very promising approach in which model-based testing technologies are combined with static analysis techniques. Besides this combination, a further new approach is to use (and re-use) specially designed test & analysis models as basis for model-based V&V.

Expected long term effects

In MBAT, Mälardalen University has provided an OSLC-based integrated framework with tool support (ViTAL), which allows both formal verification as well as abstract test case generation for EAST-ADL architectural models extended with formal semantics in terms of networks of timed automata. The impact of our work (MDU´s ViTAL + Alten´s Farkle) is an estimated overall reduced testing effort, due to the automatic generation of executable test cases, as well as defect localization on code.

Approach and implementation

MDU provides an integrated framework for simulation, model-checking, and abstract test-case (ATC) generation for EAST-ADL models, which has been applied on the Brake-by-Wire (BBW) MBAT use-case. With this framework, we address SC 02 (Analysis on the analysis model) and SC 05 (Automated test-case generation based on the test model) of the BBW use-case. For SC05 we have developed an OSLC provider that uploads the generated ATC for Alten´s Farkle tool, in order to generate executable test-cases. For SC02, we have implemented a transformation to UPPAAL for statistical model-checking.