SYSGO PikeOS vs Green Hills Software

SYSGO PikeOS

Sterke punten

• +Microkernelarchitectuur met separation kernel voor betrouwbare virtualisatie
• +Ondersteunt gastapplicaties met gemengde kritikaliteit (POSIX, Linux, ARINC 653) in geïsoleerde partities
• +Deterministische realtimeprestaties
• +Gecertificeerd voor DO-178B/C (luchtvaart), ISO 26262 (automotive), IEC 61508 (industrie)
• +Voldoet aan Common Criteria EAL 5+ voor beveiliging

Beperkingen

• −Beperkt ecosysteem van applicaties van derden
• −Weinig ondersteuning en hulpbronnen vanuit de community

Green Hills Software

Sterke punten

• +Prestaties die in de sector vooroplopen bij veiligheidskritische systemen
• +Sterke ondersteuning voor multicore- en heterogene architecturen
• +Bewezen betrouwbaarheid in automotive- en luchtvaarttoepassingen

Beperkingen

• −Hoge licentiekosten bij enterprise-implementaties
• −Steile leercurve voor nieuwe gebruikers
• −Weinig openbare documentatie voor nichetoepassingen

SYSGO PikeOS

Virtualisatie en hypervisorarchitectuur

Type-1-hypervisor met separation kernel voor uitvoering op bare metal, Hardwareondersteunde virtualisatie voor ARM en x86, Consolidatie van gemengde kritikaliteit op één SoC, Multicore-ondersteuning: SMP en AMP met fijnmazige locking en cache coloring

Gastbesturingssystemen en personalities

Ondersteunt Linux (via ELinOS), POSIX, ARINC 653, AUTOSAR, Android, RTEMS, Windows, Meerdere programmeertalen: C/C++, Ada, embedded Rust met directe kernel-API's

Veiligheids- en beveiligingscertificeringen

Voorgecertificeerd voor DO-178C DAL A, ISO 26262 ASIL D, EN 50128/50716 SIL 4, IEC 61508 SIL 3/4, ECSS Cat. A, Common Criteria EAL 5+ (Separation Kernel v5.1.3, gecertificeerd door het Duitse BSI), Ondersteuning voor Secure Boot, Hardware Root of Trust, TPM, HSM, CycurHSM, MILS-compliance, geïntegreerde firewalls, inbraakdetectie, cryptografie met wolfSSL

Kern-OS-diensten en certificeringskits

Certifiable File System (CFS), Certifiable IP Networking Stack (CIP: TCP/IP, UDP, AFDX, ARINC 664), Certifiable Math Library (CML), Framework voor health monitoring en foutafhandeling, Grafische virtualisatie met GPU-ondersteuning voor Vulkan SC via VkCore-SC

Ontwikkeling en tooling (CODEO IDE)

CODEO IDE op basis van Eclipse, met grafische wizards voor systeemconfiguratie, Debuggen op afstand tot op instructieniveau, monitoring van het doelsysteem, systeemtracing, Hardware-emulators op basis van QEMU en simulators voor het doelsysteem

Green Hills Software

Kernfuncties van de RTOS

Deterministische realtime prestaties, Geheugenbescherming en partitionering, Scheduling op basis van prioriteit, Ondersteuning voor multicore-architecturen

Ontwikkeltools

Geïntegreerde ontwikkelomgeving (IDE), Optimaliserende compilers voor C/C++, Tools voor debugging en profiling, Frameworks voor simulatie en testen

Veiligheid en beveiliging

ISO 26262 ASIL D-certificering voor de automotive, Secure boot en bescherming tijdens runtime, Hardwarematig versnelde cryptografie, Naleving van normen voor functionele veiligheid