Embedded World 2014 Embedded Linux
Relevantní články
PikeOSPikeOS 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. .. pokračovat ve čtení