وارسی مدل مبتنی بر اکتورها و تحلیل شبکه های مبتنی بر نرم افزار با استفاده از زبان ربکا [پايان نامه فارسي]
حسین زینلی
| شناسگر رکورد: | ۲۰۴۲۰ |
| رشته تحصیلی: | علوم داده |
| عنوان: | وارسی مدل مبتنی بر اکتورها و تحلیل شبکه های مبتنی بر نرم افزار با استفاده از زبان ربکا |
| نويسنده: | حسین زینلی |
| استاد راهنما : | دکتر حسین حجت |
| مقطع تحصیلی : | کارشناسی ارشد |
| دانشگاه : | خاتم |
| تاریخ دفاع : | ۱۴۰۲ |
| چکیده: | امروزه شبکه های رایانه ای بخش جدایی ناپذیر زندگی ما هستند و کیفیت خدمات ارائه شده در آنها مستقیما روی کیفیت زندگی ما اثر دارند. ما به سمتی پیش می رویم که حتی خدمات حساسی مثل جراحی هم به صورت برخط و از طریق شبکه ها انجام شوند. بنابراین باید شبکه هایی داشته باشیم که علاوه بر صحت عملکرد، قابلیت اتکای بالاتری از شبکه های سنتی داشته باشند. به همین منظور شرکتهای بزرگ مانند گوگل ، آمازون ، سیسکو و … به سمت شبکه هایی موسوم به شبکه های مبتنی بر نرم افزار یا به اختصار SDNها پیش رفته اند که بر خلاف شبکه های سنتی دارای قابلیت برنامه نویسی و توان بالای مدیریت به منظور تضمین کیفیت خدمات یا به اختصار QoS هستند. در کنار سهولت استفاده و چابکی شبکه های مبتنی بر نرم افزار ، سوی نامطلوبی هم وجود دارد. در واقع همواره در کنار امکان برنامه نویسی، امکان خطا نیز وجود داشته است. پس باید بتوانیم از صحت عملکرد برنامه ای که برای کنترل شبکه نوشته ایم مطمئن شویم. در این پژوهش گامی در جهت جلوگیری از اتفاقات نامطلوب در کاربردهای حساس شبکه های مبتنی بر نرم افزار برداشته ایم. روشهای سنتی کشف خطاها در شبکه های مبتنی بر نرم افزار، از جمله بررسیهای دستی، شبیه سازی آنها و اجرای مکرر آن ، علی الرغم مزایائی که دارند با توجه به همروندی ذاتی موجود در شبکه ها به عنوان یک سیستم توزیع شده ، قادر نیستند کشف تمام خطاها را تضمین کنند. بعضی از خطاها در شرایط بسیار خاص و نادر اتفاق می افتند که با شبیه سازی لزوما قابل شناسایی نیستند. برای بررسی درستی عملکرد این شبکه ها در شرایط بحرانی، یک راه دقیق و کمتر پرداخته شده این است که با سطحی از انتزاع مدلی از آن بسازیم و با بررسی تمامی حالات ممکن آنرا اصطلاحا وارسی مدل کنیم. با این روش که زیر شاخه ی درستی بابی صوری است، از صحت عملکرد آن در هر شرایطی مطمئن می شویم. در این پژوهش با کمک زبان مدلسازی ربکا مدلهایی برای تحلیل و خطایابی کاربردها و سناریوهای متداول بکار برده شده در شبکه های مبتنی بر نرم افزار، ایجاد نموده ایم. به عبارت دقیقتر، توپولوژی و سناریوی کاربرد را در قالب مدل ربکا ، به کمک ابزارهای پشتیبان ربکا (افرا) وارسی مدل نموده و درستی این سناریوها را بررسی خواهیم کرد و در صورت یافتن خطا ، آن را در قالب یک سلسله از اقدامات و یا اتفاقات که منجر به این خطا شده اند، گزارش خواهیم داد. همچنین الگوریتم سنتزی را ارائه نموده ایم که در مواردی قادر به یافتن راهی برای جلوگیری از تراکم داده در شبکه های مبتنی بر نرم افزار در هنگام به روزرسانی پویای مسیرهای جریان داده می باشد. واژههای کلیدی: شبکه های مبتنی بر نرم افزار، ربکا، وارسی مدل، اکتور |
| شماره ثبت | جزء | نسخه | جلد | بخش | قسمت | مرجع | شماره بازیابی | در دست امانت | تاریخ بازگشت | ملاحظات | |
|---|---|---|---|---|---|---|---|---|---|---|---|
| 284103 | 1 |
جهت ثبت نظر با حساب کاربری تان وارد شوید