2009-12-02 10 views
8

क्या किसी को पता है कि क्या लुआ को एयरफ्रेम या सड़क वाहन पर चलाने के लिए प्रमाणित किया गया है? प्रमाणन प्रक्रियाएं जैसे कि DO178B (आरटीसीए) या मानकीकरण जैसे आईएसओ 26262 (सड़क वाहन)।लुआ एयरफ्रेम या सड़क वाहन पर उपयोग के लिए प्रमाणित है?

प्रमाणीकरण केस कानून की तरह है और मुझे यह जानकर और अधिक आत्मविश्वास महसूस होगा कि एक और कंपनी ने इसे सफलतापूर्वक प्रक्रिया के माध्यम से बनाया है।

मैं जीसी और गतिशील विशेषताओं के कारण कोई शर्त नहीं लगा रहा हूं, लेकिन मैंने सोचा कि मैं भीड़ को सवाल भी फेंक दूंगा। चीयर्स।

+0

क्या आपने लुआ मेलिंग सूची पर पूछा था? http://www.lua.org/lua-l.html –

+0

मुझे डीओ 178 बी के साथ क्या छोटी भागीदारी मिली है, मुझे लगता है कि स्तर सी या बेहतर असंभव होगा। –

उत्तर

5

DO178 स्तर डी संदिग्ध होगा और उच्च असंभव होगा। लुआ वीएम बहुत गतिशील स्मृति आवंटन का उपयोग करता है। स्तर ए के लिए आपको कोड ट्रैबिलिटी ऑब्जेक्ट को स्रोत दिखाने की आवश्यकता है। मैं आपको लुआ में ऐसा नहीं देख रहा हूं।

इसके अलावा आपको जो कुछ भी चाहिए, उसके लिए कोई तैयार उपकरण नहीं है। एक बार जब आप स्तर सी या उच्चतर स्तर पर आवश्यक सभी कार्यों को महसूस करते हैं तो सब कुछ करना वास्तव में एक विकल्प नहीं है। तैयार प्रमाणीकरण पैक के साथ मान्यता प्राप्त उपकरणों का उपयोग करना इसे बहुत आसान बनाता है। क्या लुआ के लिए कोई बयान और शाखा कवरेज उपकरण है? क्या यह उपकरण योग्य है?

जैसा कि आपने कहा है कि प्रमाणीकरण केस कानून की तरह है और अधिकारियों को सी पता है और यदि आप सी का उपयोग करते हैं तो कुछ भी सवाल नहीं करेंगे। जैसे ही आप किसी और चीज का उपयोग करते हैं, आप व्याख्या और कार्यान्वयन के बारे में सभी प्रकार के प्रश्नों के लिए खुद को खोल रहे हैं।

मुझे रूबी को एक विमान पर उपयोग करना अच्छा लगेगा, लेकिन मुझे पता है कि यह होने वाला नहीं है।

+0

llvm-lua के बारे में क्या: http://code.google.com/p/llvm-lua/ –

+0

देशी एप्लिकेशन में क्या होता है इसके आधार पर स्तर डी संभव बना सकता है (मेरा अनुमान है कि इसमें अभी भी गतिशील आवंटन है) लेकिन उच्चतर होगा अभी भी बहुत सारी समस्याएं हैं। – Gerhard

1

वास्तव में क्या आप के लिए नहीं कहा है, लेकिन this आप क्या उम्मीद करने के लिए की एक विचार दे सकते हैं: Esterel टेक्नोलॉजीज Scade के नवीनतम संस्करण है, जो एक कोड प्रमाणित वातावरण में उपयोग जनरेटर है के लिए OCaml के उपयोग को सही ठहराया।

ध्यान दें कि वाहन के अंदर गतिशील आवंटन चलाने वाली भाषा रखने के बारे में नहीं था! कोड जनरेटर के लिए कोड जनरेटर के रूप में ओकैमल को योग्यता प्राप्त करनी थी!

अगर मुझे लेख को एक वाक्य में संक्षेप में सारांशित करना पड़ा, तो यह "यह बहुत काम था"।