Werkzeugketten-Analyse mit dem Validas Tool Chain Analyzer

Der Tool Chain Analyzer erlaubt es, Werkzeuge und Werkzeugketten auf ihre Konformität zur ISO DIS 26262 zu analysieren. Dabei wird der darin geforderte Tool Confidence Level (TCL) nach einer formal fundierten Methode automatisch bestimmt. Das Ergebnis der Analyse ist eine Dokumentation des Entwicklungsprozesses mit den zugehörigen TCLs und entsprechenden Begründungen.

Grundlage für die Bestimmung des TCLs ist, wie in der ISO DIS 26262 gefordert, eine Analyse der Anwendungsszenarien der Werkzeuge mit potentiellen Fehlern und deren Entdeckungs- oder Vermeidungsmöglichkeiten im Prozess. Diese Elemente werden in einem einfachen Modell im Tool Chain Analyzer formalisiert und anhand der verwendeten Artefakte auf Konsistenz geprüft. Auf diesem Modell können dann folgende Analysen durchgeführt werden:

Der geforderte Tool Confidence Level für die Werkzeuge wird berechnet, auch für einzelne Use Cases.
Für eine gegebenes ASIL kann die Konformität der Qualifizierungsmethoden der Werkzeuge überprüft werden.

Zusätzlich wird eine reviewbare, textuelle Ausgabe mit den Begründungen der Klassifikation erzeugt. Es können auch graphische Sichten (Daten- und Fehlerfluss, etc.) aus dem Modell generiert werden, um die Struktur der Werkzeugkette zu verdeutlichen.

Gerne unterstützen wir Sie bei:

der Analyse und Formalisierung Ihrer Anwendungsszenarien,
der Bestimmung und Dokumentation des Tool Confidence Levels Ihrer Werkzeuge,
der Abschätzung des Einsparpotentials durch weitere Werkzeugqualifizierung,
der szenario-basierten Qualifizierung Ihrer Werkzeuge.

MSC2C-Testcode-Generator

MSCs (Message Sequence Charts) bieten eine graphische Modellierungssprache zur
exemplarischen Beschreibung des Verhaltens kommunizierender Komponenten.
MSCs wurden von der ITU (International Telecommunication Union) standardisiert
und sind mittlerweile in ähnlicher Form auch Bestandteil der UML. MSCs eignen sich
zur Analyse und Dokumentation von komplexen Systemen. Häufig werden MSCs
zusätzlich zur Dokumentation von durchgeführten Testabläufen eingesetzt.

Der MSC2C-Testcode-Generator der Validas AG erlaubt es MSCs zur
Testspezifikationen und Testprotokollierung einzusetzen. Die Testdurchführung
erfolgt auf Basis von generiertem C-Code. Mit den existierenden Anpassungen für
MATLAB/Simulink, Hardware und Bus-Kommunikation, können mit dem
MSC2C-Testcode-Generator Tests auf den folgenden Ebenen durchgeführt werden:

Model-in-the-Loop (MIL)
Software-in-the-Loop (SIL)
Hardware/Prozessor-in-the-Loop (HIL/PIL)

Die Testfälle werden dabei einheitlich mit MSCs spezifiziert. Sie dienen als Quelle für
die Generierung von Testtreibern und Testergebnisvorhersage.

Durch den Einsatz des MSC2C-Testcode-Generators erhalten Sie ein hohes Maß an
Automatisierbarkeit und Reproduzierbarkeit – zwei bedeutende Attribute
innerhalb des Testprozesses.

Im Rahmen der Einführung wird die MSC2C-Software von uns so in ihre
projektspezifische Testumgebung integriert, dass ein einfacher und schneller
Round-Trip zwischen Testspezifikation, Testdurchführung und Testanalyse erfolgt.

Auf Wunsch übernehmen wir gerne:

die MSC-Testspezifikationserstellung auf Basis von Anforderungsdokumenten,
die Testdurchführung auf allen oben genannten Testebenen, sowie
die Testanalyse.

Matlab-Simulink/Stateflow Framework

Das Matlab-Simulink/Stateflow-Framework der Validas erlaubt es Ihnen
Matlab-Modelle in einem XML-Format zu speichern und diese zu analysieren.
Das Framework ist metamodellbasiert und unterstützt folgende Funktionen:

unabhängiges Parsen von .mdl-Dateien
Java-API für die Modelle
Integration in eclipse
Darstellung der Modelle als Baum mit Navigation zwischen verbundenen Ports
Laden von Typisierungsinformationen zu den Modellen
Analyse der verwendeten Modellelemente und Property-Einstellungen, auch über mehrere Modelle
Vergleich von Modellen
Benutzerdefinierte Formulierung von Modellierungsrichtlinien anhand des Metamodels und mit einer formalen Sprache.
Überprüfung von Modellen auf Richtlinieneinhaltung
Generierung von XML-Stimuli für die Modelle
Generierung von .mdl-Dateien

Das Framework bietet eine gute Grundlage zur Qualitätssicherung innerhalb eines modellbasierten Entwicklungsprozesses.

AutoFocus

Die Validas ist, zusammen mit der TU München, maßgeblich an der Entwicklung des frei verfügbaren CASE-Tools AutoFocus beteiligt.

Sprechen Sie uns an, wenn Sie an weiteren Informationen zu diesem Tool oder auch an AutoFocus selbst interessiert sind.