Sysgo

Inka Krischke | Inka Krischke,

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

© Sysgo

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.

  • Xing Icon
  • LinkedIn Icon
Anzeige
Anzeige
Anzeige

Das könnte Sie auch interessieren

Anzeige

E-Paper zum Sonderheft

SAFETY & SECURITY 2021

Die Auswirkungen von KI auf die Sicherheit von Mensch und Maschine in der Produktion, erste Details eines Klassifikationsschema für KI in Sicherheitsanwendungen und wie eine Strategie für OT Security in vernetzten Umgebungen und mehr sind Thema im...

mehr...
Anzeige
Anzeige

Siemens

KI-Klassifikation für Safety

Künstliche Intelligenz gilt als Lösungsansatz für aktuelle Herausforderungen in verschiedensten Lebensbereichen. Die Politik fördert KI, möchte aber die Technikfolgen abschätzen und ggf. regulieren. Nachfolgend wird der Einsatz von KI für...

mehr...
Anzeige
Anzeige
Anzeige
Anzeige
Jetzt Newsletter abonnieren