{"id":111367,"date":"2023-11-08T03:10:14","date_gmt":"2023-11-08T01:10:14","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/google-predstavil-proekt-open-se-cura-dlya-sozdaniya-zashhishhyonnyh-programmno-apparatnyh-sistem"},"modified":"2023-11-08T03:10:14","modified_gmt":"2023-11-08T01:10:14","slug":"google-predstavil-proekt-open-se-cura-dlya-sozdaniya-zashhishhyonnyh-programmno-apparatnyh-sistem","status":"publish","type":"post","link":"https:\/\/prohoster.info\/it\/blog\/novosti-interneta\/google-predstavil-proekt-open-se-cura-dlya-sozdaniya-zashhishhyonnyh-programmno-apparatnyh-sistem","title":{"rendered":"Google ha presentato il progetto Open Se Cura per la creazione di sistemi hardware e software protetti","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Google ha presentato il sistema software e hardware Open Se Cura, progettato per semplificare la creazione di chip sicuri, destinati a compiti legati al machine learning e all'intelligenza artificiale. Il progetto comprende un sistema operativo chiamato CantripOS e hardware basato sulla piattaforma OpenTitan e una core CPU basata sull'architettura RISC-V. Durante lo sviluppo, Open Se Cura e CantripOS sono stati inizialmente conosciuti come Sparrow e KataOS, ma per evitare sovrapposizioni con altri progetti, i prodotti finali sono stati rinominati. I risultati del progetto, inclusi i codici sorgente dei servizi di sistema e gli schemi RTL (Register Transfer Level), vengono distribuiti sotto la licenza Apache 2.0. <\/p>\n
Il sistema operativo CantripOS si basa su un microkernel seL4, sopra il quale viene eseguito l'ambiente di sistema, scritto in linguaggio Rust. Per i sistemi RISC-V, \u00e8 fornita una dimostrazione formale della correttezza del microkernel seL4, che attesta la completa conformit\u00e0 del codice alle specifiche definite in linguaggio formale. L'architettura seL4 \u00e8 notevole per l'estrazione delle parti per la gestione delle risorse del kernel nello spazio utente, utilizzando gli stessi meccanismi di isolamento applicati alle risorse utente. <\/p>\n
Il microkernel non fornisce astrazioni ad alto livello pronte all'uso per la gestione di file, processi, connessioni di rete, ecc. Invece, offre solo meccanismi minimi per gestire l'accesso allo spazio indirizzi fisico, alle interruzioni e alle risorse della CPU. Le astrazioni di alto livello e i driver per l'interazione con l'hardware sono implementati separatamente sopra il microkernel sotto forma di task eseguiti a livello utente. L'accesso di tali task alle risorse disponibili del microkernel \u00e8 organizzato attraverso la definizione di regole. <\/p>\n
Tutti i componenti del sistema operativo, ad eccezione del microkernel, sono stati inizialmente scritti in Rust utilizzando tecniche di programmazione sicure che riducono al minimo gli errori nella gestione della memoria. In Rust, tra l'altro, sono scritti il caricatore delle applicazioni nell'ambiente seL4, i servizi di sistema, il framework per lo sviluppo delle applicazioni, l'API per l'accesso alle chiamate di sistema, il gestore dei processi e il meccanismo di allocazione dinamica della memoria. <\/p>\n
Per la build verificata \u00e8 stato utilizzato lo strumento CAmkES, sviluppato dal progetto seL4. Per lo sviluppo di applicazioni finali che possono essere caricate dinamicamente dai servizi di sistema, si consiglia di utilizzare il SDK AmbiML, mentre per l'esecuzione di modelli di apprendimento automatico il toolkit IREE (Intermediate Representation Execution Environment). I componenti in Rust e i servizi di sistema sono stati sviluppati utilizzando i framework Cantrip. <\/p>\n
Tra i settori di applicazione della piattaforma si citano i chip specializzati che necessitano di un livello particolare di protezione e di conferma dell'assenza di guasti. Ad esempio, la piattaforma pu\u00f2 essere utilizzata in prodotti di machine learning che trattano informazioni riservate, come sistemi di riconoscimento facciale e di elaborazione di registrazioni vocali. La combinazione di un kernel del sistema operativo logicamente verificato con componenti hardware di fiducia (RoT, Root of Trust) garantisce che, in caso di guasto in una parte del sistema, tale guasto non si propaghi al resto del sistema, in particolare al kernel e alle parti critiche. <\/p>\n
Oltre a Google, nello sviluppo degli strumenti e degli elementi infrastrutturali hanno partecipato l'organizzazione no-profit lowRISC, che supervisiona lo sviluppo di un microprocessore open source basato sull'architettura RISC-V, nonch\u00e9 le aziende Antmicro e VeriSilicon. Il processore sviluppato dall'organizzazione lowRISC \u00e8 stato utilizzato come nucleo per la costruzione di componenti hardware affidabili (RoT, Root of Trust). L'azienda Antmicro ha fornito al progetto il simulatore Renode, che consente di testare CantripOS e il microkernel seL4 senza hardware reale. L'azienda VeriSilicon ha condiviso la sua esperienza nella creazione di chip e nello sviluppo di BSP (Board Support Package). \n Fonte: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"