هذا هو تطبيق Linux المسمى autoCode4 والذي يمكن تنزيل أحدث إصدار له كـ autoCode4_v1.0.0.zip. يمكن تشغيله عبر الإنترنت في مزود الاستضافة المجاني OnWorks لمحطات العمل.
قم بتنزيل وتشغيل هذا التطبيق المسمى autoCode4 مع OnWorks عبر الإنترنت مجانًا.
اتبع هذه التعليمات لتشغيل هذا التطبيق:
- 1. قم بتنزيل هذا التطبيق على جهاز الكمبيوتر الخاص بك.
- 2. أدخل في مدير الملفات الخاص بنا https://www.onworks.net/myfiles.php؟username=XXXXX باسم المستخدم الذي تريده.
- 3. تحميل هذا التطبيق في هذا الملف.
- 4. ابدأ تشغيل OnWorks Linux عبر الإنترنت أو محاكي Windows عبر الإنترنت أو محاكي MACOS عبر الإنترنت من هذا الموقع.
- 5. من نظام تشغيل OnWorks Linux الذي بدأته للتو ، انتقل إلى مدير الملفات الخاص بنا https://www.onworks.net/myfiles.php؟username=XXXXX مع اسم المستخدم الذي تريده.
- 6. قم بتنزيل التطبيق وتثبيته وتشغيله.
SCREENSHOTS
Ad
الكود التلقائي 4
الوصف
autoCode4 هو محرك يقوم بتوليف وحدات التحكم من المواصفات الرسمية الموضحة ضمن مجموعة فرعية من المنطق الزمني الخطي (LTL).الأهم من ذلك ، أنه يصنع وحدات تحكم تدفق البيانات المتزامنة (في شكل Luster أو في شكل Ptolemy II) ويحافظ على إمكانية تتبع المتطلبات إلى التعليمات البرمجية. هذه الميزة مطلوبة في تطوير أنظمة السلامة الحرجة وتعتبر ضرورية للتحقق من صحة المواصفات أو دمج التنفيذ اليدوي مثل الكود القديم.
تلتقط مواصفات LTL السلوك المطلوب لوحدة التحكم حيث تأخذ البيئة الخطوة الأولى (على سبيل المثال ، الإحساس / الإدخال ثم التفاعل / الإخراج) ، لذلك يمكن اعتبار وحدة التحكم المركبة كآلة صغيرة.
يتوفر برنامج تعليمي خطوة بخطوة داخل حزمة البرنامج.
المميزات
- توليف التحكم من المواصفات الرسمية
- إنتاج تقرير التتبع من متطلبات إلى وحدة
الجمهور
الفضاء ، تكنولوجيا المعلومات ، العلوم / البحث ، التصنيع ، المطورين
واجهة المستخدم
وحدة التحكم / المحطة الطرفية ، سطر الأوامر
لغة البرمجة
جافا
هذا تطبيق يمكن جلبه أيضًا من https://sourceforge.net/projects/autocode4/. تمت استضافته في OnWorks ليتم تشغيله عبر الإنترنت بأسهل طريقة من أحد أنظمتنا التشغيلية المجانية.