Combined Model-based Analysis and Testing of Embedded Systems

akronüüm: MBAT
algus: 2011-11-01
lõpp: 2014-10-31
 
programm: FP7 - Euroopa Liidu 7. raamprogramm
alaprogramm: SP1-JTI - Joint Technology Initiatives (Annex IV-SP1)
instrument: JTI-CP-ARTEMIS
projektikonkurss: ARTEMIS-2010-1
projekti number: 269335
kestus kuudes: 36
partnerite arv: 39
 
lühikokkuvõte: One of the most important strategic sectors in which Europe is developing, integrating and delivering high-quality products is the transportation domain. Here, high-class safety-related products as e.g. airplanes, cars and trains have a huge market impact. More and more of the market value of these vehicles is gained by embedded systems inside these products, and the number and importance of these embedded systems is steadily growing. One of the most important enablers to assure the quality of embedded systems is the application of powerful validation and verification (V&V) technologies accompanying the embedded systems development process. Unfortunately, the V&V technologies already in industrial use are still too expensive while often not effective enough. MBAT will provide European industry with a new leading-edge V&V technology in form of a Reference Technology Platform (MBAT RTP) that will enable the production of high-quality and safe embedded systems at reduced cost in terms of time and money. This will be made possible by a new and very promising approach in which model-based testing technologies will be combined with static analysis techniques. Besides this combination, a further new approach is to use (and re-use) specially designed test & analysis models as basis for model-based V&V. This advanced model-based V&V technology will lead to a more effective and at the same time cost-reducing approach compared to traditional ones. In addition, MBAT RTP will be connected to other ARTEMIS RTPs to extend existing platforms. Developed by industrial key players (large companies and SMEs) in this domain and supported by leading research partners, the MBAT RTP will be of high value for the European industry, providing very effective means to assure utmost quality embedded systems at reduced costs.
partneri jrk nr ja roll partneri nimi riik kontaktisik koduleht
1 koordinaator DAIMLER AG DE Jens Herrmann http://www.daimler.com
2 partner AALBORG UNIVERSITET DK Brian Nielsen http://www.aau.dk
3 partner ABSINT ANGEWANDTE INFORMATIK GMBH DE Christian Ferdinand
4 partner Airbus Operations SAS FR Jean SOUYRIS http://www.airbus.com
5 partner AIT Austrian Institute of Technology GmbH AT Erwin Schoitsch http://www.ait.ac.at/
6 partner ALENIA SIA SPA IT Paolo Bellomo http://www.aleniasia.it
7 partner ADVANCED LABORATORY ON EMBEDDED SYSTEMS S.r.L. IT Alberto Ferrari
8 partner Alliance pour les technologies de l’informatique FR Anthony Faucogney http://www.all4tec.net
9 partner ALSTOM Transport FR Pascal POISSON http://alstom.com
10 partner AMET S.r.l. - Applied Mechatronic Engineering & Technologies IT Giorgio Gaidano http://www.amet.it
11 partner ANSALDO STS S.p.A. IT Antonio Ruggieri http://www.ansaldo-sts.com/it/index.html
12 partner AVL List GmBH AT Gerhard Griessnig http://www.avl.com
13 partner BTC Embedded Systems AG DE Udo Brockmeyer http://www.btc-es.de
14 partner Commissariat à l'Energie Atomique FR Nicola-Jane WILLIAMS http://www.cea.fr/
15 partner EADS Deutschland GmbH DE Marco Krause http://www.eads.com
16 partner EADS UK Ltd. UK Andreas Keis http://www.eads.net
17 partner ECOLE NORMALE SUPERIEURE FR Radhia Cousot http://www.ens.fr/
18 partner Elvior OÜ EE Andres Kull http://www.elvior.com
19 partner Enea Services Stockholm AB SE Barbro Claesson http://www.enea.com
20 partner Fraunhofer-Gesellschaft zur Förderung der angewandten Forschung e.V. DE Robert Eschbach http://www.fraunhofer.de
21 partner Geensoft FR Thierry Gueguen http://www.geensoft.com
22 partner INFINEON TECHNOLOGIES AUSTRIA AG AT Herbert Zojer
23 partner IBM SVENSKA AB SE Pär Madsen http://www.ibm.com/se
24 partner KUNGLIGA TEKNISKA HOEGSKOLAN SE Martin TOERNGREN http://www.kth.se
25 partner MAELARDALENS HOEGSKOLA SE Paul Pettersson http://www.mdh.se
26 partner MBtech Group GmbH & Co. KGaA DE Stefanie Götzfried http://www.mbtech-group.com
27 partner OFFIS E.V. DE Bernhard Josko http://www.offis.de
28 partner PikeTec GmbH DE Eckard Bringmann http://www.piketec.com
29 partner Prover Technology AB SE Arne Boralv http://www.prover.com
30 partner Ricardo UK Ltd UK Richard Saady http://www.ricardo.com
31 partner ROCKWELL COLLINS FRANCE FR Jean Claude Lebraud http://www.rockwellcollins.fr
32 partner SELEX SISTEMI INTEGRATI SPA IT Curzio Batini http://www.selex-si.com
33 partner Siemens AG DE Andreas Ulrich http://www.siemens.com
34 partner THALES FR Gérald GARCIA http://www.thalesaleniaspace.com
35 partner TECHNISCHE UNIVERSITAET GRAZ AT Bernhard Aichernig http://www.tugraz.at
36 partner Technische Universität München DE Helmut Seidl http://www.tum.de
37 partner Verified Systems International GmbH DE Jan Peleska http://www.verified.de
38 partner Kompetenzzentrum - Das virtuelle Fahrzeug Forschungsgesellchaft mbH AT Daniel Watzenig http://www.v2c2.at
39 partner VOLVO TECHNOLOGY AB SE Thomas Söderqvist http://www.tech.volvo.se