ایمان کاظمینی مقدم - کارشناسی ارشدفناوری اطلاعات ازدانشگاه علوم و فنون مازندران
بابک شیرازی - دکتری صنایع ازدانشگاه علوم و فنون مازندران
خلیل شاکری - کارشناس ارشدعلوم کامپیوتر ازدانشگاه طبری بابل
همایون موتمنی - دکتری مهندسی نرم افزار ازدانشگاه آزاد اسلامی واحد ساری

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

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