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

Question

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

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

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

Answer 1

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

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

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

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

Answer 2

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

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

Если бы мне пришлось подвести итог статьи в одном предложении, было бы «это была большая работа».