Linux e Rust nello Spazio! Il satellite Cinese Tianyi-33 è stato lanciato dal Centro spaziale di Jiuquan

Il 9 dicembre alle 7:39, ora di Pechino, il satellite Tianyi-33, parte del progetto Tiansuan, è stato lanciato dal Jiuquan Satellite Launch Center in Cina. Il satellite è un apparato scientifico sperimentale del peso di 50 kg. È dotato di un computer di bordo che esegue una versione modificata del kernel Linux, integrata con componenti per il funzionamento in tempo reale. 

I componenti sono scritti nel linguaggio di programmazione Rust utilizzando le astrazioni e i livelli forniti dal sottosistema Rust per Linux. Il sistema operativo del satellite include un doppio kernel RROS. Tale sistema combina un kernel Linux e un kernel RROS scritto in Rust per attività che richiedono una stretta aderenza al tempo reale. 

RROS è un sistema operativo dual-kernel per satelliti o altri scenari che richiedono funzionalità sia in tempo reale che generiche. RROS = RTOS (Rust) + Linux (C). Il codice del kernel RROS è disponibile pubblicamente e distribuito sotto la licenza GPLv2.

Il kernel RROS è compatibile con la maggior parte delle applicazioni Linux tradizionali. Offre anche funzionalità in tempo reale superiori a RT-Linux. Generalmente viene utilizzato in sistemi mission-critical come computer satellitari di bordo e di back-office, sistemi industriali e automobilistici. 

Il kernel Linux, basato sulla versione 5.13, viene utilizzato per eseguire attività standard come la compressione dei dati e l’elaborazione di modelli di machine learning. RROS viene utilizzato per eseguire attività specializzate con tempi di risposta garantiti, come posizionamento spaziale, raccolta dati scientifica e comunicazione.

Il kernel RROS è compatibile anche con l’API real-time fornita dalla libreria libevl e utilizza l’architettura dual-kernel proposta dal progetto Xenomai/EVL. 

Il kernel RROS include un task scheduler separato, meccanismi di sincronizzazione, proprie implementazioni di thread e processi. Dispone di un livello di traduzione degli indirizzi, un sottosistema di gestione della memoria, una cache e uno stack di rete. Lo sviluppo è stato portato avanti da un gruppo di ricerca dell’Università delle Poste e delle Telecomunicazioni di Pechino.

Ti è piaciuto questo articolo? Ne stiamo discutendo nella nostra Community su LinkedIn, Facebook e Instagram. Seguici anche su Google News, per ricevere aggiornamenti quotidiani sulla sicurezza informatica o Scrivici se desideri segnalarci notizie, approfondimenti o contributi da pubblicare.

Redazione

La Redazione di Red Hot Cyber fornisce aggiornamenti quotidiani su bug, data breach e minacce globali. Ogni contenuto è validato dalla nostra community di esperti come Pietro Melillo, Massimiliano Brolli, Sandro Sana, Olivia Terragni e Stefano Gazzella. Grazie alla sinergia con i nostri Partner leader nel settore (tra cui Accenture, CrowdStrike, Trend Micro e Fortinet), trasformiamo la complessità tecnica in consapevolezza collettiva, garantendo un'informazione accurata basata sull'analisi di fonti primarie e su una rigorosa peer-review tecnica.