PikeOS je operační systém pracující v reálném čase pro bezpečnostně kritické aplikace, založený na mikrojádře. PikeOS je používaný převážně v embedded systémech s vyššími nároky na spolehlivost, funkční bezpečnost či ochranu dat. PikeOS poskytuje naprosto nezávislé „přihrádky“ systémových zdrojů. V těch mohou pracovat na jediném procesoru aplikace či celé operační systémy s různými úkoly, požadavky na bezpečnost či časovou odezvu, aniž by se vzájemně ovlivňovaly. Pro bezpečnostně a bezpečnostně kritické aplikace reálného času v systémech založených na řadiči bez jednotky správy paměti (MMU), ale s jednotkou ochrany paměti (MPU) je k dispozici systém PikeOS for MPU. Oddělovací jádro PikeOS verze 5.1.3 je certifikováno podle bezpečnostního standardu Common Criteria na úrovni EAL5+. Systém PikeOS byl historicky založen na mikrojádře L4.
Mají-li na jednom procesoru společně koexistovat programy s různými požadavky na spolehlivost, musí pod nimi běžící operační systém zajistit, aby zůstaly zcela nezávislé. Rozdělení systémových zdrojů (resource partitioning) je široce akceptovaná technika, jak toho docílit. PikeOS kombinuje rozdělení systémových zdrojů s virtualizací. Jeho virtuální procesory (přihrádky) mohou hostit od jednoduchých programů, přes prostředí pro běh proveditelného kódu (runtime environment) až po celé operační systémy. Hostující operační systémy, jako např. Linux musí být přizpůsobeny rozhraní PikeOS. Aplikační software však zůstává nezměněn.
Každá přihrádka má svou oddělenou sadu systémových prostředků, tudíž v ní běžící programy jsou nezávislé na ostatních aplikacích. Tak je umožněna koexistence neznámého kódu s bezpečnostně kritickými programy na jednom počítači. Na rozdíl od jiných populárních virtuálních strojů (virtual machine, VM) PikeOS rozděluje nejen prostorové zdroje, ale také striktně odděluje časové prostředky jednotlivých hostujících systémů. Virtualizovat tedy lze i programy s vysokými požadavky na práci v reálném čase při zachování jejich vlastností. PikeOS má patentovaný plánovač.Patent na rozdělení výpočetní kapacity jednoho výpočetního systému.www.wipo.int/pctdb/en/wo.jsp?IA=WO2006%2F050967
Časové a paměťové prostředky jsou staticky alokovány jednotlivým přihrádkám přes systémový software PikeOS. Tento software společně s mikrokernelem tvoří důvěryhodný kód. Díky malému množství důvěryhodného kódu a modulárnímu designu lze PikeOS využít zejména v bezpečnostně kritických projektech vyžadujících certifikaci podle některého z průmyslových standardů. Známým příkladem je Airbus A350 Integrated Modular Avionics jednotka či výklopný zavazadlový prostor Airbus A400M.Airbus selects SYSGO PikeOS for A350 XWB aircraft Article on EDA Geek(18/11/2008)Rheinmetall selects DO178B certifiable PikeOS from SYSGO for A400M project Article from Military Embedded Systems (10/12/2008)In-Flight Equipment for Airbus A400M www.menmicro.com/applications/avionics-in-flight,30AP011.html
Certifikační normy PikeOS je certifikován podle následujících norem: IEC 61508 DO-178B EN 50128 ISO 26262 IEC 62304
Programovací rozhraní a prostředí pro běh proveditelného kódu Pro PikeOS jsou k dispozici následující prostředí, API a operační systémy PikeOS native interface ARINC 653 APEX POSIX PSE51 Linux AndroidSYSGO’s Embedded Virtualization RTOS PikeOS Offers Android Personality Article from ElectronicSpecifier (April 2011)Android & Autosar running concurrently on PikeOS Video from Embedded World 2011 CoqosOpenSynergy brings security to infotainment EETimes Automotive (01/11/2011) including AUTOSAR Real-time Java Ada RTEMS
Podporovaný Hardware PikeOS běží na procesorech architektur PowerPC, x86, ARM, MIPS, SPARC a SuperH. Pro striktní rozdělení systémových zdrojů používá PikeOS Memory Management Unit nebo Memory Protection Unit. Procesory bez těchto jednotek nelze v PikeOS podporovat.
Od verze 3.1 podporuje PikeOS vícejádrové procesory.Flexible Multi-Core-Unterstützung für zertifiziertes PikeOS Německy na openembedded.de z března 2010
End of Life přehled
+ProduktProduct VerzeSpojené CODEO VerzeSpojené ELinOS VerzeEOLPikeOS3.4 (non cert)5.0, 6.0, 6.1, 6.25.2od té doby 12/2017PikeOS3.4 (cert)5.0, 6.0, 6.1, 6.25.2LTS on x86PikeOS3.55.0, 6.0, 6.1, 6.26.0, 6.1od té doby 12/2017PikeOS4.06.0, 6.1, 6.26.0, 6.1od té doby 06/2019PikeOS4.16.1, 6.26.1od té doby 04/2021PikeOS4.2 (non cert)6.26.2KandidátPikeOS4.2 (cert)6.26.2ProudPikeOS5.0 (non cert)7.0, 7.17.0ProudPikeOS5.0 (cert)7.0, 7.17.0ProudPikeOS5.1 (non cert)7.17.0ProudPikeOS5.1 (cert)7.17.0Proud
Reference
Externí odkazy SYSGO: PikeOS Achieves Common Criteria (CC) Level EAL5+ Webové stránky výrobce PikeOS Stránka produktu PikeOS datový list (PDF) PikeOS Leták (PDF)
Kategorie:Operační systémy Kategorie:Systémový software Kategorie:Virtualizační software