Model-based Analysis and Testing of Embedded Systems

One of the most important strategic sectors in which Europe is developing, integrating and delivering high-quality products is the transportation domain. Here, high-class safety-related products as e.g. airplanes, cars and trains have a huge market impact. More and more of the market value of these vehicles is gained by embedded systems inside these products, and the number and importance of these embedded systems is steadily growing. One of the most important enablers to assure the quality of embedded systems is the application of powerful validation and verification (V&V) technologies accompanying the embedded systems development process. Unfortunately, the V&V technologies already in industrial use are still too expensive while often not effective enough.

ARTEMIS project MBAT will provide European industry with a new leading-edge V&V technology in form of a 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 will be made possible by a new and very promising approach in which model-based testing technologies will be 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. This advanced model-based V&V technology will lead to a more effective and at the same time cost-reducing approach compared to traditional ones. In addition, MBAT RTP will be connected to other ARTEMIS RTPs to extend existing platforms. Developed by industrial key players (large companies and SMEs) in this domain and supported by leading research partners, the MBAT RTP will be of high value for the European industry, providing very effective means to assure utmost quality embedded systems at reduced costs.