C versus Ada in sicherheitskritischen Applikationen

: In Zukunft wird es verstärkt notwendig sein, sicherheitskritische Systeme statt in Ada in der Programmiersprache C zu implementieren. Die Verwendung von C ist getrieben vom Mangel an Software-Entwicklungswerkzeugen für verwendete Plattformen. Diese Arbeit zeigt auf, welche zusätzlichen Risiken durch die Verwendung der Sprache C entstehen, und wie diese Risiken durch eine Anpassung des Softwareentwicklungsprozesses reduziert wurden. Motivation Zu den Kernkompetenzen der MTU Aero Engines GmbH gehört die Entwicklung und Herstellung von Regel- und Überwachungssystemen für Luftfahrtantriebe. Speziell Regelsysteme sind entsprechend der höchsten Sicherheitsstufe des jeweils anzuwendenden SW-Entwicklungsstandards (RTCA DO178A/B Level A etc.) zu implementieren und zu testen. Die Methoden und Prozesse der Softwareentwicklung und -zertifizierung wurden mit den - häufig behördlichen - Kunden im Rahmen früherer Projekte abgestimmt und ständig weiter verfeinert. Ein zentraler Punkt des ...

• Type: Conference
• Year: 2003
• Where: GI
• Authors: Michael Jungmann
• Keywords: GI 2003, MTU Aero Engines, Programmiersprache Ada, Sicherheitskritische Systeme, Theoretical Computer Science