TTXAutoVerify ist ein leistungssarkes Werkzeug zur Validierung der konsistenten Konfiguration von AUTOSAR-Komponenten in einem elektronischen Steuergerät für FlexRay.
Vergleich der geplanten mit der tatsächlichen Datenstruktur
Der generische Ansatz von TTXAutoVerify ermöglicht, die geplanten und die tatsächlichen Kommunikationsdaten in elektronischen Steuergeräten zu testen. Dieses Verifizierungstool erlaubt es, die zwei Datenstrukturen von AUTOSAR-Komponenten anzuzeigen und zu vergleichen. Dadurch wird die Konsistenz der Konfiguration gewährleistet und schon am Anfang des Test- und Designprozesses werden beträchtliche Einsparungen erzielt.
Automatische Analyse und Verifizierung
FlexRay-basierte Systeme werden durch Parameter definiert. Sie sind daher leicht zu modifizieren und aufzurüsten, indem man diese Parameter ändert. Um sowohl hohe Ansprüche als auch die FlexRay-Designregeln zu erfüllen, können Parameter geprüft und analysiert werden.
