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

Question

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

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

Держу пари, что нет из-за GC и динамических функций, но я подумал, что все равно задам этот вопрос толпе.Ваше здоровье.

Answer 1

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

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

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

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

Answer 2

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

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

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