Model-based Analysis and Testing of Embedded Systems
Reference number | |
Coordinator | ALTEN SVERIGE AKTIEBOLAG - ALTEN SVERIGE - Göteborg |
Funding from Vinnova | SEK 1 469 600 |
Project duration | July 2011 - December 2014 |
Status | Completed |
Purpose and goal
One of the key enablers to ensure quality of embedded systems is the application of powerful validation and verification technology (V & V) technology that accompanies the embedded system development process. Unfortunately, the V & V technologies typically found in industrial use are too expensive while often not effective enough. Not only the development of systems is costly, but also the maintenance thereof. ARTEMIS project MBAT purpose is to provide the European industry with a new spearhead for V & V technology in the form of a reference technology (MBAT RTP)
Results and expected effects
Project has met objectives by delivering the tool concept. 30% reductions in time and costly garlands to better implementation was promised, and have been implemented. The project was awarded the Recognition Award 2015. Altens exploitation of an indictment products; A tool chain for automatic test generation, test execution and test analysis. A code generator that from a model generates an intermediate target that can replace a target. An automatic system environment for building, target generation, test case generation, testkodsgenerering, test execution, and post-processing
Approach and implementation
A (solution) pattern is a (generic) solution for a certain problem in a given context. In the ARTEMIS-project MBAT, a methodology for combining (model-based) analysis and test has been developed. An essential part of this methodology was the detailed description of generic solutions for specific issues and problems, for which the concept of ´Analysis and Test Workflow Patterns´ was developed Concrete work was performed by applying the patterns i dmian spepcific use cases.