CIVILICA We Respect the Science
(ناشر تخصصی کنفرانسهای کشور / شماره مجوز انتشارات از وزارت فرهنگ و ارشاد اسلامی: ۸۹۷۱)

بازبینی رایانه ای سیستم های اینترلاکینگ

عنوان مقاله: بازبینی رایانه ای سیستم های اینترلاکینگ
شناسه ملی مقاله: CESC12_109
منتشر شده در دوازدهمین کنفرانس دانشجویی مهندسی عمران در سال 1384
مشخصات نویسندگان مقاله:

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

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

صفحه اختصاصی مقاله و دریافت فایل کامل: https://civilica.com/doc/4411/