Certificato Lua per uso su una cellula o veicolo stradale?

Question

Qualcuno sa se Lua è stata certificata per funzionare su una cellula o su un veicolo stradale? Processi di certificazione come DO178B (RTCA) o standardizzazione come ISO 26262 (veicoli stradali).

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

Scommetto di no perché di GC e caratteristiche dinamiche, ma ho pensato di gettare la questione alla folla in ogni caso. Saluti.

Answer 1

DO178 Livello D sarebbe dubbio e maggiore sarebbe impossibile. La Lua VM utilizza molta allocazione dinamica della memoria. Per il livello A è necessario mostrare la tracciabilità del codice oggetto alla fonte. Non ti vedo farlo a Lua.

Inoltre non esistono strumenti già pronti per tutto ciò che serve. Fare tutto da solo non è davvero un'opzione una volta realizzato tutto il lavoro richiesto al livello C o superiore. L'utilizzo di strumenti riconosciuti con pacchetti di certificazione pronti rende molto più semplice. C'è qualche strumento di dichiarazione e di copertura delle filiali per Lua? Questo strumento è qualificato?

Come hai detto, la certificazione è come la giurisprudenza e le autorità conoscono C e non metteranno in dubbio nulla se usi C. Non appena usi qualcos'altro, ti stai aprendo per ogni tipo di domanda sull'interpretazione e l'implementazione.

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

Answer 2

Non è esattamente quello che hai chiesto, ma this può dare un'idea di cosa 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 era non di avere una lingua con allocazione dinamica eseguita all'interno del veicolo! OCaml doveva essere qualificato come 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".