Mikrojaot seL4 on matemaatiliselt kinnitatud RISC-V arhitektuurile
RISC-V Foundation teatas, et mikro kernel seL4 on verifitseeritud RISC-V architektuuri süsteemides. Verifitseerimine on matemaatiline tõestus seL4 usaldusväärsuse kohta, mis kinnitab selle vastavust formaalse keele spetsifikatsioonidele. Usaldusväärsuse tõestamine võimaldab seL4 kasutamist kriitiliselt olulistes süsteemides, mis põhinevad RISC-V RV64 protsessoritel, nõudes kõrgemat usaldusväärsuse taset ja tagades puudumise […]
