Compania Google a prezentat o solu\u021bie hardware \u0219i software Open Se Cura, concentrat\u0103 pe simplificarea cre\u0103rii de cipuri securizate, destinate s\u0103 rezolve probleme legate de \u00eenv\u0103\u021barea automat\u0103 \u0219i inteligen\u021ba artificial\u0103. Proiectul include un sistem de operare CantripOS \u0219i hardware bazat pe platforma OpenTitan \u0219i un nucleu de procesor pe baz\u0103 de arhitectur\u0103 RISC-V. \u00cen timpul dezvolt\u0103rii, Open Se Cura \u0219i CantripOS au fost cunoscute sub numele de Sparrow \u0219i KataOS, dar pentru a evita suprapunerile cu alte proiecte, produsele finale au fost redenumite. Inova\u021biile proiectului, inclusiv codurile surs\u0103 ale serviciilor sistemului \u0219i schemele RTL (Register Transfer Level), sunt distribuite sub licen\u021ba Apache 2.0. <\/p>\n
Sistemul de operare CantripOS se bazeaz\u0103 pe un micro-nucleu seL4, pe care ruleaz\u0103 un mediu sistemic scris \u00een limbajul Rust. Pe sistemele RISC-V, micro-nucleul seL4 beneficiaz\u0103 de o dovad\u0103 matematic\u0103 a fiabilit\u0103\u021bii, care demonstreaz\u0103 conformitatea total\u0103 a codului cu specifica\u021biile stabilite \u00eentr-un limbaj formal. Arhitectura seL4 se remarc\u0103 prin separarea unor componente pentru gestionarea resurselor nucleului \u00een spa\u021biul utilizatorului \u0219i prin utilizarea acelora\u0219i mijloace de restric\u021bionare a accesului pentru aceste resurse ca \u0219i pentru resursele utilizatorului. <\/p>\n
Micro-nucleul nu ofer\u0103 abtractiz\u0103ri de \u00eenalt nivel gata f\u0103cute pentru gestionarea fi\u0219ierelor, proceselor, conexiunilor de re\u021bea etc., ci furnizeaz\u0103 doar mecanisme minime pentru gestionarea accesului la spa\u021biul de adresare fizic, \u00eentreruperi \u0219i resursele procesorului. Abstrac\u021biile de \u00eenalt nivel \u0219i driverele pentru interac\u021biunea cu hardware-ul sunt implementate separat, deasupra micro-nucleului, sub form\u0103 de sarcini care ruleaz\u0103 la nivelul utilizatorului. Accesul acestor sarcini la resursele disponibile ale micro-nucleului este organizat prin definirea regulilor. <\/p>\n
Toate componentele sistemului de operare, cu excep\u021bia micro-nucleului, sunt ini\u021bial scrise \u00een limbajul Rust folosind tehnici de programare sigure, care minimizeaz\u0103 erorile \u00een gestionarea memoriei. Printre altele, \u00een Rust sunt scrise \u00eenc\u0103rc\u0103torul de aplica\u021bii \u00een mediu seL4, serviciile de sistem, cadrul pentru dezvoltarea aplica\u021biilor, API-ul pentru acces la apelurile de sistem, managerul de procese \u0219i mecanismul de alocare dinamic\u0103 a memoriei. <\/p>\n
Pentru montajul verificat este folosit instrumentarul CAmkES, dezvoltat de proiectul seL4. Pentru dezvoltarea aplica\u021biilor finale care pot fi \u00eenc\u0103rcate dinamic de serviciile de sistem, este sugerat s\u0103 folosi\u021bi SDK AmbiML, iar pentru executarea modelor de \u00eenv\u0103\u021bare automat\u0103, instrumentarul IREE (Intermediate Representation Execution Environment). Componentele scrise \u00een Rust \u0219i serviciile de sistem sunt dezvoltate folosind cadrele Cantrip. <\/p>\n
Printre domeniile de aplicare ale platformei se num\u0103r\u0103 cipuri specializate, care necesit\u0103 un nivel special de protec\u021bie \u0219i confirmare a absen\u021bei erorilor. De exemplu, platforma poate fi utilizat\u0103 \u00een produse de \u00eenv\u0103\u021bare automat\u0103 legate de procesarea informa\u021biilor confiden\u021biale, cum ar fi sistemele de recunoa\u0219tere a persoanelor \u0219i procesarea \u00eenregistr\u0103rilor vocale. Combinarea unui nucleu de sistem de operare logic verificat cu componente hardware de \u00eencredere (RoT, Root of Trust) garanteaz\u0103 c\u0103, \u00een cazul unei erori \u00eentr-o parte a sistemului, aceasta nu se va r\u0103sp\u00e2ndi la restul sistemului \u0219i, \u00een special, la nucleu \u0219i p\u0103r\u021bi critice. <\/p>\n