In modernen Pkw nimmt die Zahl der elektrischen und elektronischen Komponenten kontinuierlich zu, das Fahrzeug wird immer abhängiger von ihrer einwandfreien Funktion. Die Grundvoraussetzung dafür ist ein stabiles Bordnetz, daher wird Aufwand betrieben, um die Komponenten Generator, Batterie und Regelung zu optimieren. Die hier vorgestellten Systeme ermöglichen eine Simulation, die für die Entwicklung geeigneter Regelalgorithmen eingesetzt wird, sowie einen Prüflauf (Fahrprofile) mit realen Steuergeräten zur Verifikation der Modellaussagen. Das Prüfsystem wurde mit der Echtzeitversion der graphischen Programmiersprache LabVIEW RT der Firma National Instruments (Austin, Texas, USA) erstellt. Der Austausch von simulierten Komponenten ist denkbar einfach und schnell durchgeführt, ohne am LabVIEW-Programmcode zu ändern wird ein neues Modell (aus Simulink zu einer DLL (Dynamic Link Library) kompiliert) geladen. So kann sehr schnell auf die Entwicklung neuer Generatoren, Batterien und Regelalgorithmen reagiert werden. Aus einer einheitlichen Programmumgebung heraus können Regelalgorithmen getestet und mit vorhandenen Steuergeräten verglichen werden. Fahrprofile aus unterschiedlichen Quellen können in der LabVIEW-Programmierumgebung eingelesen und ausgeführt werden. Für serielle Schnittstellen wie z.B. BSD kann als universelle Schnittstellenkarte das RIO-Modul mit seinen FPGA-(Field Programmable Gate Array-)Funktionen verwendet werden. Es scheint eine lohnende Aufgabe zu sein, derartige Protokolle als FPGA-Code zu realisieren, um damit die Kommunikation, aber auch die Prüfung des Schnittstellenverhaltens bei falschem Timing, falschen Prüfsummen, usw. zu untersuchen. Dazu ist dann keine neue Hardware mehr erforderlich.
Ladebilanzsimulation und -Verifikation
2005
5 Seiten, 5 Bilder
Conference paper
German
ASIC-Verifikation: Schnellere Verifikation bei mehr Debug-Transparenz
British Library Online Contents | 2007
Formale Verifikation - eine leistungsfaehige Methodik zur Verifikation von embedded systemen
Automotive engineering | 2002
|Dynamische Zustandsautomaten Verifikation
Tema Archive | 2005
|Dynamische Zusatandsautomaten Verifikation
Automotive engineering | 2005
|