Inhalte

Meldungen

Inhaltsverzeichnis

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.

Teilnehmer des MBAT Kick-off Meetings bei Daimler in Stuttgart.

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