Известны несколько способов проведения подтверждения... PDF Print E-mail
Written by Administrator   
Friday, 15 November 2013 05:01

Известны несколько способов проведения подтверждения...

Последствия отказа в системах с микроЭВМ зависят от программы, данных и времени. Поэтому невозможно предсказать, вызовет тот или иной отказ переход системы в защитное или опасное состояние. По этой причине наиболее важным пунктом стратегии обеспечения безопасности таких систем является исключение и ограничение последствий отказов. Это непосредственно связано с обнаружением ошибок.

В электронных системах обнаружение ошибок основано на сравнении результатов нескольких параллельных или последовательных процессов обработки одной и той же или аналогичной входной информации. Для обеспечения безопасной работы компаратор должен представлять собой устройство с безопасным отказом. При функциональных испытаниях испытательное устройство генерирует заранее заданную в соответствии с функциями объектов информацию, подает ее на входные линии и проверяет состояние выходных линий для определения реакции объектов. Затем эти реакции сравниваются с эталонными значениями, определенными заранее или в процессе испытаний.

В отделении транспортной автоматики Будапештского технического университета создана моделирующая испытательная система RWS-3, реализующая эти принципы. Система была разработана для испытания новой электронной системы централизации с использованием ЭВМ на Болгарских государственных железных дорогах.