Sysgo

Zertifizierungskit für Echtzeit-Betriebssystem

Sysgo
© Sysgo

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.

Sponsored Content: Produktnews der Industrie

s+d Produktanzeige web
© S&D
EES Produktanzeige web
© EES
Sontheim Produktanzeige web
© Sontheim

Alle Bilder anzeigen (13)


Das könnte Sie auch interessieren

Verwandte Artikel

SYSGO AG