ابزار DREAM یک چارچوب کلی است که هدف از ارائه یک دامنه مشترک معنایی که می تواند چندین (زمان واقعی، مصرف برق، منابع) محدودیت بیان است.
دامنه معنایی دارد یک مدل اجرایی C ++ است که از لحاظ معنایی به فرمالیسم سیستم ترکیبی لنگر. اگر چه مدل محاسبه مربوط به سیستم ترکیبی، تا کنون ما در تجزیه و تحلیل مدل های تقریبی محافظه کار با استفاده از ماشین زمان بندی در سیستم های اندازه متوسط موفق بوده است.
برای مقابله با نمونه در مقیاس بزرگ به کاربر است که توانایی استفاده از رابط شبیه سازی / تست در ++ C مدل اجرایی قبل از اجرای سیستم. ما قصد داریم به گسترش الگوریتم ژنتیک برای حل تعداد زیادی از مشکلات.
DREAM یک چارچوب شبیه سازی و تایید فراهم می کند که یک مدل رسمی و تجزیه و تحلیل سیستم خود را در کمتر از یک روز است. سیستم در DREAM با استفاده از XML در راه سر راست مشخص شده است. من امیدوارم که شما پیدا کردن آن مفید است.
زمان واقعی میان سیستم عامل فراهم می کند قابل اعتماد و کارآمد حمایت از نیازهای کلیدی عملکرد و کیفیت خدمات (QoS) از توزیع زمان واقعی تعبیه شده سیستم (DRE).
چالش های کلیدی در توسعه سیستم DRE شامل ترکیب امن از اجزای سیستم و نقشه برداری مشخصات عملکردی بر روی پلت فرم هدف. فن آوری مبتنی بر مدل کمک این مسائل را با قادر ساختن تجزیه و تحلیل زمان طراحی و ارائه روشی برای ارزیابی سریع جایگزین طراحی با توجه به پایان به پایان خواص های QoS، قابل پیش بینی و اندازه گیری عملکرد قبل از ارتکاب به یک پلت فرم خاص.
زمان واقعی توزیع جاسازی شده تجزیه و تحلیل روش DREAM یک ابزار منبع باز و روش برای بهینه سازی کیفیت از چند سرویس (QoS) خواص توزیع زمان واقعی تعبیه شده سیستم (DRE) است. این پروژه در کاربرد عملی از روش های تجزیه و تحلیل رسمی به زمان واقعی میان به طور خودکار به تأیید، توسعه، پیکربندی و یکپارچه سازی سیستم های مبتنی بر DRE میان تمرکز دارد.
چه جدید در این نسخه:
· این نسخه اجرا چند بهینه سازی برای بهبود عملکرد چک کردن مدل، و در نتیجه دستاوردهای عملکرد چشمگیر حداقل 2-3 بار.
· هیچ نشت حافظه شناخته شده در حال حاضر در نسخه فعلی وجود دارد.
· درختان AVL متعادل در حال حاضر استفاده می شود، و در نتیجه speedups نمایی در چند مرحله از روش چک کردن مدل.
· اعتبار سنجی XML طرحواره اجرا شد.
· گزارش زمان تأیید شامل داده ها در سرعت های شبیه سازی به روز رسانی شد.
· تست بر اساس شبیه سازی تصادفی در حال حاضر ردیابی اعدام وقتی که یک مهلت است از دست رفته را فراهم می کند.
نظر یافت نشد