MBAT Tool-Plattform: Effiziente Verifikation von Embedded Systems

Am 23. und 24. November 2011 fand in Stuttgart das vom Projektkoordinator Daimler ausgerichtete Kick-off-Meeting des ARTEMIS Projekts MBAT (Combined Model-based Analysis and Testing of Embedded Systems) statt. Ziel des Kick-offs war, die anstehenden branchenübergreifenden MBAT Arbeiten zu koordinieren (Automotive, Luftfahrt, Bahn). Ein Schwerpunkt lag auf der vom Projekt bereitzustellenden MBAT Reference Technology Platform (MBAT RTP), mit deren Hilfe Analyse- und Verifikationswerkzeuge sowie Methoden integriert und für die effiziente Entwicklung von sicherheitskritischen Embedded Sys­tems verfügbar gemacht werden. Die­se Werkzeugintegration wird auf Basis von branchenübergreifenden Interoperabilitätsstandards vorangetrieben - unter Einbeziehung von Ergebnissen aus vorausgehenden ARTEMIS-Projekten, wie z.B. CESAR.

Es nahmen 78 Vertreter der insgesamt 41 europäischen Projektpartner aus Industrie und Forschung  teil. Als Gäste waren Antonio Vecchio von der ARTEMIS Joint Undertaking, ARTEMIS-IA-Präsident Klaus Grimm und Holger Stegemann vom deutschen Projektträger DLR vertreten.
Das nächste Full Plenary MBAT-­Meeting ist für den 23. und 24. Mai 2012 in Kopenhagen geplant.
www.mbat-artemis.eu