سال انتشار: ۱۳۸۴

محل انتشار: دوازدهمین کنفرانس دانشجویی مهندسی عمران

تعداد صفحات: ۹

نویسنده(ها):

پدرام مسعودی – دانشجوی کارشناسی عمران دانشگاه آزاد اسلامی واحد کرمانشاه
سیدشهاب حسنی نسب – مهندس عمران دانشگاه رازی کرمانشاه

چکیده:

اطمینان یافتن از درستی و صحت سیستم های رایانه ای مورد استفاده در سیستم های اینترلاکینگ در موقع بحرانی استفاده مشکل می باشد. معمولا روشهای بازبینی مورد استفاده در مدلسازی و آزمایش جامعکامل نبوده و دارای نواقصی بوده اند. در این گردآوری پروسه بازبینی جایگزینی بر چک کردن یک مدل نمادین که می تواند به صورت اتوماتیک فضای سیستم را جستجو کند شرح داده می شود. از این پروسه همچنین می توان انتظار داشت که اطلاعات زمانی مفیدی درباره رفتار و عکس العملهای سیستم در مواقع اضطراری را نیز دریافت کرد. در این پروسه از ابزار (تکنیک) Verus استفاده شده است که امکان بررسی سیستمهای پیچیده و طراحی شده برای حالات بحرانی ایستگاههای راه آهن در اندازه های متوسط و بزرگ را فراهم می کند. همچنین می توان رفتارهای غیرعادی، اشتباهات …. را در سیستم های اینترلاکینگ پیچیده در مواقع بحرانی قبل از گسترش یافتن تشخیص داد و در برطرف نمودنشان اقدامات لازم را انجام داد.