T24: اعلام آمادگی برای ورود به مرحله بعد با یک سیستم ذخیره سازی و هر دو سیستم میزبان
T25: اعلام آمادگی برای ورود به مرحله بعد با تنها یک سیستم ذخیره سازی و یک میزبان
T26: تلاش برای رفع مشکل نرم افزاری در مولفه های ناکارا
T27: ایجاد ماشین های مجازی لازم بر روی ESXها و روشن کردن آنها
T28: ایجاد یک HA cluster و اجرا کردن سرویس HA بر روی تعدادی از VMها
T29: اعلام آمادگی سیستم برای ورود به مرحله بعد
T30: سرویس های سطح بالای دیگری مورد نیاز است.
T31: ایجاد یک جفت fault tolerance
T32: سرویس های سطح بالای دیگری مورد نیاز است.
T33: اعلام آمادگی سیستم برای ورود به مرحله بعد
T34: اعلام آمادگی سیستم برای ورود به مرحله بعد بدون امکان اجرای سرویس های سطح بالا. این حالت به دلیل در دسترس نبودن تعداد کافی مولفه های سخت افزاری بروز نموه است.
T35: ایجاد توازن و بهینگی در میزان منابع تخصیص یافته به ماشین های مجازی و سرویس ها و نیز رزرو کردن منابع لازم برای موارد خاص از جمله بروز مشکل در یکی از سیستم های میزبان و غیره. این کار توسط سرویس DRS صورت می گیرد.
T36: ESX درخواست ماشین های مجازی در حال اجرا را دریافت و به آنها سرویس می دهد.
T37: ارائه بازخورد سرویس دهی به سیستم
T38: پردازش داخلی سرویس FT برای انتقال کنترل از یک ماشین مجازی به جفت آن در شرایط بروز مشکل برای ماشین مجازی اول
T39: ارائه بازخورد سرویس دهی به سیستم
T40: طرح درخواست مهاجرت یک ماشین مجازی توسط مدیر سیستم. این درخواست توسط سرویس VMotion اجرا خواهد شد.
T41: پردازش داخلی سرویس VMotion برای انتقال یک ماشین مجازی از یک سیستم میزبان به میزبان دیگر
T42: ارائه بازخورد سرویس Motion به سیستم
T43: پردازش داخلی کلاستر HA
T44: ارائه بازخورد سرویس HA به سیستم
T45: هر دو دستگاه ذخیره سازی به درستی بوت شده اند و در عین حال، هر دو سیستم میزبان در این مرحله دچار مشکل شده اند.
T46: هر دو سیستم میزبان به درستی بوت شده اند و در عین حال، هر دو دستگاه ذخیره سازی در این مرحله دچار مشکل شده اند.
T47: تمام چهار مولفه اصلی سیستم در مرحله بوت دچار مشکل شده اند.
T48: مسئول رفع اشکال، موفق به برطرف کردن مشکل مولفه های نقص یافته می شود.
T49: مسئول موفق به رفع ایراد نمی شود.
T50: بارگزاری ماشین مجازی دچار اختلال می شود
T51: ایجاد کلاستر HA دچار اختلال شده و ناکام مانده است
T52: ایجاد جفت FT دچار اختلال شده و ناکام مانده است
T53: بروز اختلال در سرویس دهی ESX به ماشین های مجازی
T54: بروز اختلال در سرویس FT
T55: بروز اختلال در سرویس VMotion
T56: بروز اختلال در سرویس HA
T57: ارسال بازخورد در مورد عدم موفقیت در ایرادیابی فیزیکی و بازگشت به وضعیت اولیه
T58: رفع اشکال در بارگزاری ماشین مجازی
T59: رفع اشکال در ایجاد کلاستر HA
T60: رفع اشکال در ایجاد جفت FT
T61: برطرف کردن اشکال در روند سرویس دهی ESX
T62: برطرف کردن اشکال در روند سرویس دهی FT
T63: برطرف کردن اشکال در روند سرویس دهی VMotion
T64: برطرف کردن اشکال در روند سرویس دهی FT
پس از شرح مختصر گزارها در مدل که باعث تغییر وضعیت آن و به وجود آمدن توزیع های مختلف توکن در مدل می شوند، به تحلیل دقیقتر آن می پردازیم. در این بخش برای تحلیل بهتر مدل می توانیم آن را به چند مرحله[۱۵۱] تقسیم نمائیم تا بتوانیم رفتار سیستم را گروه بندی کنیم. پس از شناخت رفتار این دیتا سنتر نمونه، می توان رفتار آن را از جنبه های مختلف به کمک ابزار فرمال ارزیابی و تحلیل نمود.
به این منظور، انتقال کنترل در مدل را به مراحل زیر تقسیم می کنیم:
مرحله۱: از زمان روشن کردن مولفه های سخت افزاری شامل دستگاه های ذخیره سازی و سیستم های میزبان تا انتهای زمان بوت شدن یا دچار مشکل شدن آن ها (P0-P17 و P35، P36).
مرحله ۲: از هنگام آمادگی سیستم برای ایجاد و بارگزاری ماشین های مجازی تا هنگام آمادگی سیستم برای ایجاد توازن و بهینگی در میزان منابع تخصیص یافته به ماشین های مجازی و سرویس ها توسط سرویس DRS (P18-P23 و P37-P39).
تحقیقات انجام شده در مورد پایان نامه کارشناسی ارشد در رشته ی مهندسی فناوری اطلاعات ...