ارائه مدلی برپایهی شبکههای پتری جهت ارزیابی مدیریت منابع در زمانبندی سیستمهای بلادرنگ

سال انتشار: 1393
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 839

فایل این مقاله در 12 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

RDERI02_034

تاریخ نمایه سازی: 11 اردیبهشت 1394

چکیده مقاله:

در علم کامپیوتر، محاسبات بلادرنگ موضوعی از سیستمهای سخت افزار و نرم افزار است که در رابطه با قید زمانی است . مثل پاسخگویی به حوادثی که ناشی از حساسیتهای زمانی هستند. در سالهای اخیر محاسبهگری به عنوان یک نظام رشد یابنده مهم مطرحشده است. سیستمعامل و به طور خاص زمانبند، شاید مهمترین مولفه یک سیستم بلادرنگ باشد. ابتدا در این پژوهش به بررسی انواع روشها و ابزارهای متداول شبیهسازی و مدلسازی زمانبندی سیستمهای بلادرنگ در جهت تحلیل و ارزیابی این سیستمها میپردازیم. ابزارهای شبیهساز با استفاده از زبانهای برنامه نویسی محیطی جهت تحلیل و ارزیابی زمان در سیستمهای بلادرنگ فراهم می کنند کهمعمولا بسیاری از این ابزارها همهی نیازهای یک سیستم را پشتیبانی نمیکنند و گاهی اوقات برخی از آنها برای استفاده های خاصتولید میشوند بنابراین با توجه به اهمیت این نوع سیستمها نیاز به یک ابزار دقیق با پایهی منطقی قوی احساس می شود که شبکه های پتری با توجه به دارا بودن پایهی ریاضی قوی میتواند یک انتخاب بهینه باشد. در بسیاری از رشتهها نمیتوان مطالعه مستقیم انجام داد،همچنین کار بر روی تحلیل برخی از سیستمها مانند سیستمهای بلادرنگ متضمن زمان و انرژی زیادی می باشد و بهتر است که اینموارد از طریق یک مدل بررسی گردد، مدل انتخاب شده در این پژوهش شبکه های پتری می باشد .درانتها براساس دسته بندی که پیشنهاد کردهایم، مدلی از شبکههای پتری را ارائه میکنیم که براساس آن مدل خود را ارزیابی میکنیم و سپس مدل پیشنهادی خود را براساس یک مطالعه موردی (پرتاب موشک) به بررسی آن خواهیم پرداخت.

نویسندگان

محمد خورشیدیان

دانشجوی مقطع کارشناسی ارشد، دانشگاه آزاد اسلامی واحد بابل، ایران

همایون موتمنی

عضو هیئت علمی، دانشگاه آزاد اسلامی واحد ساری، ایران

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • Geoffrey Nelissen, Efficient Optimal Multiprocessor Scheduling Algorithms for Real-Time Systems, ...
  • Mohammad Abdollahi Azgomi, Reza Ent ezari-Maleki "Task scheduling modelling and ...
  • Prof T ei -Wei Kuo, National Taiwan University, " introduction ...
  • Martin Naedele _ "Petri net Models for single Processor Real- ...
  • Rashmi S harma, Nitin"T ask Migration with EDF-RM Scheduling Algorithms ...
  • Prem S indhi, Ravindra K.Gupta, " Enhancement in LLF Real ...
  • K. Jensen, _ Brief Introduction to Colouerd Petr nets", proceedings ...
  • نمایش کامل مراجع