LynxSecure - LynxSecure

tento článek ne uvést žádný Zdroje. Prosím pomozte vylepšit tento článek podle přidávání citací ke spolehlivým zdrojům. Zdroj bez zdroje může být napaden a odstraněn. Najít zdroje: „LynxSecure“  – zprávy  · noviny  · knihy  · učenec  · JSTOR (Říjen 2013) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

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.