Platforma pre vysoko zabezpečené systémy, založená na hypervisore SEL4
Po 7 rokoch vývoja, Austrálske výskumné centrum NICTA a organizácia Open Kernel Lab, prezentuje platformu pre vysoko zabezpečené systémy založenú na hypervízore SEL4. Platforma predstavuje nový systém, ktorý zaisťuje garantovanú úroveň bezpečnosti a odolnosti. Základné vlastnosti novej platformy sú: veľmi malá veľkosť mikrokernel-hypervízora s minimálnym množstvom funkcií (mikrokernel-hypervízor SEL4 je založený na otvorenom jadre OKL4), matematický overovací kód na odolnosť proti chybám, rigidné izolácie procesov od seba navzájom a od mikro jadra. Podporované platformy sú ARM11, x86 a možnosť spustenia ako host pod Linuxom.
Pre pridávanie komentárov sa musíte prihlásiť.