زمانبندی با مدل پتری نت
محل انتشار: اولین کنفرانس ملی محاسبات نرم و فن آوری اطلاعات
سال انتشار: 1389
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 4,258
فایل این مقاله در 7 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
NCSCIT01_089
تاریخ نمایه سازی: 19 بهمن 1390
چکیده مقاله:
خطا در توصیف ، طراحی و پیاده سازی می تواند موجب نقض سیاست های زمانبندی و ترتیب اجرای مورد نظر شود.یک رویکرد برای اطمینان از درستی ترتیب برنامه ها این است که زمانبندی اجرای برنامه ها را پایش کنیم .به این منظور ، ما در این مقاله رویکردی را برای توصیف و طراحی پایشگر حسن زمانبندی گراف کارها ارائه می دهیم.زمانبندی که هسته پایشگر را تشکیل می دهد با استفاده از روش رسمی شبکه های پتری توصیف و طراحی آنها را با استفاده از روش جدولی SCR انجام می دهیم و در این مقاله از رطاحی صرف نظر کرده و بر روی روش پتری تمرکز می کنیم.برای نشان دادن عملی بودن این رویکرد ، آنرا برای توصیف پایشگر رفتار پردازنده در شبکه کار پردازنده به کار می بریم.
کلیدواژه ها:
نویسندگان
مرجان عبدیزدان
هیئت علمی گروه کامپیوتر ، دانشگاه آزاد اسلامی واحد ماهشهر
پوریا دانش پور
دانشجوی کارشناسی گروه کامپیوتر ، دانشگاه آزاد اسلامی واحد ماهشهر
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :