Lua сертифицирован для использования на планере или дорожном транспортном средстве?

Question

Кто-нибудь знает, сертифицирован ли Lua для полета на планере или дорожном транспортном средстве? Процессы сертификации, такие как DO178B (RTCA) или стандартизация, такие как ISO 26262 (Дорожные транспортные средства).

Сертификация подобна прецедентному праву, и я чувствовал бы себя более уверенно, оценивая язык, зная, что другая компания успешно прошла его через процесс.

Бьюсь об заклад, из-за GC и динамических функций, но я все равно решил отбросить вопрос. Приветствия.

Answer 1

DO178 Уровень D был бы сомнительным, а выше было бы невозможно. Lua VM использует много динамического выделения памяти. Для уровня A вам нужно показать отслеживаемость исходного кода. Я не вижу, что ты делаешь это в Луа.

Также нет готовых инструментов для всего, что вам нужно. Делать все самостоятельно - не вариант, если вы понимаете всю работу, требуемую на уровне C или выше. Использование признанных инструментов с готовыми пакетами сертификации делает это намного проще. Существуют ли какие-либо инструменты отчетности и покрытия для Lua? Квалифицирован ли этот инструмент?

Как вы сказали, сертификация подобна прецедентному праву, и власти знают C и не собираются ставить под сомнение что-либо, если вы используете C. Как только вы используете что-то еще, вы открываете себя для всевозможных вопросов об интерпретации и реализации.

Мне бы очень хотелось использовать Ruby на самолете, но я знаю, что этого не произойдет.

Answer 2

Не совсем то, что вы просили, но это может дать вам представление о том, чего ожидать: Esterel Technologies обосновала использование OCaml для последней версии Scade, которая является генератором кода, используемого в сертифицированных средах.

Обратите внимание, что речь шла о , а не о запуске языка с динамическим распределением внутри транспортного средства! OCaml должен был быть квалифицирован как генератор кода для генератора кода!

Если бы мне пришлось суммировать статью в одном предложении, это было бы "много работы".