Andere Kunden interessierten sich auch für
![Un framework per la formalizzazione semi-automatica dei requisiti del settore automobilistico]( "Un framework per la formalizzazione semi-automatica dei requisiti del settore automobilistico")
Un framework per la formalizzazione semi-automatica dei requisiti del settore automobilistico26,99 €![A framework for semi-automated formalization of automotive requirements]( "A framework for semi-automated formalization of automotive requirements")
A framework for semi-automated formalization of automotive requirements26,99 €![A Framework for Microgrid Analysis using OpenDSS]( "A Framework for Microgrid Analysis using OpenDSS")
A Framework for Microgrid Analysis using OpenDSS26,99 €![MODIFIZIERTER C-DUMP-KONVERTER FÜR BLDC-MASCHINEN]( "MODIFIZIERTER C-DUMP-KONVERTER FÜR BLDC-MASCHINEN")
MODIFIZIERTER C-DUMP-KONVERTER FÜR BLDC-MASCHINEN43,90 €![ÜBERWACHUNG DES ZUSTANDS VON DIGITALKAMERAS BEI FAHRZEUG-CRASHTESTS]( "ÜBERWACHUNG DES ZUSTANDS VON DIGITALKAMERAS BEI FAHRZEUG-CRASHTESTS")
ÜBERWACHUNG DES ZUSTANDS VON DIGITALKAMERAS BEI FAHRZEUG-CRASHTESTS49,00 €![Entwurf eines PID-Reglers mit PLC]( "Entwurf eines PID-Reglers mit PLC")
Entwurf eines PID-Reglers mit PLC49,00 €![Modellierung des monatlichen Verbrauchs an elektrischer Energie]( "Modellierung des monatlichen Verbrauchs an elektrischer Energie")
Modellierung des monatlichen Verbrauchs an elektrischer Energie24,90 €
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.