স্বপ্ন হাতিয়ার বিভিন্ন (রিয়েল টাইম, শক্তি খরচ, সম্পদ) সীমাবদ্ধতার প্রকাশ করতে পারেন, যা একটি সাধারণ শব্দার্থিক ডোমেইন প্রদান লক্ষ্য হল যে একটি জেনেরিক কাঠামো হয়.
শব্দার্থিক ডোমেইন শব্দার্থগতভাবে সংকর automata লৌকিকতা প্রভুভক্ত করা হয়েছে, যা একটি এক্সিকিউটেবল সি ++ মডেল আছে. গুনতি মডেল সংকর automata অনুরূপ যদিও, এখন পর্যন্ত আমরা মধ্যপন্থী আকার সিস্টেম সময়সীমা সমাপ্ত automata ব্যবহার রক্ষণশীল পড়তা দ্বারা মডেল বিশ্লেষণ সফল হয়েছে.
বড় মাপের উদাহরণ ব্যবহারকারীর মোকাবেলা করার জন্য সিস্টেম বাস্তবায়নের পূর্বে এক্সিকিউটেবল সি ++ মডেল সিমুলেশন / পরীক্ষার ইন্টারফেস ব্যবহার করার ক্ষমতা থাকবে. আমরা সমস্যার একটি বড় সংখ্যা সমাধানের জেনেটিক আলগোরিদিম প্রসারিত পরিকল্পনা.
স্বপ্ন দিনের চেয়ে কম আপনার সিস্টেমে একটি আনুষ্ঠানিক মডেল এবং বিশ্লেষণ প্রদান করে, যা একটি সিমুলেশন এবং যাচাই কাঠামো হয়. স্বপ্নে সিস্টেম একটি সহজবোধ্য ভাবে এক্সএমএল ব্যবহার উল্লেখ করা হয়. আশা করি এটি আপনার কাজে লাগবে.
রিয়েল টাইম মিডলওয়্যার (Dre) সিস্টেম এমবেডেড বিতরণ বাস্তব সময় মূল কার্যকরী এবং সেবা (QoS) এর কোয়ালিটি চাহিদা সমর্থন নির্ভরযোগ্য ও কার্যকরী প্ল্যাটফর্মের উপলব্ধ করা হয়.
Dre সিস্টেম উন্নয়ন কী চ্যালেঞ্জ নিরাপদ সিস্টেম উপাদান গঠন এবং লক্ষ্য প্ল্যাটফর্ম সম্মুখের কার্যকরী উল্লেখ ম্যাপিং অন্তর্ভুক্ত. মডেল-ভিত্তিক প্রযুক্তি নকশা-সময় বিশ্লেষণ সক্রিয় এবং শেষ টু শেষ QoS বৈশিষ্ট্য, ভবিষ্যদ্বাণীর এবং কর্মক্ষমতা ব্যবস্থা একটি নির্দিষ্ট প্ল্যাটফর্ম হবে commit আগে সম্মানের সঙ্গে নকশা বিকল্প দ্রুত পরীক্ষা নিরীক্ষার জন্য অর্থ প্রদান করে এই সমস্যা মোকাবেলার সাহায্য.
বিশ্লেষণ পদ্ধতি স্বপ্ন ছবি বন্টিত রিয়েল টাইম (Dre) সিস্টেম এমবেডেড বিতরণ বাস্তব সময় বৈশিষ্ট্য সার্ভিস (QoS) একাধিক মানের optimizing জন্য একটি ওপেন সোর্স টুল এবং পদ্ধতি. প্রকল্প মিডলওয়্যার ভিত্তিক Dre সিস্টেম যাচাই, উন্নয়ন, কনফিগারেশন, এবং ইন্টিগ্রেশন স্বয়ংক্রিয় রিয়েল টাইমে মিডলওয়্যার আনুষ্ঠানিক বিশ্লেষণ পদ্ধতির ব্যবহারিক প্রয়োগ উপর দৃষ্টি নিবদ্ধ করে.
বর্তমান রিলিজের মধ্যে নতুন কী:
· এই সংস্করণ অন্তত 2-3 বার চিত্তাকর্ষক কর্মক্ষমতা লাভ ফলে উন্নত মডেল পরীক্ষণ কর্ম সঞ্চালনের জন্য বিভিন্ন অপ্টিমাইজেশন বাস্তবায়িত.
· বর্তমান রিলিজে উপস্থিত কোন পরিচিত মেমরি তথ্য ফাঁসের আছে.
· সুষম AVL গাছ এখন মডেল পরীক্ষণ পদ্ধতি বিভিন্ন পদক্ষেপে সূচক speedups ফলে ব্যবহার করা হয়.
· XML স্কিমা বৈধতা প্রয়োগ করা হয়.
· যাচাই সময় প্রতিবেদনের সিমুলেশন গতি উপর তথ্য অন্তর্ভুক্ত করা উন্নীত করা হয়.
· এলোমেলো সিমুলেশন-ভিত্তিক টেস্টিং এখন একটি নির্দিষ্ট সময়সীমা মিস যখন একটি মৃত্যুদন্ড ট্রেস উপলব্ধ করা হয়.
পাওয়া মন্তব্যসমূহ না