MBAT - Combined Model-based Analysis and Testing of Embedded Systems / Edukad projektid

programm [ FP7 ] partner-riik [ DE ] otsingusõna [ Verified Systems International GmbH ]

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