Die Anzahl sicherheitskritischer Systeme in Fahrzeugen nimmt rapide zu. Um die von solchen Systemen ausgehenden Gefahren zu minimieren, werden spezielle Entwicklungsstandards und -prozesse für sicherheitskritische Applikationen definiert und angewendet. Für die Automobilelektronik wurde die Norm IEC61508 als Richtlinie etabliert, die an der manuellen Software-Entwicklung ausgerichtet ist und nur wenig Entscheidungshilfe bei Auswahl und Einsatz von Code-Generatoren für die Software sicherheitskritischer Systeme bietet. Bei der ATENA Engineering GmbH werden derzeit Fahrzeugsysteme entwickelt, die entsprechend IEC61508 SIL3 eingestuft sind und deren Software-Anteil Umfänge bis zu 20000 Programmzeilen haben. Bei der Entwicklung solcher Systeme sprechen mehrere Gründe für den Einsatz eines automatischen Code-Generators. Beim Einsatz eines Code-Generators ist die Frage zu klären, wie mit der Forderung der IEC61508 nach zertifizierten und betriebsbewährten Tools umzugehen ist. Das Argument der Betriebsgewährtheit ist für SIL3-Entwicklungsprojekte nicht uneingeschränkt verwendbar, da bisher keine Referenzprojekte ähnlicher Komplexität vorliegen. TargetLink, der Code-Generator von dSPACE, integriert sich nahtlos in MATLAB und ermöglicht eine sichere Umsetzung des in Form von Simulink/Stateflow-Modellen vorliegenden Software-Designs in C-Code. Besondere Aufmerksamkeit wird der Qualitätssicherung in der TargetLink-Produktentwicklung zu teil. Der Softwareentwicklungsprozess, dessen Implementierungsphase maßgeblich von dSPACE TargetLink unterstützt wird, wird seit November 2002 bei ATENA angewandt. Der Code-Generator ist in eine projektspezifische Werkzeugkette eingebettet. Diese garantiert die Einhaltung der Qualitätskriterien für sicherheitskritische Anwendungen.
Automatische Code-Generierung für sicherheitskritische Systeme
Automatic code generation for safety critical systems
Automobiltechnische Zeitschrift - ATZ ; 105 , extra Automotive Electronics ; 50-55
2003
6 Seiten, 5 Bilder, 6 Quellen
Aufsatz (Zeitschrift)
Deutsch
Automatische Code Generierung fuer sicherheitskritische Systeme
Kraftfahrwesen | 2003
|Microcontroller fuer sicherheitskritische Automotive-Systeme
Kraftfahrwesen | 2010
|British Library Conference Proceedings | 2009
|Der richtige Hypervisor fuer sicherheitskritische Systeme
Kraftfahrwesen | 2015
|