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

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