سمیرا بیات - کارشناسی ارشدمهندسی کامپیوتر
سمیه بیات - دانشجو
عاطفه سادات حسینی - کارشناسی ارشدمهندسی کامپیوتر

تخصیص بهینه و بلادرنگ کارها یکی ازچالشهای مهم درشبکه های حسگر/عامل بیسیم می باشد بااین حال مکانیزم و معماری های موجود برای شبکه های حسگر/عامل بیسیم ازعدم تخصیص بهینه کارها درزمان واقعی رنج می برند و به دلیلاینکه این شبکه ها بلادرنگ هستند چنانچه درمدت زمان واقعی پاسخ داده نشوند miss رخ میدهد و باتوجه به عدم امکان وارسی و صحت سنجی الگوریتم های موجود روشی کامل جهت صحت سنجی مدلهای موجود وجود نداشته هدف اصلی ما ارایه مدلی است که درآ« مدل ارایه شده براساس مدت زمان پاسخ گویی سنسورها اعتبارسنجی میشوند به نحوی که دارای بهینگی باشند که درآن کمترین تعداد miss رخ دهد و همچنین خصوصیات صحت سنجی را دارا باشد مدل پیشنهادی بابهره گیری ازنرم افزارUPPAAL که یک جعبه ابزاربرای صحت کارکردن یک سیستم مناسب درسیستم های زمان واقعی است اعتبارسنجی شده است ویژگی بارزمدل پیشنههادی مبتنی بودن آن برمدلی است که درآن زمان پاسخ دهی بهینه شود و همچنین درمدل پیشنهادی اعتبارسنجی براساس مدت زمان پاسخگویی اعمال شده است

اوپال، سیستم های بلادرنگ، شبکه حسگر/عامل بی سیم، صحت سنجی، ماشین های زماندار