PROGRESS research projects

MBAT - Combined Model-based Analysis and Testing (Artemis/Vinnova)

Leader: Cristina Seceleanu Members: Paul Pettersson, Cristina Seceleanu, Mehrdad Saadatmand, Raluca Marinescu Research group: Software Testing Laboratory Keywords: model-based analysis, model-based testing, embedded systems Status: active , start date: 2011-06-01 , End date: 2014-05-31 Partners: Swedish parterns are ENEA, KTH, MDH, Prover, and Volvo Technology. The project is lead by Daimler, Germany. Funding: ARTEMIS and Vinnova. Web: Project web page

Overview 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.

Latest project publications [ Show all publications ] On Combining Model-Based Analysis and Testing, Mehrdad Saadatmand, Mikael Sjödin, 10th International Conference on Information Technology : New Generations (ITNG 2013), Las Vegas, Nevada, USA, April, 2013 A Methodology for Formal Analysis and Verification of EAST-ADL Models, Eun-Young Kang (former), Eduard Paul Enoiu, Raluca Marinescu, Cristina Seceleanu, Pierre Yves Schnobbens (external), Paul Pettersson, International Journal of Reliability Engineering and System Safety, Elsevier, January, 2013 An Integrated Framework for Component-based Analysis of Architectural System Models, Raluca Marinescu, Cristina Seceleanu, Paul Pettersson, Proceedings of the 24th IFIP International Conference on Testing Software and Systems (ICTSS'12) Doctoral Workshop, p 1-6, Technical Report No. 12-201. ISBN:1601-0590 Aalborg University, Aalborg, Denmark, Editor(s):Brian Nielsen and Carsten Weise, November, 2012