JavaScript is currently disabled.Please enable it for a better experience of Jumi. Buggfritt OS – nu för nedladdning
Det garanterat felfria australiska operativsystemet OKL4 Verified kan nu laddas hem fritt över nätet för utvärdering. Det finns också tillgängligt för licensiering.
Inget här är världen är säkert, tror du kanske, men att operativsystemskärnan OKL4 Verified fungerar enligt sin specifikation, det är faktiskt helt säkert. Eller i alla fall lika säkert som att 1 + 1 = 2 – så kan du själv filosofera över huruvida den graden av säkerhet är något som du kan känna dig trygg med.

Det här betyder att OKL4 Verified inte innehåller några buggar, vilket är en relevant egenskap ur säkerhets- och sekretessynpunkt.

Kärnan har tagits fram av det australiska forskningslaboratoriet Nicta och företaget OK Labs.

OKL4 Verified, eller seL4, är en minimalistisk variant av företagets mikrokärna L4, som du eller någon du känner troligen har i fickan – den finns i 700 miljoner mobiltelefoner.
 
OK Labs chef Gernot Heiser berättade om OKL4 Verified i en teknisk rapport publicerad exklusivt i Elektroniktidningen i mars förra året, för den som är intresserad av hur ett operativsystem bevisas vara felfritt.

OKL4 Verified släpps tillsammans med sin specifikation. Den kan licenseras av ”säkerhetmedvetna” tillverkare skriver OK Labs i en pressrelease som beskriver seL4 som en disruptiv teknik för konstruktionen av säkerhetskritiska system i exempelvis fordon och medicin: ”Fram till nu har det inte existerat verktyg som kan garantera den här graden av pålitlighet”.

OKL4 Verified kan också användas för att säkra ekonomiska transaktioner och skydda militära operationer.  

Kärnan kan köras på ett antal Arm11-kort från bland annat Kyoto Microcomputer och på x86-hårdvara. I det senare fallet kan OKL4 Verified köras som sitt eget operativsystem, eller alternativt fungera som garanterat buggfri värd för en paravirtualiserad Linux. Det sistnämnda betyder att Linux körs som ett ”program” inuti OKL4 Verified.
MER LÄSNING:
 
KOMMENTARER
Kommentarer via Disqus

Anne-Charlotte Lantz

Anne-Charlotte
Lantz

+46(0)734-171099 ac@etn.se
(sälj och marknads­föring)
Per Henricsson

Per
Henricsson
+46(0)734-171303 per@etn.se
(redaktion)

Jan Tångring

Jan
Tångring
+46(0)734-171309 jan@etn.se
(redaktion)