Izlaidums Muen 1.0, atvērtā mikro kodola augsti uzticamu sistēmu izveidei
Pēc astoņu gadu izstrādes ir iznācis projekta Muen 1.0 izlaidums, kas attīsta separācijas kodolu (Separation kernel), kura avota kodā nav kļūdu, ko apstiprina formālās verifikācijas matemātiskās metodes. Kodols ir pieejams x86_64 arhitektūrai un var tikt izmantots kritiskās sistēmās, kurām nepieciešama paaugstināta uzticamība un garantija par kļūdu trūkumu. Projekta avota kods ir uzrakstīts […]
