معتمدة من Lua للاستخدام على هيكل الطائرة أو مركبة الطريق؟

Question

هل يعرف أحد ما إذا كانت Lua قد حصلت على ترخيص للعمل على هيكل طائرة أو مركبة على الطريق؟عمليات إصدار الشهادات مثل DO178B (RTCA) أو التقييس مثل ISO 26262 (مركبات الطرق).

تشبه الشهادة السوابق القضائية وسأشعر بثقة أكبر في تقييم اللغة مع العلم أن شركة أخرى قد نجحت في ذلك من خلال العملية.

أراهن لا بسبب GC والميزات الديناميكية، لكنني اعتقدت أنني سأطرح السؤال على الجمهور على أي حال.هتافات.

Answer 1

DO178 المستوى D سيكون مشكوكًا فيه وسيكون المستوى الأعلى مستحيلًا.يستخدم Lua VM الكثير من تخصيص الذاكرة الديناميكية.بالنسبة للمستوى A، فأنت بحاجة إلى إظهار إمكانية تتبع التعليمات البرمجية من المصدر إلى الكائن.أنا لا أراك تفعل ذلك في لوا.

كما لا توجد أدوات جاهزة لكل ما تحتاجه.إن القيام بكل شيء بنفسك ليس خيارًا حقًا بمجرد أن تدرك كل العمل المطلوب في المستوى C أو أعلى.إن استخدام الأدوات المعترف بها مع حزم الشهادات الجاهزة يجعل الأمر أسهل كثيرًا.هل هناك أي أدوات لتغطية كشف الحساب والفروع لـ Lua؟هل هذه الأداة مؤهلة؟

كما قلت، فإن الشهادة تشبه السوابق القضائية والسلطات تعرف لغة C ولن تشكك في أي شيء إذا كنت تستخدم لغة C.بمجرد استخدام أي شيء آخر، فإنك تفتح نفسك لجميع أنواع الأسئلة حول التفسير والتنفيذ.

أرغب في استخدام روبي على متن طائرة ولكني أعلم أن ذلك لن يحدث.

Answer 2

ليس بالضبط ما طلبته، ولكن هذا يمكن أن يعطيك فكرة عما يمكن توقعه:بررت Esterel Technologies استخدام OCaml لأحدث إصدار من Scade، وهو منشئ الأكواد المستخدم في البيئات المعتمدة.

لاحظ أنه كان لا حول وجود لغة ذات تخصيص ديناميكي تعمل داخل السيارة!يجب أن يكون OCaml مؤهلاً كمولد الأكواد لمولد الأكواد!

إذا كان علي أن ألخص المقال في جملة واحدة، فسيكون "لقد كان هناك الكثير من العمل".