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

چکیده مقاله

دراین مقاله روشی جهت ایجادپایشگر برای درستی یابی زمان اجرا برای سیستم های واکنشی تحت منطق بلادرنگ بااستفاده ازمدل سازی شبکه پتری زمانی رنگی ارایه شده است درساخت و مدل سازی نوع خاصی ازسیستم ها تحت عنوان سیستم های واکنشی شبکه های پتری به عنوان مدلسازی سیستم گذار بادربرداشتن قدرت بیان سیستم های همروند و ایجادرفتارپویا درمدلسازی کاررد موثری درایجادیک مدل مفهومی ازسیستم درسطح تعریف توسعه دهندگان دارد ایجادپایشگرهای درستی یاب بااستفاده ازاستنتاج قانون و تلفیق آن با روشهای توصیف بصری شبکه های پتری ماراقادر به درستی یابی سیستم های واکنشی خواهد کرد روش کارپیشرو از3 گام اصلی تشکیل میشود: ایجادمدل بااستفاده ازشبکه های پتری رنگی زمان دار/تبدیل مدل و دغدغه های ایمنی به توصیفات متنی درالگوی قانون استنتاج پایشگر بصورت هدف گرا ارایه یک مثال کاربردی درمورد زمان بندی پرواز فرودگاه ازدیگرمواردی است که عملا ازمونی جهت روش توسعه داده شده می باشد که درانتها به آن پرداخته خواهد شد

کلیدواژه‌ها

نویسندگان

ایمان کاظمینی مقدم

کارشناسی ارشدفناوری اطلاعات ازدانشگاه علوم و فنون مازندران

بابک شیرازی

دکتری صنایع ازدانشگاه علوم و فنون مازندران

خلیل شاکری

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

همایون موتمنی

دکتری مهندسی نرم افزار ازدانشگاه آزاد اسلامی واحد ساری

کاظمینی مقدم، ایمان و شیرازی، بابک و شاکری، خلیل و موتمنی، همایون،1394،تولید پایشگر درستی یابی زمان اجرای نیازمندی های ایمنی سیستم های واکنشی با استفاده ازشبکه های پتری رنگی زمان دار،کنفرانس بین المللی یافته های نوین پژوهشی درمهندسی برق و علوم کامپیوتر،تهران

ارائه‌شده در

مجموعه مقالات سومین کنفرانس ملی محاسبات نرم علوم مهندسی در صنعت و جامعه1 اسفند 1402 · ایرانشهر