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
Article (Journal)
German
Automatische Code Generierung fuer sicherheitskritische Systeme
Automotive engineering | 2003
|Microcontroller fuer sicherheitskritische Automotive-Systeme
Automotive engineering | 2010
|Automatische Generierung von Abnahmetests für eingebettete Systeme im Automobilbereich
Tema Archive | 2005
|British Library Conference Proceedings | 2009
|Der richtige Hypervisor fuer sicherheitskritische Systeme
Automotive engineering | 2015
|