A seL4 mikrokernel matematikailag verifikált RISC-V architektúrához
A RISC-V Foundation bejelentette a seL4 mikrokernel RISC-V architektúrájú rendszereken történő hitelesítését. A hitelesítés matematikai bizonyítékot jelent a seL4 megbízhatóságára, amely biztosítja a formális nyelven megfogalmazott specifikációknak való teljes megfelelést. A megbízhatóságról szóló bizonyítvány lehetővé teszi a seL4 használatát RISC-V RV64 alapú kritikus rendszerekben, amelyek magasabb megbízhatósági szintet igényelnek és garantálják a […]
