Чл. 589

За достоверност на централния компютър се прилагат задължителни подходящи методи за проверка на софтуера поради премодулирането отчасти на комплексните връзки в блоковете за управление от глобалните проверки.

За успешното извършване на проверките в блоковете за управление трябва да е налице възможността всички вътрешни интерфейси за данни да се превключат на симулационен режим. При симулацията стойностите на параметрите трябва да могат да се параметрират отвън. Всички изходни сигнали (включване на вентилатори, команди за включване на светофарната уредба и др.) трябва също да се изключат от процеса. Към всички външни интерфейси за данни през автономен блок за проверка/управление се подават съответните данни за процеса. С този блок за проверка/управление всички групи обекти могат да бъдат симулирани и да бъдат зададени всички възможни състояния на процесите ("симулатор на тунела"). Всички програмни реакции, които се изискват в рамките на автоматичните функции, се запаметяват в блока за проверка/управление и се оценяват под формата на доклад за изпитване. Този доклад документира качественото състояние на цялото техническо съоръжение за управление.