Esistono sistemi operativi FOSS conformi agli standard di codifica JPL della NASA? [chiuso]

6

I, come molti altri , sono stati completamente innamorati del recente sbarco di successo del rover di Curiosity di Mar. Dopo aver letto un paio di articoli e seguito alcuni link, ho trovato un paio di standard di codifica basati su C che il JPL della NASA usa per formalizzare il loro codice e proteggerlo dall'errore. (Vedi qui e qui .)

Questo mi ha incuriosito. Sono disponibili sistemi operativi open source conformi a questi standard di codifica disponibili per l'architettura comune, come x86, x64 o forse ARM?

    
posta RLH 07.08.2012 - 22:34
fonte

1 risposta

2

Non conosco un sistema operativo sviluppato esplicitamente con le regole menzionate in mente ma secondo un comunicato stampa di Wind River VxWorks viene utilizzato come sistema operativo incorporato.

Il grande vantaggio di queste regole di codifica è che semplificano il processo di revisione del codice e formalizzano l'ambiente. Alcuni sistemi operativi come Linux hanno linee guida per lo stile di codifica, ma in genere coprono solo la sintassi e non hanno regole così rigide e probabilmente non sono rivisti come il codice della NASA.

Alcune regole sono rilevanti solo per i sistemi embedded come la memoria dinamica dopo l'inizializzazione, o possono causare problemi come la necessità di IPC invece dei puntatori di funzioni (questo è particolarmente vero per i sistemi operativi).

Un interessante sistema operativo open source è eCos in quanto è possibile configurare le parti del proprio sistema operativo, ad es. puoi scegliere in modo esplicito quali parti vuoi includere nel tuo sistema, compatibilità POSIX, socket BSD, stack TCP / IP ...

    
risposta data 08.08.2012 - 01:06
fonte