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