Péntek, 2024-03-29, 07:04:23
Nyitólap Regisztráció
Üdvözöllek, Vendég
A fejezet kategóriái
Belföld [5490]
Belföldi, általam válogatott cikkek, írások.
Bulvár | Celeb [148]
Érdekesebb bulvár hírek.
Bűnügy [376]
Bűnügyi hírek, információk
Csináld magad [1]
Barkácsolási ötletek
Extrém [312]
Extrém, megdöbbentő hírek.
Egészség | Életmód [750]
Egészséggel, életmóddal, kapcsolatos hírek, információk, tanácsok.
Érdekes | Különleges | Rejtélyes [980]
Érdekes, különleges, rejtélyes esetek, ironikus, vicces, humoros hírek, információk. írások.
Európai Unió [176]
Hírek az Európai Unióból
Gasztro | Recept [4019]
Gasztronómiai hírek, információk, receptek.
Gazdaság [426]
A gazdasági élet hírei
Horgász [1221]
Horgászoknak szóló hírek, információk.
Játék, -pihenés, -szórakozás [155]
Ötletek, ajánlott oldalak, programok.
Jó tudni! [2402]
Fontos, hasznos információk, határidők, változások, tanácsok. Programok, rendezvények.
Kommentár | Reakció | Vélemény [1352]
Kritikus írások, vélemények, reakciók, a magyar politika és közélet cselekedeteire, visszásságaira.
Politika [574]
Politikai jellegű hírek információk
Receptek sonkapréshez [27]
Receptek, leírások házi húskészítmények (felvágott, sonka, disznósajt, stb.)sonkapréssel történő elkészítéséhez
Számítástechika | IT [4051]
Hírek, újdonságok, tippek, trükkök, ajánlások, stb.
Történelem | Kultúra [916]
Történelmi és kulturális vonatkozású hírek, információk.
Tudomány | Technika [2933]
Újdonságok, felfedezések, új kutatási eredmények, érdekességek.
Választások [370]
Országgyűlési, önkormányzati és EU választások előkészületeivel, lebonyolításával összefüggő hírek, információk.
Világ [3290]
Nemzetközi, általam válogatott cikkek, írások.
Weboldalam hírei [57]
Tájékoztatás a honlapon történt változásokról.
Belépés
NÉVNAPOK
Kedvencek
  • Avast - My Avast
  • Linkgyűjtemény készítő, megosztó ingyenes alkalmazás (eLink)
  • Elektronikus Eü-i Szolgáltatási Tér - EESZT: bejelentkezés
  • Erodium - Orvosi Betegirányító Rendszer
  • Facebook Videó letöltő
  • Fotómontázs, irható, online, free | PIXIZ
  • Fotókollázs, Fotókeret Online/Photo+Fan+Editor
  • Földmegfigyelési Információs Rendszer (FIR)
  • Free Picture Solutions
  • Google Térkép
  • Helyesírási tanácsadó
  • Honlap analízis-AnalayzerHQ
  • Honlakészítési leírások - TUTORIAL.HU
  • Honlap: Like és megosztás gombok, html kódok
  • Honlap,Tárhely: Ingyen
  • Horgászvideó.hu
  • Ikon konverter online - ICO Convert
  • Ingyen licenszes programok, naponta! - Giveaway Of The Day
  • Intel® Driver Update Utility
  • Internetsebesség-mérő (NMHH)
  • Ip cím_ Domain helymeghatározás
  • Ip cím - Global WHOIS Search
  • Kép konvertálása szöveggé – Free online OCR
  • Képeslapküldő: zenés képeslap és YouTube videó küldése
  • Képtömörítő Online Alkalmazás
  • Linkcsere Portál
  • Link rövidítő - Dygilinks.com
  • Link rövidítő - Google URL rövidítő
  • Link rövidítő - U.TO
  • MaNDa Téka - Magyar filmek a neten
  • McAfee | SiteAdvisor
  • Menetrend-MÁV ELVIRA
  • Mese- tv.hu - Gyerek tévék
  • Mértékegységek átváltása
  • Microsoft Update katalógus
  • MVM Fiók_Földgáz
  • Nikon D 3300 Letöltőközpont
  • OTP Bank
  • Óriásfájl küldése | Csatolom.hu
  • PDF átalakító - smallpdf"
  • Samsung letöltések
  • SEO Tools-keersőoptimalizálás
  • nt
  • Szerencsejáték Zrt.- Online fogadás
  • Szimbólumok - billentyűzetről előhívható szimbólumok
  • Szimbólumok - Különleges írásjelek
  • Színkódok-HTML, 140 szín kódja
  • Teljesen ingyen, 150 link weboldalára!
  • Telekom Fiók - belépés
  • TV Szombathely - élő adás
  • uCoz Facebook Oldala
  • uCoz Fórum
  • uNet Online Munkaasztal
  • Útvonaltervezés - Topolisz
  • Videa.hu - videók, videó-feltöltés
  • Videóletöltő - online, ingyenes
  • Vodafone - Bejelentkezés
  • Webmester-Google
  • Weboldal keresőoptimalizálási audit ingyen! | seoceros.com
  • Weboldal tartalomelemzés, javaslat a gyorsabbá tételéhez | PageSpeed Insights
  • Website Monitoring Service: host-tracker.com
  • WebStatsDomain
  • Zene ingyenesen - YOUZEEK
  • Mentett bejegyzések
    Online Rádiók
    TV GO
    TV GO
    Statisztika

    Online összesen: 1
    Vendégek: 1
    Felhasználók: 0
    Keresés
    Nyelvi Fordító
    Honlap ajánlása
    Időjárás

    Animált felhőkép
    Felhőkép
    Légszennyezettség
    Szombathely, Légszennyezettség, online, zöldhullám projekt,
    Időjárás | Balaton
    Balaton 30 napos előrejelzés
    Tavi Viharjelzés
    Balaton, Velencei-tó, Tisza-tó | Tavi Viharjelzés,- Előrejelzés
    Balaton: Horgászat
    Balatoni Horgászhelyek - Balatoni horgászhelyek adatbázisa

    Balatoni Horgászturisztikai Adatbázis - balatonihal.hu
    Szolunáris Tábla
    szolunáris tábla, szolunáris táblázat, szolunáris naptár, horgásznaptár,2023,
    Horgászjegy Online
    Horgászjegy.hu
    MENETRENDEK.HU
    Vasúti és Volán menetrendek | Menetrendek.hu
    E-matrica vásárlás
    Online vásárlás: ematrica.nemzetiudij.hu
    ÚTINFORM
    Magyar Nonprofit Közút Zrt. - Útinform
    Útvonaltervező
    Google Útvbonaltervező - Google Térkép
    QR-kódom
    qr kód készíté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.

    Kategória: Számítástechika | IT | Megtekintések száma: 591 | 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