MBAT - Combined Model-based Analysis and Testing (Artemis/Vinnova)
Status:
Start date:
End date:
MBAT will provide Europe with a new leading-edge Reference Technology Platform for effective and cost-reducing validation and verification, focussing primarily on transportation domain, but also to be used in further domains. Developed by European industrial key players (large companies and SMEs) in this domain and supported by leading research partners, this MBAT RTP will be of high value for the European industry, providing very effective means to assure utmost quality embedded systems at reduced costs. With this, MBAT will also strongly support the EU vision of zero traffic fatalities by 2020. As this project is clearly industrial-driven it will be assured that the MBAT RTP will provide solutions for real-life development challenges existing in the European industry as this is also the goal of ARTEMIS projects.
| First Name | Last Name | Title |
|---|---|---|
| Cristina | Seceleanu | Professor |
| Paul | Pettersson | Professor |
| Alessio | Bucaioni | Associate Professor |
| Mehrdad | Saadatmand | Affiliated researcher |
| Raluca | Marinescu |
A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs (Jul 2015) Raluca Marinescu, Cristina Seceleanu, Helene Le Guen , Paul Pettersson Advances in Computers, vol.98 (AC)
A Fuzzy Decision Support Approach for Model-Based Tradeoff Analysis of Non-Functional Requirements (Apr 2015) Mehrdad Saadatmand , Sahar Tahvili 12th International Conference on Information Technology : New Generations (ITNG 2015)
Preservation of Extra-Functional Properties in Embedded Systems Development (Feb 2015) Mehrdad Saadatmand
Model-checking and Model-based Testing of Automotive Embedded Systems: Starting from the System Architecture (Dec 2014) Raluca Marinescu
Analyzing Industrial Architectural Models by Simulation and Model-Checking (Nov 2014) Raluca Marinescu, Henrik Kaijser , Marius Mikuèionis , Cristina Seceleanu, Henrik Lönn , Alexandre David Third International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS2014)
Mapping of State Machines to Code: Potentials and Challenges (Oct 2014) Mehrdad Saadatmand , Antonio Cicchetti The Ninth International Conference on Software Engineering Advances (ICSEA2014)
| Partner | Type |
|---|---|
| ALL4TEC | |
| Aalborg University | Academic |
| Fraunhofer FOKUS | Academic |
| KTH Royal Institute of Technology | Academic |
| MÄLARDALEN UNIVERSITY | Academic |
| OFFIS | Academic |
| Technical University Graz | Academic |
| AbsInt Angewandte Informatik GmbH | Industrial |
| Airbus | Industrial |
| AIT AUSTRIAN INSTITUTE OF TECHNOLOGY GMBH | Industrial |
| Alenia SIA | Industrial |
| Alstom | Industrial |
| AVL | Industrial |
| Cea List | Industrial |
| Daimler | Industrial |
| EADS DE | Industrial |
| Enea | Industrial |
| IBM/Rational | Industrial |
| INFINEON TECHNOLOGIES AG | Industrial |
| Prover | Industrial |
| Siemens AB | Industrial |
| Thales Alenia Space | Industrial |
| Thales Group | Industrial |
| Volvo Group Trucks Technology | Industrial |
| Xdin | Industrial |
