यह autoCode4 नाम का एक लिनक्स ऐप है जिसका नवीनतम संस्करण autoCode4_v1.0.0.zip के रूप में डाउनलोड किया जा सकता है। इसे वर्कस्टेशन के लिए मुफ़्त होस्टिंग प्रदाता OnWorks पर ऑनलाइन चलाया जा सकता है।
ऑटोकोड4 नाम के इस ऐप को ऑनवर्क्स के साथ मुफ्त में डाउनलोड करें और ऑनलाइन चलाएं।
इस ऐप को चलाने के लिए इन निर्देशों का पालन करें:
- 1. इस एप्लिकेशन को अपने पीसी में डाउनलोड करें।
- 2. हमारे फ़ाइल प्रबंधक में https://www.onworks.net/myfiles.php?username=XXXXX उस उपयोगकर्ता नाम के साथ दर्ज करें जो आप चाहते हैं।
- 3. इस एप्लिकेशन को ऐसे फाइल मैनेजर में अपलोड करें।
- 4. इस वेबसाइट से ऑनवर्क्स लिनक्स ऑनलाइन या विंडोज ऑनलाइन एमुलेटर या मैकोज़ ऑनलाइन एमुलेटर शुरू करें।
- 5. ऑनवर्क्स लिनक्स ओएस से आपने अभी शुरुआत की है, हमारे फाइल मैनेजर को https://www.onworks.net/myfiles.php?username=XXXXX उस यूजरनेम के साथ जाएं जो आप चाहते हैं।
- 6. एप्लिकेशन डाउनलोड करें, इसे इंस्टॉल करें और इसे चलाएं।
स्क्रीनशॉट
Ad
ऑटोकोड4
वर्णन
autoCode4 एक इंजन है जो रैखिक अस्थायी तर्क (LTL) के सबसेट के तहत वर्णित औपचारिक विनिर्देशों से नियंत्रकों को संश्लेषित करता है।महत्वपूर्ण रूप से, यह सिंक्रोनस डेटाफ्लो कंट्रोलर (लस्टर में या टॉलेमी II फॉर्म में) को संश्लेषित करता है और आवश्यकता-से-कोड ट्रैसेबिलिटी को बनाए रखता है। इस तरह की सुविधा सुरक्षा-महत्वपूर्ण प्रणालियों को विकसित करने में अनिवार्य है और विनिर्देश सत्यापन या विरासत कोड जैसे मैन्युअल कार्यान्वयन को एकीकृत करने के लिए आवश्यक मानी जाती है।
एलटीएल विनिर्देश नियंत्रक के वांछित व्यवहार को कैप्चर करता है जहां पर्यावरण पहली चाल लेता है (यानी, इंद्रिय/इनपुट फिर प्रतिक्रिया/आउटपुट), इसलिए संश्लेषित नियंत्रक को मीली मशीन के रूप में देखा जा सकता है।
सॉफ़्टवेयर पैकेज में चरण-दर-चरण ट्यूटोरियल उपलब्ध है।
विशेषताएं
- औपचारिक विनिर्देश से नियंत्रण संश्लेषण
- आवश्यकता-से-मॉड्यूल ट्रैसेबिलिटी रिपोर्ट तैयार करें
दर्शक
एयरोस्पेस, सूचना प्रौद्योगिकी, विज्ञान/अनुसंधान, निर्माण, विकासकर्ता
यूजर इंटरफेस
कंसोल/टर्मिनल, कमांड-लाइन
प्रोग्रामिंग भाषा
जावा
यह एक ऐसा एप्लिकेशन है जिसे https://sourceforge.net/projects/autocode4/ से भी प्राप्त किया जा सकता है। इसे ऑनवर्क्स में होस्ट किया गया है ताकि इसे हमारे एक फ्री ऑपरेटिव सिस्टम से सबसे आसान तरीके से ऑनलाइन चलाया जा सके।
