. "572898"^^ . . . . . . . . . . . . "PikeOS"@cs . . . . . "PikeOS je opera\u010Dn\u00ED syst\u00E9m pracuj\u00EDc\u00ED v re\u00E1ln\u00E9m \u010Dase pro bezpe\u010Dnostn\u011B kritick\u00E9 aplikace, zalo\u017Een\u00FD na mikroj\u00E1d\u0159e. PikeOS je pou\u017E\u00EDvan\u00FD p\u0159ev\u00E1\u017En\u011B v embedded syst\u00E9mech s vy\u0161\u0161\u00EDmi n\u00E1roky na spolehlivost, funk\u010Dn\u00ED bezpe\u010Dnost \u010Di ochranu dat. PikeOS poskytuje naprosto nez\u00E1visl\u00E9 \"p\u0159ihr\u00E1dky\" syst\u00E9mov\u00FDch zdroj\u016F."@cs . "5360"^^ . . "16400742"^^ . . . "22"^^ . "PikeOS"@cs . . "PikeOS je opera\u010Dn\u00ED syst\u00E9m pracuj\u00EDc\u00ED v re\u00E1ln\u00E9m \u010Dase pro bezpe\u010Dnostn\u011B kritick\u00E9 aplikace, zalo\u017Een\u00FD na mikroj\u00E1d\u0159e. PikeOS je pou\u017E\u00EDvan\u00FD p\u0159ev\u00E1\u017En\u011B v embedded syst\u00E9mech s vy\u0161\u0161\u00EDmi n\u00E1roky na spolehlivost, funk\u010Dn\u00ED bezpe\u010Dnost \u010Di ochranu dat. PikeOS poskytuje naprosto nez\u00E1visl\u00E9 \"p\u0159ihr\u00E1dky\" syst\u00E9mov\u00FDch zdroj\u016F. V t\u011Bch mohou pracovat na jedin\u00E9m procesoru aplikace \u010Di cel\u00E9 opera\u010Dn\u00ED syst\u00E9my s r\u016Fzn\u00FDmi \u00FAkoly, po\u017Eadavky na bezpe\u010Dnost \u010Di \u010Dasovou odezvu, ani\u017E by se vz\u00E1jemn\u011B ovliv\u0148ovaly.Maj\u00ED-li na jednom procesoru spole\u010Dn\u011B koexistovat programy s r\u016Fzn\u00FDmi po\u017Eadavky na spolehlivost, mus\u00ED pod nimi b\u011B\u017E\u00EDc\u00ED opera\u010Dn\u00ED syst\u00E9m zajistit, aby z\u016Fstaly zcela nez\u00E1visl\u00E9. Rozd\u011Blen\u00ED syst\u00E9mov\u00FDch zdroj\u016F (resource partitioning) je \u0161iroce akceptovan\u00E1 technika, jak toho doc\u00EDlit. PikeOS kombinuje rozd\u011Blen\u00ED syst\u00E9mov\u00FDch zdroj\u016F s virtualizac\u00ED. Jeho virtu\u00E1ln\u00ED procesory (p\u0159ihr\u00E1dky) mohou hostit od jednoduch\u00FDch program\u016F, p\u0159es prost\u0159ed\u00ED pro b\u011Bh provediteln\u00E9ho k\u00F3du (runtime environment) a\u017E po cel\u00E9 opera\u010Dn\u00ED syst\u00E9my. Hostuj\u00EDc\u00ED opera\u010Dn\u00ED syst\u00E9my, jako nap\u0159. Linux mus\u00ED b\u00FDt p\u0159izp\u016Fsobeny rozhran\u00ED PikeOS. Aplika\u010Dn\u00ED software v\u0161ak z\u016Fst\u00E1v\u00E1 nezm\u011Bn\u011Bn.Ka\u017Ed\u00E1 p\u0159ihr\u00E1dka m\u00E1 svou odd\u011Blenou sadu syst\u00E9mov\u00FDch prost\u0159edk\u016F, tud\u00ED\u017E v n\u00ED b\u011B\u017E\u00EDc\u00ED programy jsou nez\u00E1visl\u00E9 na ostatn\u00EDch aplikac\u00EDch. Tak je umo\u017En\u011Bna koexistence nezn\u00E1m\u00E9ho k\u00F3du s bezpe\u010Dnostn\u011B kritick\u00FDmi programy na jednom po\u010D\u00EDta\u010Di. Na rozd\u00EDl od jin\u00FDch popul\u00E1rn\u00EDch virtu\u00E1ln\u00EDch stroj\u016F (virtual machine, VM) PikeOS rozd\u011Bluje nejen prostorov\u00E9 zdroje, ale tak\u00E9 striktn\u011B odd\u011Bluje \u010Dasov\u00E9 prost\u0159edky jednotliv\u00FDch hostuj\u00EDc\u00EDch syst\u00E9m\u016F. Virtualizovat tedy lze i programy s vysok\u00FDmi po\u017Eadavky na pr\u00E1ci v re\u00E1ln\u00E9m \u010Dase p\u0159i zachov\u00E1n\u00ED jejich vlastnost\u00ED. PikeOS m\u00E1 patentovan\u00FD pl\u00E1nova\u010D.\u010Casov\u00E9 a pam\u011B\u0165ov\u00E9 prost\u0159edky jsou staticky alokov\u00E1ny jednotliv\u00FDm p\u0159ihr\u00E1dk\u00E1m p\u0159es syst\u00E9mov\u00FD software PikeOS. Tento software spole\u010Dn\u011B s mikrokernelem tvo\u0159\u00ED d\u016Fv\u011Bryhodn\u00FD k\u00F3d.D\u00EDky mal\u00E9mu mno\u017Estv\u00ED d\u016Fv\u011Bryhodn\u00E9ho k\u00F3du a modul\u00E1rn\u00EDmu designu lze PikeOS vyu\u017E\u00EDt zejm\u00E9na v bezpe\u010Dnostn\u011B kritick\u00FDch projektech vy\u017Eaduj\u00EDc\u00EDch certifikaci podle n\u011Bkter\u00E9ho z pr\u016Fmyslov\u00FDch standard\u016F. Zn\u00E1m\u00FDm p\u0159\u00EDkladem je Airbus A350 Integrated Modular Avionics jednotka \u010Di v\u00FDklopn\u00FD zavazadlov\u00FD prostor Airbus A400M."@cs . . . . . . . . . .