Software noch besser verifizieren und validieren
Nahezu jedes Gerät oder System scheint heute mit irgendeiner Software betrieben zu werden, egal ob Aufzüge und Mikrowellenherde oder Banken und Weltraumraketen. Da die Qualität der Software für den Erfolg des Endprodukts oder Systems entscheidend ist, ist der V&V-Prozess der Schlüssel zur Verbesserung der Softwarefunktion. Das gilt ganz speziell auch für die Fahrzeugindustrie, die im Fokus des EU-finanzierte Projekts "Enabling architecture based verification and validation of mission-critical systems" (ABV) stand. Die Projektmitglieder erforschten und entwickelten Instrumente zur Verbesserung von Validierung und Verifizierung. Sie konzentrierten sich insbesondere auf die Validierung des Entwurfs und der Architektur eines Systems. Auf diesen Prozess entfallen 80 % der anfallenden Kosten. Das Team suchte unter Führung der Mälardalen Universität Schweden (Mälardalens högskola) nach Wegen, diese früheren Phasen der Systementwicklung zur Förderung von Validierung und Verifizierung einzusetzen, um die Gesamtsystemqualität zu verbessern. Projekthauptziel war es zu untersuchen, wie man die Kosten und die Dimensionen des Zeitplans der einsatzkritischen Systementwicklung bei gleichzeitiger Erhöhung der Sicherheit im implementierten System reduzieren kann. Um seine Ziele zu erreichen, entwickelte das Projektteam mathematische Einheiten und Algorithmen für Architecture Analysis and Design Language, AADL zur verbesserten Validierung und Verifizierung. Man entwickelte außerdem architekturgestützte Algorithmen, um neben der Handhabung von Regressionstests von Systemen die Einbindung von Komponenten sowohl auf Spezifikationsebene als auch der Umsetzungsebene zu bewerten. Insgesamt könnten sich die Projektresultate als sehr nützlich für die Industrie erweisen, was teilweise der Einbeziehung verschiedener Interessengruppen aus der Industrie zu verdanken ist. Dazu trugen Besuche bei den wichtigsten Automobilherstellern in Schweden bei. Zudem gab das Projektteam auch technische Berichte heraus, welche die Anwendung der Architekturbeschreibungssprachen auf dem Fahrzeugsektor hervorheben und das Konzept der adaptiven Geschwindigkeitsregelung unterstützen. Mit verbesserter Validierung und Verifizierung wird die Fahrzeugindustrie in Europa bessere Software für die Systeme und erweiterte bessere Produkte bereitstellen können. Die Auswirkungen dieser modernen Entwicklungen auf die Sicherheit und die Wettbewerbsfähigkeit werden zweifellos positiv für die Automobilindustrie ausfallen und schließlich auf die Software in anderen Schlüsselbereichen angepasst werden können.
