Home      Log In      Contacts      FAQs      INSTICC Portal
Special Session
Special Session on
Model-based Analysis and Testing of Embedded Systems
 - MBAT 2014

7 - 9 January, 2014 - Lisbon, Portugal

Within the International Conference on Model-Driven Engineering and Software Development - MODELSWARD 2014


Dejan Nickovic


Willibald Krenn




Combined Model-based Analysis and Testing of Embedded Systems (MBAT) is an EU Artemis project that aims to combine the most advanced model-based testing methods with static analysis techniques in order to provide European industry with leading edge Verification and Validation (V&V) technology. The model-based approach is at the very heart of MBAT. Models are used to formalize the requirements and are processed by testing and analysis tools. This new model-based V&V technology will provide methodology and tools that will enable production of high-quality and safe embedded systems while reducing cost in terms of time and money. In order to achieve this goal, MBAT focuses on advancing the state-of-the-art in model-based testing and analysis methods by developing new and extending existing testing and analysis software applications, driven by the industrial needs. In addition, the MBAT V&V technology will identify the necessary improvements of the V&V processes in order to properly address the challenges. The MBAT V&V technology will be delivered in form of a Reference Technology Platform (MBAT RTP), which will provide means for integrating, and combining state-of-the-art testing and analysis methods and tools. In addition, MBAT RTP will be connected to other ARTEMIS RTPs (as e.g. the CESAR RTP) to extend these platforms pursuing the ARTEMIS goal to provide a European RTP for the development of embedded systems. With this, MBAT will also strongly support the EU vision of zero traffic fatalities by 2020.

The project focuses on transportation application domains which share the need to deliver safety-critical products with high quality, and MBAT consortium is composed of academic and industrial key players in developing such products including in embedded systems. The specific transportation domains which are considered in MBAT are automotive, avionics and railways domains. The strong presence of industrial partners will assure that the resulting MBAT RTP will be industrial-approved and thus of very high value in the future model-driven development of embedded systems.

The special session on model-based analysis and testing of embedded systems is a unique opportunity to present and share the MBAT vision to the wider community, including both scientific audience and the practitioners. In the special session, we will provide a comprehensive overview of the results achieved within the project and demonstrate how model-based testing can be combined with static analysis methods in order to improve current state-of-the-practice V&V flows. We intend to combine presentations on scientific achievements and practical application developments in building this new V&V methodology. In addition, we plan to show how this combined testing and analysis methodology is applied to concrete use cases from the automotive, avionics and railways application domains.


Paper Submission: November 3, 2013 (expired)
Authors Notification: November 15, 2013 (expired)
Camera Ready and Registration: November 27, 2013 (expired)


Prospective authors are invited to submit papers in any of the topics listed above.
Instructions for preparing the manuscript (in Word and Latex formats) are available at: Paper Templates
Please also check the Guidelines.
Papers must be submitted electronically via the web-based submission system using the appropriated button on this page.


After thorough reviewing by the special session program committee, all accepted papers will be published in a special section of the conference proceedings book - under an ISBN reference and on digital support - and submitted for indexation by Thomson Reuters Conference Proceedings Citation Index (CPCI/ISI), DBLP, EI (Elsevier Engineering Village Index), Scopus, Google Scholar, Semantic Scholar, and Microsoft Academic.
SCITEPRESS is a member of CrossRef (http://www.crossref.org/) and every paper is given a DOI (Digital Object Identifier).
All papers presented at the conference venue will be available at the SCITEPRESS Digital Library
Special Session Program Committee

Harald Brandl, , , Austria
Hélène Guen, , , France
Paul Pettersson, Mälardalen University, , Sweden
Helmut Seidl, , , Germany


MODELSWARD Special Sessions - MBAT 2014
e-mail: modelsward.secretariat@insticc.org