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

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