NCITA mokslininkai sukūrė „nenulūžtančią“ operacinę sistemą


AFP/SCANPIX nuotr.

Faceit.lt

2012-02-28 13:39

 Kompiuteris staiga „pakibo“… Apie tai ne kartą girdėjome iš savo draugų, pažįstamų, darbo kolegų ar susidūrėme patys. Kai kuriais atvejais tokia situacija gali atrodyti kaip pasaulio pabaiga. Tačiau mokslininkai teigia, jog ateityje tokių problemų galima jei ne išvengti, tai bent jau gerokai sumažinti jų skaičių.

Nieko nėra blogiau už katastrofą kompiuterių sistemose, kurios veikia medicininėje įrangoje, transporto priemonių valdymo sistemose ar sudėtinguose technologiniuose procesuose. Kaip tik šią problemą eliminuoti siekia mokslininkai iš Australijos Nacionalinio informacinių technologijų tyrimų centro (NCITA), kurie jau eilę metų dirba prie apsaugos nuo šių problemų sistemos kūrimo. June Andronick ir jos vadovaujama komanda užsiima operacinės sistemos branduolio kūrimu, kuris turi būti suprojektuotas taip, jog „nenulūžtų“.

Dabartinės patikimos programinės įrangos kūrimo metodikos pagrindą sudaro bandymų ir klaidų metodas, kai programinės įrangos kūrėjai numato maksimalų galimą situacijų skaičių, o po to viskas testuojama. Tuo tarpu NCITA dirba pagal formalios verifikacijos metodą, kuris iki šiol buvo laikomas kaip netinkamas praktiniam taikymui.

J. Andronick suburta komanda sugebėjo pasinaudoti šia metodika formaliam kodo patikrinimui. Šis kodas sudaro didžiąją operacinės sistemos branduolio dalį, o pati OS bus naudojama su procesoriais, naudojamais išmaniuosiuose telefonuose, nešiojamuose sistemose bei medicininėje įrangoje.

Sistema tampa stabili, kadangi sukurtas kodas yra tas komponentas, kuris aprūpina prieiga prie svarbiausių kompiuterio resursų, tokių kaip procesoriaus laikas, atmintis, išorinė aparatinė įranga. Išoriniai informacijos įvesties ir išvesties įrenginiai ir t.t.

Naujoji australų technologija taip pat gali padėti apsisaugoti nuo kibernetinių atakų, kadangi operacinė sistema galės blokuoti nesankcionuotus veiksmus, kuriuos atlieka programinė įranga.

Įdomiausia tai, jog mokslininkų komanda sugebėjo suprogramuoti nedidelę operacinę sistemą, kuri visuomet elgsis taip, kaip tai numatė jos kūrėjai, ir daugiau „nelūžinės“. Aišku, primenama, jog problemų vis tik gali iškilti, jei atsiranda nesklandumų aparatinėje įrangoje. Dabar belieka sulaukti „negendančios“ aparatinės įrangos ir turėsime idealias kompiuterines sistemas. Vis tik idealas pasiekiamas?

Close

Į Lietuvą suplūs technologijų lyderiai: atsiskleidė ir lietuvių žinios

 Naujausias tyrimas parodė, kad lietuviai yra girdėję apie „blockchain“ ir kriptovaliutų technologijas, tačiau vis dar jomis nepasinaudoja. Ekspertai teigia, kad šiomis temomis trūksta diskusijų. Tad jau ketvirtus metus ...

Telefonų istorija: 7 telefonai, kurie paliko didžiausią pėdsaką

1983 m. metais pasirodė pirmas mobilusis telefonas. Šiandien, praėjus 35-iems metams po jo atsiradimo, šis įrenginys gerokai pasikeitė. Dabar jį vadiname išmaniuoju telefonu, kartais jis vargiai telpa mūsų kelnių ...

Į Lietuvos kelius grįžta „Google Street View“ automobiliai

 Šią vasarą Lietuvos keliuose vėl pasirodys „Google Street View“ automobiliai. Jų tikslas – atnaujinti šalies duomenis platformoje „Google Maps“. Šįkart bus koncentruojamasi į tarpmiestinių ...

Žingsniu arčiau Nobelio: profesorius V. Šikšnys įvertintas elitine 1 mln. dolerių vertės Kavli premija

Vilniaus universiteto (VU) profesorius Virginijus Šikšnys už CRISPR-Cas9, arba vadinamųjų „genų žirklių“, atradimą apdovanotas kas dvejus metus teikiama elitine Kavli premija, kurios vertė siekia 1 milijoną JAV ...

Atšilus orams: 3 patarimai, kaip apsaugoti telefoną

Meteorologai džiugina itin vasariško savaitgalio prognozėmis, todėl daugelis mintyse jau planuoja išvykas į gamtą. Šiluma, vandens telkiniai, smėlis – neatsiejami tokio laisvalaikio atributai, bet taip pat ir grėsmės ...

Atraskite Lietuvą: 5 išmanūs būdai padės suplanuoti tobulą kelionę

Pastaraisiais metais Lietuvą vis dažniau atranda ne vien svečiai iš užsienio, bet ir patys lietuviai. Ir tai tikrai nestebina: šalies miestai nuolat atsinaujina bei pasiūlo įdomių atrakcijų, šalia miškų bei ežerų dygsta ...

5 geriausi telefonai, kuriuos galite įsigyti tiesiog dabar

Atėjus laikui įsigyti naują išmanųjį, tenka spręsti nemažai klausimų: kurio gamintojo, kurios serijos bei modelio, dydžio ir net spalvos įrenginį rinktis, o gal, apskritai, dar palaukti geresnio? Jei laukti nesinori, „Tele2“ ...

Išmanus kelionių planavimas: 4 programėlės, padėsiančios sutaupyti

Atėjus šiltajam sezonui, daugelis mintyse vis dažniau kuria būsimų atostogų planus. Tačiau planuoti kryptis ir įspūdžius yra daug smagiau nei išlaidas, todėl technologijų lyderė „Tele2“ siūlo į pagalbą pasitelkti ...

Atlikite testą: ar žinote, koks turi būti slaptažodis?

Jei manėte, kad jūsų „Slaptazodis123“ yra saugus, turime jus nuliūdinti: taip nėra. Programišiai nuolat naudoja šimtų milijonų vartotojų prisijungimo duomenis tobulinant slaptažodžių spėjimo technikas, kuriant programinę ...

Trys fotografavimo telefonu klaidos, skiriančios mėgėją nuo profesionalo

Kiekviena įamžinta akimirka, jei ji pateikta tinkamai, gali būti išskirtinė. Deja, kartais plika akimi matomas vaizdas stipriai pranoksta tą, kurį išvystame telefono ekrane. Nuotraukos būna „išsiliejusios“, spalvų ...

 

 

Dienos klausimas

Ar planuojate įsigyti NT dar šiais metais?

 

Dienos citata

Įsivedus eurą nuo 2015 metų pradžios valstybės rinkliavos nedidės, o valstybė gali parodyti pavyzdį, kaip reikia elgtis perskaičiuojant kainas iš litų į eurus.

Finansų minsitras Rimantas Šadžius

Archyvas

Dienos skaičius

40 proc.

Tiek vidutinis kainų lygis Lietuvoje yra mažesnis nei ES vidurkis.

Archyvas