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 Systems verfügbar gemacht werden. Diese 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