La quantité et la complexité des fonctionnalités mises en oeuvre dans les véhicules se sont rapidement développées au cours des dernières années. Aujourd'hui, la vision d'un véhicule autonome n'est plus un rêve ou un film fantastique, mais une réalité à venir. Afin d'obtenir la meilleure qualité et une sécurité élevée, des techniques de vérification avancées sont nécessaires. Simulink Design Verifier est un outil de vérification de modèle basé sur la vérification formelle, qui peut être utilisé efficacement pour résoudre les problèmes concernant la détection des...

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...