EU-MOGENTES - Modellbasierte Testgenerierung für zuverlässige eingebettete Systeme

MOGENTES zielt darauf ab, die Prüfung und Verifizierung zuverlässiger eingebetteter Systeme durch die automatisierte Generierung von Testfällen erheblich zu verbessern, wobei neue Ansätze entwickelt und modernste Techniken innovativ integriert werden. Ausgehend von den Anforderungen seiner Industriepartner wird das Projekt sowohl das Testen nicht-funktionaler Aspekte wie Zuverlässigkeit beispielsweise durch System-Stress- und Überlasttests als auch funktionale Sicherheitstests abdecken und dabei die Anforderungen von Normen wie IEC 61508, ISO WD 26262 oder AUTOSAR erfüllen. MOGENTES wird zeigen, dass verschiedene Domänen mit einer Vielzahl unterschiedlicher Anforderungen erheblich von einem gemeinsamen modellbasierten Ansatz profitieren können, um eine automatisierte Generierung effizienter Testfälle zu erreichen und die Korrektheit der Systemsicherheit mithilfe formaler Methoden und Fehlerinjektion zu verifizieren, da dieser Ansatz die Produktivität der Systementwicklung steigert und gleichzeitig vorhersagbare Zuverlässigkeitseigenschaften des Systems gewährleistet. Zu diesem Zweck werden Proof-of-Concept-Demonstrationen die Anwendbarkeit der entwickelten Technologien in zwei Anwendungsdomänen zeigen: Eisenbahn und Automobil. Insbesondere zielt MOGENTES auf die Anwendung dieser Technologien in großen industriellen Systemen ab und ermöglicht es gleichzeitig Fachleuten aus den Anwendungsbereichen (die über relativ wenig Wissen und Erfahrung im Umgang mit formalen Methoden verfügen), diese mit minimalem Lernaufwand zu nutzen. Insgesamt wird MOGENTES den Wissensstand erweitern und neue Techniken und Werkzeuge im Bereich der Verifikation und Validierung zuverlässiger eingebetteter Systeme entwickeln, die auch von Nicht-Experten für formale Methoden in modellbasierten Entwicklungsprozessen angewendet werden können.