এটি autoCode4 নামের লিনাক্স অ্যাপ যার সর্বশেষ প্রকাশটি autoCode4_v1.0.0.zip হিসাবে ডাউনলোড করা যেতে পারে। এটি ওয়ার্কস্টেশনের জন্য বিনামূল্যের হোস্টিং প্রদানকারী OnWorks-এ অনলাইনে চালানো যেতে পারে।
বিনামূল্যের OnWorks-এর সাথে autoCode4 নামের এই অ্যাপটি অনলাইনে ডাউনলোড করুন এবং চালান।
এই অ্যাপটি চালানোর জন্য এই নির্দেশাবলী অনুসরণ করুন:
- 1. আপনার পিসিতে এই অ্যাপ্লিকেশনটি ডাউনলোড করুন৷
- 2. আমাদের ফাইল ম্যানেজারে প্রবেশ করুন https://www.onworks.net/myfiles.php?username=XXXXX আপনি যে ইউজারনেম চান।
- 3. এই ধরনের ফাইল ম্যানেজারে এই অ্যাপ্লিকেশনটি আপলোড করুন।
- 4. এই ওয়েবসাইট থেকে OnWorks Linux অনলাইন বা Windows অনলাইন এমুলেটর বা MACOS অনলাইন এমুলেটর শুরু করুন।
- 5. OnWorks Linux OS থেকে আপনি এইমাত্র শুরু করেছেন, আমাদের ফাইল ম্যানেজারে যান https://www.onworks.net/myfiles.php?username=XXXXX আপনার পছন্দের ব্যবহারকারীর নাম সহ।
- 6. অ্যাপ্লিকেশনটি ডাউনলোড করুন, এটি ইনস্টল করুন এবং এটি চালান।
স্ক্রীনশটগুলি
Ad
স্বয়ংক্রিয় কোড4
বর্ণনাঃ
autoCode4 হল একটি ইঞ্জিন যা লিনিয়ার টেম্পোরাল লজিকের (LTL) একটি উপসেটের অধীনে বর্ণিত আনুষ্ঠানিক স্পেসিফিকেশন থেকে কন্ট্রোলারকে সংশ্লেষ করে।গুরুত্বপূর্ণভাবে, এটি সিঙ্ক্রোনাস ডেটাফ্লো কন্ট্রোলারকে সংশ্লেষিত করে (লুস্টার বা টলেমি II ফর্মে) এবং প্রয়োজন থেকে কোড ট্রেসেবিলিটি বজায় রাখে। এই ধরনের বৈশিষ্ট্য নিরাপত্তা-সমালোচনামূলক সিস্টেমের বিকাশের জন্য বাধ্যতামূলক এবং স্পেসিফিকেশন যাচাইকরণ বা লিগ্যাসি কোডের মতো ম্যানুয়াল বাস্তবায়নকে একীভূত করার জন্য অপরিহার্য বলে মনে করা হয়।
LTL স্পেসিফিকেশন একটি নিয়ামকের পছন্দসই আচরণ ক্যাপচার করে যেখানে পরিবেশ প্রথম পদক্ষেপ নেয় (যেমন, অনুভূতি/ইনপুট তারপর প্রতিক্রিয়া/আউটপুট), তাই সংশ্লেষিত নিয়ামকটিকে একটি মেলি মেশিন হিসাবে দেখা যেতে পারে।
সফ্টওয়্যার প্যাকেজের মধ্যে একটি ধাপে ধাপে টিউটোরিয়াল উপলব্ধ।
বৈশিষ্ট্য
- আনুষ্ঠানিক স্পেসিফিকেশন থেকে সংশ্লেষণ নিয়ন্ত্রণ করুন
- প্রয়োজন থেকে মডিউল ট্রেসেবিলিটি রিপোর্ট তৈরি করুন
পাঠকবর্গ
মহাকাশ, তথ্য প্রযুক্তি, বিজ্ঞান/গবেষণা, উৎপাদন, বিকাশকারী
ব্যবহারকারী ইন্টারফেস
কনসোল/টার্মিনাল, কমান্ড-লাইন
প্রোগ্রামিং ভাষা
জাভা
এটি একটি অ্যাপ্লিকেশন যা https://sourceforge.net/projects/autocode4/ থেকেও আনা যেতে পারে। আমাদের বিনামূল্যের অপারেটিভ সিস্টেমগুলির মধ্যে একটি থেকে সবচেয়ে সহজ উপায়ে অনলাইনে চালানোর জন্য এটি OnWorks-এ হোস্ট করা হয়েছে।
