محمد خورشیدیان - دانشجوی مقطع کارشناسی ارشد، دانشگاه آزاد اسلامی واحد بابل، ایران.
همایون موتمنی - عضو هیئت علمی، دانشگاه آزاد اسلامی واحد ساری، ایران.

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

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