В статье показана необходимость развития понятийного аппарата в области инструментальных средств экспертизы и испытаний систем и устройств железнодорожной автоматики и телемеханики на работоспособность и безопасность в соответствии с требованиями различных стадий жизненного цикла, в первую очередь, связанных с процессами разработки и доказательства безопасности. В существующих нормативных документах практически отсутствует терминология по нестандартным инструментальным средствам, что затрудняет взаимопонимание различных специалистов и коллективов, участвующих в процессах разработки и доказательства безопасности железнодорожной автоматики и телемеханики. На основе анализа доказательства безопасности и свойств железнодорожной автоматики как объекта экспертизы и испытаний сформулированы требования и определен состав инструментальных средств. Показано, что имитаторы различного вида целесообразно разрабатывать на базе технологии гибридных экспертных систем, позволяющей эффективно использовать в одном испытательном средстве в качестве базы знаний эвристические экспертные алгоритмы и математические, как правило имитационные, модели объектов управления, устройств, подсистем и систем железнодорожной автоматики. В работе предложена совокупность терминов и определений по инструментальным средствам экспертизы и испытаний, являющаяся методологической основой дальнейшего развития нормативных документов в области доказательства работоспособности и безопасности железнодорожной автоматики и телемеханики.
железнодорожная автоматика и телемеханика, жизненный цикл, разработка и доказательство безопасности, безопасность функционирования, инструментальные средства экспертизы и ис- пытаний, имитаторы, гибридные экспертные системы
1. Сапожников Вал. В. Методы и средства оценки и обеспечения безопасности систем железнодорожной автоматики / Вал. В. Сапожников, Вл. В. Сапожников, Д. В. Гавзов, Д. С. Марков // Автоматика, телемеханика и связь. - 1992. - № 1. - С. 4-7.
2. Наседкин О. А. Особенности испытания МПУ ЖАТ / О. А. Наседкин, Е. В. Ледяев // Автоматика, связь, информатика. - 2012. - № 7. - С. 30-32.
3. Наседкин О. А. Методическое и техническое обеспечение испытаний микропроцессорных систем / О. А. Наседкин, Д. А. Васильев, А. М. Белоус // Автоматика, связь, информатика. - 2013. - № 12. - С. 23-27.
4. Белишкина Т. А. Особенности подтверждения соответствия требованиям безопасности железнодорожной автоматики в переходный период после принятия технических регламентов таможенного союза / Т. А. Белишкина // Автоматика на транспорте. - 2016. - Т. 2. - № 2. - С. 208-227.
5. Марков Д. С. Терминологические особенности этапов разработки и доказательства безопасности железнодорожной автоматики и телемеханики / Д. С. Марков, О. А. Наседкин, Д. А. Васильев, М. А. Бутузов // Автоматика на транспорте. - 2017. - Т. 3. - № 3. - С. 368-379.
6. ГОСТ Р МЭК 61508-4-2012. Функциональная безопасность систем электрических, электронных программируемых электронных, связанных с безопасностью. Ч. 4. Термины и определения. - М. : Стандартинформ, 2014. - 20 с.
7. ГОСТ Р 54504-2011. Безопасность функциональная. Политика, программа обеспечения безопасности. Доказательство безопасности объектов железнодорожного транспорта. - М. : Стандартинформ, 2013. - 24 с.
8. ГОСТ Р МЭК 61511-1-2011. Безопасность функциональная. Системы безопасности приборные промышленных процессов. Ч. 1. Термины, определения и технические требования. - М. : Стандартинформ, 2013. - 65 с.
9. ГОСТ Р 53431-2009. Автоматика и телемеханика железнодорожная. Термины и определения. - М. : Стандартинформ, 2010. - 19 с.
10. Никитин А. Б. Анализ компьютерных систем оперативного управления устройствами ЭЦ / А. Б. Никитин, Вал. В. Сапожников // Автоматика, связь, информатика. - 2006. - № 6. - С. 6-8.
11. Никитин А. Б. Комплекс технических средств управления и контроля / А. Б. Никитин, С. В. Ракчеев, М. В. Сидоров, М. Г. Максимов // Автоматика, связь, информатика. - 2007. - № 2. - С. 7-12.
12. Никитин А. Б. Повышение эффективности систем электрической централизации / А. Б. Никитин // Автоматика связь, информатика. - 2010. - № 4. - С. 4-7.
13. Марков Д. С. Матричный метод формализации имитационных моделей сложных систем массового обслуживания / Д. С. Марков, П. Е. Булавский // Известия Петербургского университета путей сообщения. - 2010. - № 4. - С. 186-196.
14. Марков Д. С. Метод формализации имитационных моделей технологических процессов в хозяйстве автоматики и телемеханики на железнодорожном транспорте / Д. С. Марков, А. А. Лыков // Известия Петербургского государственного университета путей сообщения. - 2012. - № 1.- С. 23- 28.
