MQ2: Validierung und Verifikation

Kollaborative eingebettete Systeme schließen sich mit Hilfe offener Schnittstellen temporär zu Verbünden zusammen. Diese Verbünde existieren für die Dauer die für die Lösung der Aufgabe benötigt wird. Dies ist der zentrale Unterschied zwischen kollaborativen Systemen und zu den heute existierenden eingebetteten Systemen: Heute werden ebenfalls verbünde von vernetzten Einheiten genutzt um Aufgaben zu adressieren. Diese werden jedoch explizit durch Entwickler, zum Beispiel bei der Entwicklung der E/E Architektur eines Fahrzeugs, oder durch einen Bediener, zum Beispiel bei der Kopplung eines Traktors und Anbaugeräts, erstellt.

Die automatisierte Kopplung im Kontext von kollaborativen Systemen führt zu neuen Herausforderungen für Testverfahren. Im Gegensatz zu den heute entwickelten Systemen ist es nicht mehr möglich zur Entwicklungszeit alle relevanten Testfälle abzudecken. Da sich „im Feld“ beliebige Kombinationen von kollaborativen Systemkomponenten ergeben können, ist es auch erforderlich, dass diese Verbünde zur Laufzeit durch spezialisierte Werkzeuge online evaluiert werden, zum Beispiel bevor Verbünde ihre Arbeit aufnehmen.

Im Rahmen des Querschnittsthemas 2 werden daher zwei Ziele verfolgt: Im Bereich der Aktivität Analyseverfahren für offene Systeme und Systemverbünde werden Analyse- und Prüfverfahren entwickelt, die einzelne Systemkomponenten prüfen und deren Korrektheit sicherstellen. Diese Prüfung stellt sicher, dass die einzelnen, noch nicht integrierten Systemkomponenten korrekt realisiert wurden. Hierfür werden Beispielsweise Model-Checking Verfahren und Simulations- oder Testbasierte Verfahren kombiniert um die Evaluation zu unterstützen.

Das zweite Ziel von MQ2 adressiert die Validation eines Systemverbunds. Aufgrund der dynamischen Architektur der Verbünde ist es für Entwickler nicht mehr möglich alle denkbaren Kopplungen zu evaluieren; auch insbesondere da sich Systeme mit anderen Systemen koppeln können, die zur Entwicklungszeit noch gar nicht existierten. Daher soll im Rahmen der Aktivitäten in MQ2 verfügbare Testverfahren aus den Engineering Challenges in einem Virtual Integration Space integriert werden, der die Kopplung von Systemkomponenten in einer virtuellen Sandbox durchführt, und so eine Evaluation von Systemverbünden zur Laufzeit ermöglicht.