-
Nemecký jazyk
Ein Rahmenwerk für die halbautomatische Formalisierung von Automobilanforderungen
Autor: Ariel Syrko
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... Viac o knihe
Na objednávku, dodanie 2-4 týždne
36.99 €
bežná cena: 41.10 €
O knihe
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.
- Vydavateľstvo: Verlag Unser Wissen
- Rok vydania: 2022
- Formát: Paperback
- Rozmer: 220 x 150 mm
- Jazyk: Nemecký jazyk
- ISBN: 9786205126325
Anglický jazyk 
