Nyitólap Regisztráció Belépés

Nyitólap » 2014 » Július » 29 » Letölthető a világ első tökéletesen hibamentes operációs rendszere

---

18:10:52 Letölthető a világ első tökéletesen hibamentes operációs rendszere

Forrás: PC Fórum | Sting | 2014.07.29. Az Ausztrál Nemzeti Informatikai és Kommunikációs Kutató Központ (NICTA) kedden jelentette be, hogy letölthetővé tette a világ első, tökéletesen biztonságos operációs rendszermagjának forráskódját. A seL4 nevű kernelt az különbözteti meg a Windows vagy a Linux rendszermagjától, hogy utóbbiakkal szemben garantáltan semmilyen programozási hiba sem található benne - ennél fogva pedig feltörésére sincs mód és elszállásától sem kell tartani. A rendszert a NICTA az amerikai General Dynamics C4 és az USA védelmi minisztériumához tartozó Cyber Military Systems segítségével dolgozta ki. A szoftver hibamentességét az garantálja, hogy annak helyességét nem csak a hagyományos eszközökkel, de matematikai úton is bizonyították, ami gyakorlatilag kizárja, hogy abban bármilyen programozási hiba (bug) maradhatott volna. A seL4 tökéletes hibamentességét összetett matematikai módszerekkel elemezték és bizonyították A seL4-et ugyanakkor igen komoly gyakorlati teszteknek is alávetették, amikben kifejezetten azt vizsgálták, hogy az ún. elképzelhető legrosszabb helyzetekben (mint pl. a rendelkezésre álló memória elfogyása, valamint a processzor vagy a ki- és bemeneti csatornák teljes leterhelése) miként viselkedik. A szoftver természetesen itt is bizonyított és a lehetőségekhez képest a legmagasabb mértékig megőrizte működőképességét. A rendszermag egyébként a mikrokernel architektúrára épül - ezt biztosítja többek között azt, hogy a rajta ill. benne futó - nem feltétlenül hozzá hasonlóan tökéletesen hibamentes - programkódok elszállása esetén is a legmagasabb fokon képes legyen működőképességét megőrizni és helyreállítani, szinte teljesen kizárva a Kék Halál- ill. kernel panic-szerű lefagyások előfordulását. Nem csak a rendszer specifikációjának, de a lefordított binárisának megfelelőségét és hibamentességét is visszaellenőrizték a szakemberek A seL4 a PC-kben is megtalálható x86-os processzorok mellett ARM lapkákon is tud működni, sőt, virtualizált környezetekben is futtatható pl. Linux mellett. Ugyanakkor a rendszermag önmagában az átlagfelhasználó számára semmit nem ér, és hibamentességének jelentősége is elsősorban kritikus rendszerekben (mint pl. repülők fedélzeti számítógépein, robotokban vagy orvosi berendezésekben) bír csak jelentőséggel, tipikus asztali vagy szerverkonfigurációkban azonban nem.

1 2 3 4 5 Kategória: Számítástechika | IT | Megtekintések száma: 710 | Hozzáadta: georgio | Tag-ek(kulcsszavak): Ausztrál Nemzeti Informatikai és Ko, biztonságos, seL4, operációs rendszer, Cyber Military Systems, NICTA | Helyezés: 0.0/0