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

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

کلیدواژه ها:

سیستمهای بلادرنگ ، زمانبندی ، شبکههای پتری ، الگوریتمهای زمانبندی