LynxSecure - LynxSecure
![]() | tento článek ne uvést žádný Zdroje.Říjen 2013) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) ( |
Typ | Hypervisor |
---|---|
Licence | Proprietární software |
webová stránka | www |
LynxSecure je v reálném čase nejmenší privilegium Separační jádro Hypervisor z Softwarové technologie Lynx navrženo pro kritické aplikace v oblasti bezpečnosti a zabezpečení na vojenských, avionických, průmyslových a automobilových trzích. Svlečený design má za cíl zvýšit jistotu hostitele odstraněním možnosti eskalace privilegií CPU a poskytnout extrémně přísnou kontrolu nad plánováním CPU.
S tradiční architekturou jsou všechny hardwarové prostředky vlastněny operačním systémem v reálném čase (RTOS). Toto řídí jádra CPU, paměť a periferní zařízení. Aplikace musí vyžadovat přístup k těmto zdrojům prostřednictvím rozhraní API, jako jsou fork (), malloc () a write (). RTOS je monolitická sbírka knihoven, která spravuje plánování úkolů, dělení paměti a I / O zařízení. Tento velký blok kódu musí být certifikován z hlediska bezpečnosti a bez chyb, aby byl zabezpečen. Oddělovací jádro spoléhá na těžkou práci s virtualizací hardwaru. Tím se vytvoří efektivní virtuální počítače odolné proti neoprávněné manipulaci. Hardwarové prostředky jsou robustně rozděleny do téměř nulových režijních virtuálních počítačů naplněných kombinací OS, RTOS a holých aplikací. Lze zkonstruovat bezpečnostní systémy se smíšenou kritičností, které minimalizují vysoké počty zdrojových řádků kódu (SLOC) Design Assurance Levels (DAL), aby se snížily náklady na certifikaci a technická rizika budoucích programů.
LynxSecure podporuje paravirtualizaci Linux a LynxOS operační systémy v reálném čase i úplná virtualizace operačního systému Windows. V roce 2020 bylo rovněž oznámeno, že LynxSecure bude jako hostující OS podporovat FreeRTOS, jedničku na trhu s operačními systémy v reálném čase.
LynxSecure je postaven tak, aby vyhovoval MILS (několik nezávislých úrovní zabezpečení) architekturu, takže virtualizaci lze použít ve vestavěných systémech s požadavky na vysokou jistotu.
Ve výchozím nastavení používá LynxSecure ke správě času zpracování pevný cyklický plánovač založený na ARINC 653, ale jsou povoleny také zásady dynamického plánování.
![]() | Tento operační systém související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |