Domanda

Qualcuno sa se Lua è stato certificato per funzionare su un veicolo cellula o di strada? processi di certificazione, come DO178B (RTCA) o la standardizzazione come ISO 26262 (veicoli stradali).

La certificazione è come giurisprudenza e mi sentirei più sicuro valutare la lingua sapendo che un'altra azienda ha fatto con successo attraverso un processo.

Sono le scommesse non a causa di GC e caratteristiche dinamiche, ma ho pensato di gettare la questione alla folla in ogni caso. Cin cin.

È stato utile?

Soluzione

DO178 Livello D sarebbe dubbia e più alto sarebbe impossibile. La Lua VM utilizza un sacco di allocazione dinamica della memoria. Per Livello A è necessario mostrare fonte al codice oggetto tracciabilità. Io non ti vedo farlo in Lua.

Inoltre non ci sono strumenti già pronti per tutto ciò che serve. Fare tutto da soli, non è realmente un'opzione una volta ti rendi conto tutto il lavoro richiesto a livello C o superiore. Utilizzando strumenti riconosciuti con i pacchetti di certificazione pronti rende molto più facile. C'è qualche dichiarazione e gli strumenti di copertura diramazione per Lua? E 'questo strumento qualificato?

Come ha detto la certificazione è come la giurisprudenza e le autorità conoscono C e non ha intenzione di mettere in discussione tutto ciò se si utilizza C. Non appena si utilizza qualsiasi altra cosa si sta aprendo te stesso per tutti i tipi di domande circa l'interpretazione e l'attuazione.

Mi piacerebbe utilizzare Ruby on un aereo, ma so che non sta per accadere.

Altri suggerimenti

Non è esattamente quello che hai chiesto, ma questo può darvi un'idea di ciò che aspettarsi: Esterel Technologies giustificato l'uso di OCaml per l'ultima versione di Scade, che è un generatore di codice utilizzato in ambienti certificati.

Si noti che è stato non di avere una lingua con corsa allocazione dinamica all'interno del veicolo! OCaml doveva essere qualificato come il generatore di codice per il generatore di codice!

Se dovessi riassumere l'articolo in una sola frase, che sarebbe stato "è stato un sacco di lavoro".

Autorizzato sotto: CC-BY-SA insieme a attribuzione
Non affiliato a StackOverflow
scroll top