Sysgo
Zertifizierungskit für Echtzeit-Betriebssystem
Sysgo hat ein umfassendes Avionik-Sicherheits-Zertifizierungskit für das ‚Hypervisor‘-basierte Echtzeit-Betriebssystem ‚PikeOS‘ vorgestellt, das eine ARINC 653-Ausführungsumgebung beinhaltet
Das Zertifizierungskit ermöglicht Sysgo-Kunden aus der Avionik-Industrie die Entwicklung von Systemen und Anwendungen gemäß dem höchsten Safety Development Assurance Level A (DAL A), wie er im Avionik-Sicherheitsstandard DO-178C/ ED-12C beschrieben ist. Das Kit umfasst unter anderem 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.










