دانلود پروژه:عنوان/موضوع: ایجاد پایشگرهای درستی یابی با استفاده از شبکه های پتری رنگی زمان دار

تعداد 76صفحه در فایل word

چکیده

در این پایان نامه روشی جهت ایجاد پایشگر^[1] برای درستی یابی زمان اجرا^[2]، برای سیستم های واکنشی^[3] تحت منطق بلادرنگ^[4] با استفاده از مدل سازی شبکه پتری زمانی رنگی ارائه شده است. در ساخت و مدل سازی نوع خاصی از سیستم ها تحت عنوان سیستم های واکنشی، شبکه های پتری به عنوان مدل سازی سیستم گذار^[5]، با دربر داشتن قدرت بیان سیستم های همروند و همروندی انتخابی، و ایجاد رفتار پویا در مدل سازی، کاربرد موثر و منحصر بفردی در ایجاد یک مدل مفهومی از سیستم در سطح تعریف توسعه دهندگان دارد. ایجاد پایشگرهای درستی یاب با استفاده از استنتاج قانون، یکی از روش های استدلال است که از تلفیق آن با روش های توصیف بصری شبکه های پتری در کنار توصیفات متنی^[6] ، ما را قادر به درستی یابی سیستم های واکنشی خواهد کرد. روش کار پیش رو از 4 گام اصلی تشکیل می شود: 1- ایجاد مدل با استفاده از شبکه های پتری رنگی زمان دار 2- تبدیل مدل گراف حالت 3- توصیف دغدغه های ایمنی 4- استنتاج پایشگر به صورت هدف گرا. ارائه یک مثال کاربردی در مورد زمان بندی پرواز فرودگاه از دیگر مواردی است که عملا آزمونی جهت روش توسعه داده شده می باشد که در انتها به آن پرداخته  شد.

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

[1] – monitor

[2] – runtime verification

[3] – reactive systems

[4] – real time

[5] – transition systems

[6] – specifications