![S Y S G O D O 178 C E D 12 C D A L A Zertifizierungskit[1]](/fileadmin/_processed_/d/1/csm_SYSGO_DO-178C_ED-12C__DAL_A_Zertifizierungskit_1__8c10dda37c.png "S Y S G O D O 178 C E D 12 C D A L A Zertifizierungskit[1]")
Das Zertifizierungskit ermöglicht die Entwicklung von Systemen und Anwendungen gemäß dem Safety Development Assurance Level A (DAL A), wie er im Avionik-Sicherheitsstandard DO-178C / ED-12C beschrieben ist. Das Kit umfasst u.a. Sicherheits- und Benutzerhandbücher, Schnittstellendokumentationen sowie Worst-Case-Timing-Analyse (WCET).
Zusätzlich verfügt es über eine Partitionierungs- und Stack-Analyse sowie einen Qualifizierungsbericht für alle verwendeten Werkzeuge auf Basis der DO-330-Anforderungen, die auch die Betriebsanforderungen der kundenbezogenen Werkzeuge beinhalten. Der komplette Qualifizierungsstatus wird in den Software Completion Summaries für PikeOS und ARINC 653 zusammengefasst, die die Konformität zu DO-178C / ED-12C DAL A nachweisen.
Der Standard DO-178C ...
stellt die zentrale Softwareentwicklungsrichtlinie für die Luftfahrtindustrie dar, dient als Grundlage für die Erstellung von sicherheitskritischer Avioniksoftware und ist von Zertifizierungsbehörden wie der FAA und EASA anerkannt. Für alle Systeme und Software, die im Falle eines Fehlers schwerwiegende Folgen haben könnten, sind intensive Maßnahmen erforderlich. Darüber hinaus ermöglicht die ARINC 653 API (auch APEX genannt) die Entwicklung von Anwendungen, die mit dem Basic Safety Profile kompatibel sind, wie er im technischen Standard FACE (Future Airborne Capability Environment Consortium) beschrieben ist.
Das Zertifizierungskit unterstützt ...
die PikeOS-Version 5.1 mit Hilfe des AdaCore GNAT Pro C-Compilers auf der 64-Bit PowerPC-Plattform (E500MC-4G), der die Rückverfolgbarkeit von Quellcode zu Objektcode unterstützt. Das Hypervisor-basierte RTOS PikeOS ermöglicht es Entwicklern, Zertifizierungsartefakte für die Erstellung von DAL A-qualifizierter Embedded Software und Systemen zu nutzen, die in einem nachvollziehbaren Prozess zertifiziert werden können. Neben dem DAL A Zertifizierungskit gibt es auch ein neues DAL-B Zertifizierungskit für die 64-Bit PowerPC-Plattform (E500MC-4G), das mit der Gnu Compiler Collection (GCC) verwendet werden kann.
