PikeOS

PikeOS na konferenci Embedded World 2014 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. +more 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. +more 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č.

Č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. +more 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.

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 * Android * Coqos 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. +more Procesory bez těchto jednotek nelze v PikeOS podporovat.

Od verze 3.1 podporuje PikeOS vícejádrové procesory.

End of Life přehled

Reference

Externí odkazy

[url=https://industrytoday. com/sysgo-pikeos-achieves-common-criteria-cc-level-eal5/]SYSGO: PikeOS Achieves Common Criteria (CC) Level EAL5+[/url] * [url=http://www. +moresysgo. com/]Webové stránky výrobce[/url] * [url=https://www. sysgo. com/pikeos]PikeOS Stránka produktu[/url] * [url=https://www. sysgo. com/fileadmin/user_upload/data/flyers_brochures/SYSGO_PikeOS_Product_Note. pdf]PikeOS datový list[/url] (PDF) * [url=https://www. sysgo. com/fileadmin/user_upload/data/flyers_brochures/SYSGO_PikeOS_Product_Overview. pdf]PikeOS Leták[/url] (PDF).

Kategorie:Operační systémy Kategorie:Systémový software Kategorie:Virtualizační software