PikeOS
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.
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č.[1]
Č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.[2][3][4]
Certifikační normy
PikeOS je certifikován podle následujících norem:[5]
- 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 [6][7]
- Coqos [8] 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.[9]
Vysvětlivky
- ↑ 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[nedostupný zdroj]
- ↑ Airbus selects SYSGO PikeOS for A350 XWB aircraft[nedostupný zdroj] 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 Archivováno 5. 3. 2012 na Wayback Machine.
- ↑ SIL 3-4 certificate
- ↑ SYSGO’s Embedded Virtualization RTOS PikeOS Offers Android Personality Archivováno 29. 3. 2012 na Wayback Machine. Article from ElectronicSpecifier (April 2011)
- ↑ Android & Autosar running concurrently on PikeOS Video from Embedded World 2011
- ↑ OpenSynergy brings security to infotainment EETimes Automotive (01/11/2011)
- ↑ Flexible Multi-Core-Unterstützung für zertifiziertes PikeOS Německy na openembedded.de z března 2010