Combined Model-based Analysis and Testing of Embedded Systems
Reference number | |
Coordinator | KUNGLIGA TEKNISKA HÖGSKOLAN - Institutionen Maskinkonstruktion |
Funding from Vinnova | SEK 3 243 000 |
Project duration | November 2011 - December 2014 |
Status | Completed |
Purpose and goal
MBAT, Model-based testing and analysis, has developed new methods for efficient verification of embedded systems by combining testing and analysis techniques. MBAT has moreover contributed to improving the interoperability of embedded systems tools, to lower the barrier for practical adoption of these new methods. The new methods have been successfully tested in industrial case studies and the project received distinction in the ARTEMIS evaluation. For KTH, the participation has been successful, including evaluation of the LB tool and leading of the interoperability work.
Results and expected effects
The MBAT results, including those from KTH such as the MBAT Interoperability Specification, have successfully been evaluated in industrial tests, thus bearing promise that the results effectively will contribute to the MBAT business objectives, referring e.g. to complexity management and reducing time to market. However, further result maturation, industrial training and changed work practices will be necessary for full end effects to be visible.
Approach and implementation
The MBAT project, with about 30 partners, has been managed very well by Daimler and coordinator (Hens Hermann). Efficient collaboration has been possible within the project, including at the small scale (KTH working closely together with dedicated partners such as Volvo and OFFIS), and at the larger scale (KTH led a work package focused on tool integration, involving several work packages and many partners). This provides an excellent basis for continued collaboration with organizations that have been partners of MBAT.