Team abstraction

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities

Section: Other Grants and Activities

European Initiatives

MBAT (Combined model-based analysis and testing of embedded systems) is an ARTEMIS (Advanced Research & Technology for EMbedded Intelligence and Systems, 2011-2014) 7th Framework Programme for Research. MBAT was submitted and accepted in 2010. 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 MBAT involves daimler ag , AIT Austrian Institute of Tech., Aalborg Univ., AbsInt GmbH, Alenia Sia Spa, Advanced Lab. on Embedded Syst., alsthom Transport, AVL List GmBH, BTC Embedded Systems AG, Cea , Eads UK & Deutschland, École Normale Supérieure, Elvior, Enea Services Stockholm AB, fraunhofer , Geensoft, Infineon Tech. Austria AG, ibm svenska ab , MBtech Group GmbH & Co. KGaA, offis e.v , PikeTec GmbH, Prover Technology AB, Ricardo UK Ltd, Rockwell Collins France, Selex Sistemi Integrati, Siemens AG, Thales , Technische Univ. Gratz, Tech. Univ. München, Verified Systems International GmbH, Kompetenzzentrum - Das virtuelle Fahrzeug Forschungsgesellchaft mbH, Volvo Technolgy AB. The scientific contact is Radhia Cousot.


Logo Inria