Ein Rahmenwerk für die halbautomatische Formalisierung von Automobilanforderungen - Syrko, Ariel
39,90 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 1-2 Wochen
payback
0 °P sammeln
  • Broschiertes Buch

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…mehr

Andere Kunden interessierten sich auch für
Produktbeschreibung
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.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Autorenporträt
Ariel Syrko obteve o seu Mestrado em Engenharia Electrotécnica no Instituto de Tecnologia Blekinge.