Read more
Anzahl und Komplexität der in Fahrzeugen implementierten Funktionen haben sich in den letzten Jahren rasant entwickelt. Die Vision des autonomen Fahrzeugs ist nicht länger ein Traum oder ein Fantasy-Film, sondern eine kommende Realität. Um die beste Qualität und hohe Sicherheit zu erreichen, sind fortschrittliche Verifikationstechniken erforderlich. Simulink Design Verifier ist ein auf formaler Verifikation basierendes Modellprüfungswerkzeug, das effektiv eingesetzt werden kann, um Probleme bei der Fehlererkennung und beim Testen in früheren Projektstadien zu lösen. Die Umwandlung von Anforderungen, die in ihrer traditionellen Form geschrieben wurden, in direkte Ziele von Simulink Design Verifier kann zeitaufwändig sein und erfordert Kenntnisse des Systemmodells und des Verifikationswerkzeugs. Um den Zeitaufwand zu reduzieren und den Benutzer durch das Systemmodell und das Verifikationstool zu führen, wurde ein halbautomatisches Framework entwickelt. Die Implementierung von eingeschränkten englischen Grammatikmustern in Simulink-Objekte unterstützt die Beschreibung der Muster für Ingenieure und reduziert den Zeitaufwand. Das entwickelte Framework ist flexibel und intuitiv und kann daher eine Lösung für andere Industriezweige sein, aber zukünftige Tests und Verifizierung sind erforderlich.
About the author
Ariel Syrko obteve o seu Mestrado em Engenharia Electrotécnica no Instituto de Tecnologia Blekinge.
