Digitalisering

Operativsystem utan buggar

Det finns ett operativsystem utan irriterande buggar, och det är matematiskt bevisat. Det handlar tyvärr inte om nästa version av Windows eller Mac OS X, utan om en mikrokärna för inbyggda system.

Publicerad

Operativsystemet heter SEL4, Secure Embedded L4. It-institutet Nicta i Australien har utfört det formella beviset, och avknoppningsbolaget OK Labs tänker nu försöka använda samma process med det kommersiella syskonsystemet OKL4.

Tillämpningen för detta specialiserade operativsystem finns i finans- och telekomvärlden. Det ska användas för att köra virtualiserade system, det vill säga servrar där program från olika operativsystem körs parallellt. Med ett bevisat buggfritt system blir det lättare att garantera att programmen inte stör varandra, och att det blir svårare att hacka sig till känslig information.

Prova Ny Teknik – 49 kr
för 1 månad


Tillgång till alla låsta artiklar, fördjupande kompendier,
premiumnyhetsbrev, samt e-tidningen.



Kom igång nu →


Förnyas till 299 kr/mån efter din provperiod. Ingen bindningstid. Avsluta enkelt.
Gäller endast nya prenumeranter.



Är du medlem i Sveriges Ingenjörer?

Aktivera ditt konto här