автореферат диссертации по транспорту, 05.22.08, диссертация на тему:Методы обеспечения и средства доказательства безопасности микропроцессорных систем железнодорожной автоматики и телемеханики

ВВЕДЕНИЕ.

1. ВОПРОСЫ СОВЕРШЕНСТВОВАНИЯ ПРОЦЕССА ОБЕСПЕЧЕНИЯ И ДОКАЗАТЕЛЬСТВА БЕЗОПАСНОСТИ МИКРОПРОЦЕССОРНЫХ СИСТЕМ ЖЕЛЕЗНОДОРОЖНОЙ АВТОМАТИКИ И ТЕЛЕМЕХАНИКИ.!.

1.1. Тенденции развития систем управления перевозочным процессом на железнодорожном транспорте.

1.2. Проблемы обеспечения и доказательства безопасности МП СЖАТ.

1.3. Анализ методов построения безопасных МП СЖАТ.

1.4. Инструментальное обеспечение процесса разработки и доказательства безопасности МП СЖАТ.

1.5. Постановка задач диссертации.

2. СИНТЕЗ ЭЛЕМЕНТОВ КОНТРОЛЬНЫХ СХЕМ ДЛЯ СИСТЕМ С КОДИРОВАНИЕМ ИНФОРМАЦИИ - САМОПРОВЕРЯЕМЫХ ДВОИЧНЫХ СЧЕТЧИКОВ ЕДИНИЦ.

2.1. Анализ известных методов построения двоичных счетчиков единиц.

2.2. Синтез оптимальных счетчиков по произвольному модулю счета

2.2.1. Счетчик на базе схемы реализации множества простых симметричных функций.

2.2.2. Счетчик с использованием счетчика по модулю (п+1) и преобразователя.

2.2.3. Оценка сложности синтезированных счетчиков.

2.2.4. Самопроверяемость синтезированных счетчиков.

2.3. Блочная структура двоичного счетчика единиц.

2.4. Выводы по второму разделу.

-33. ИНСТРУМЕНТАЛЬНОЕ ОБЕСПЕЧЕНИЕ ПРОЦЕССА

ЭКСПЕРТИЗЫ И ИСПЫТАНИЙ ПРОГРАММНОГО

ОБЕСПЕЧЕНИЯ НА БЕЗОПАСНОСТЬ.

3.1. Цели анализа и испытаний ПО на безопасность.

3.2. Методы и средства анализа ПО на безопасность.

3.3. Разработка базовых моделей и общей структуры автоматизированного средства экспертизы и испытаний ПО на безопасность.

3.4. Использование разработанных базовых моделей для автоматизированного решения задач экспертизы и испытаний ПО на безопасность.

3.5. Функциональная модель процессора.

3.5.1. Синтез модели.

3.5.2. Испытания с использованием функциональной модели процессора.

3.6. Выводы по третьему разделу.

4. РАЗРАБОТКА И ПРИМЕНИЕ СРЕДСТВ ИНСТРУМЕНТАЛЬНОГО

ОБЕСПЕЧЕНИЯ ИСПЫТАНИЙ МП СЖАТ НА БЕЗОПАСНОСТЬ

4.1. Концепции повышения эффективности инструментальных средств испытаний МП СЖАТ на безопасность.

4.2. Методика выделения совокупности сигналов и диапазонов значений их параметров для имитации.

4.3. Разработка имитаторов входных воздействий МП СЖАТ.

4.4. Последовательность применения инструментальных средств в процессе экспертизы и испытаний на безопасность микропроцессорных систем автоблокировки.

4.5. Выводы по четвертому разделу.

Современное состояние железнодорожного транспорта (ЖДТ) определяет необходимость его структурных и организационных преобразований. Эти преобразования должны быть направлены на снижение затрат на перевозки грузов и пассажиров, повышение (обеспечение) прибыльности (доходности) ЖДТ, обеспечение привлекательности ЖДТ для конечного пользователя транспортных услуг.

Среди критериев, определяющих повышение эффективности ЖДТ, одним из определяющих является безопасность движения поездов, что обуславливается ее высокой ролью, как в экономическом, так и в социальном аспектах вопроса эффективности управления перевозочным процессом.

В общем случае безопасность обеспечивается на всех уровнях управления перевозочным процессом. Но при этом существенная роль отводится технических системам и, в частности, системам железнодорожной автоматики и телемеханики (СЖАТ).

Требование повышения эффективности ЖДТ определяет необходимость внедрения информационных технологий в процесс управления движением поездов и построения СЖАТ на компьютерной и микропроцессорной элементной базе. Специфика данной элементной базы требует для обеспечения высокого уровня безопасности применения нетривиальных технических решений. А также определяет необходимость проведения различного рода мероприятий на протяжении всего жизненного цикла системы, направленных на выявление негативных факторов, обуславливающих опасные состояния системы, снижение влияния данных факторов до приемлемого уровня, а также на обеспечение стабильности, достигаемых в процессе разработки МП СЖАТ характеристик, в течение всех последующих этапов жизненного цикла системы. При этом гарантией получения высокого уровня безопасности является доказательство полноты и корректности проведенных мероприятий или, другими словами, доказательства безопасности) с использованием независимых от процесса разработки экспертов.

Современная методология доказательства безопасности определяет организацию работ по доказательству безопасности в виде итеративного процесса с использованием различных аналитических и экспериментальных методов.

Все это требует значительных затрат временных и материальных ресурсов, что снижает, в какой-то мере, общую эффективность современных СЖАТ. Вместе с тем, пренебрежение любыми этапами и стадиями доказательства безопасности приводит к еще большим затратам, связанным с последствиями опасных отказов СЖАТ в процессе эксплуатации и последующей корректировкой технических решений.

В диссертации рассматриваются два направления снижения указанных затрат:

- стандартизация процесса разработки МП СЖАТ с использованием при построении систем максимального количества апробированных решений и технологий;

- автоматизация процесса экспертизы и испытаний на безопасность, увеличение доли инструментальных средств на всех этапах построения системы.

Анализ состояния дел в рамках данных двух подходов определил постановку следующих задач диссертации.

1. Разработка методов синтеза унифицированного элемента самопроверяемых встроенных схем контроля МП СЖАТ с кодированием информации (для большого класса кодов с обнаружением ошибок) - двоичного счетчика единиц по произвольному модулю счета.

2. Систематизация вопросов оценивания программного обеспечения МП СЖАТ на безопасность и разработка средств автоматизации экспертизы и испытаний ПО на безопасность.

-73. Разработка методов построения и применения нестандартных средств обеспечения стендовых испытаний (имитаторов) МП СЖАТ, определяющих максимальную эффективность их использования в процессе разработки и доказательства безопасности МП СЖАТ.

При решении поставленных задач в работе получены и защищаются следующие результаты и основные положения.

1. Разработаны четыре новых метода синтеза самопроверяемых двоичных счетчиков единиц по произвольному модулю счета, позволяющие получать структуры, обладающие лучшими характеристиками по сравнению с известными структурами.

2. Предложены состав, структура, принципы совместной реализации базовых моделей средств машинного анализа и испытаний ПО СЖАТ на безопасность для класса программ локальных контроллеров, позволяющих в автоматизированном режиме осуществлять оценку комплекса характеристик ПО, определяющих его свойства безопасности.

3. Сформулированы основные концепции технической реализации нестандартных средств испытаний СЖАТ на безопасность, позволяющие минимизировать затраты на их разработку и использование.

4. Предложена методика выделения совокупности параметров сигналов для имитации и диапазонов их изменения, позволяющая формализовать процесс постановки требований к имитаторам входных воздействий СЖАТ.

5. Предложены общие технические принципы построения имитаторов входных воздействий и разработан комплекс имитаторов входных воздействий для испытания на безопасность широкого класса современных СЖАТ.

-184- -Выводы по четвертому разделу

В четвертом разделе рассмотрены принципы практической реализации и применения инструментальных средств экспертизы и испытаний МП СЖАТ на безопасность. Получены следующие основные выводы и результаты.

1. Максимальное снижение затрат на проектирование и использование нестандартных средств обеспечения стендовых испытаний МП СЖАТ на безопасность достигается при реализации следующих основных положений: расширении функциональности данных средств; их ориентации на испытания комплекса систем ЖАТ разного, но близкого целевого назначения, а также на разные этапы процесса доказательства безопасности МП СЖАТ; формализация процесса разработки средств; ориентации диалоговых подсистем средств на широкую категорию пользователей; использовании при технической реализации максимального количества апробированных и стандартизированных технических компонент; согласовании характеристик надежности с классом испытываемых объектов.

2. Постановку функциональных требований к имитаторам входных воздействий СЖАТ следует осуществлять согласно предложенной в разделе методике, которая формализует основные этапы решения задачи выбора совокупности сигналов для имитации и диапазонов их параметров. Это позволит сократить затраты на проектирование имитаторов.

3. Предложена обобщенная структурная схема имитаторов входных воздействий МП СЖАТ. В общем случае структура имитатора должна включать следующие модули: подсистему формирования сигналов; блок задания параметров сигналов и режимов его формирования; библиотеку предустановленных параметров; диалоговую подсистему с пользователем; подсистему тестирования и контроля; подсистему протоколирования; подсистему управления экспериментом и библиотеку экспериментов.

4. Разработан комплекс имитаторов входных воздействий для испытаний на безопасность широкого класса МП СЖАТ. Имитаторы входных воздействий в виде сигналов двукратной фазоразностной модуляции, сигналов числового кода и имитатор технологических ситуаций системы счета осей аттестованы государственными органами метрологического контроля на соответствие требованиям к средствам обеспечения сертификационных испытаний МП СЖАТ на безопасность.

5. Рассмотрены принципы последовательного применения и выбора ИС в процессе доказательства безопасности на примере микропроцессорных систем АБ-Е2 и АБ-ЧКЕ. Состав средств экспертизы и испытаний, а также последовательность их применения должны конкретизироваться в каждом отдельном случае в зависимости от специфики конкретной системы.

- 186 -ЗАКЛЮЧЕНИЕ.

На основании теоретических и экспериментальных исследований, выполненных в диссертационной работе, получены следующие основные выводы и результаты:

1. Показано, что проблема снижения временных и материальных затрат обеспечения и доказательства безопасности МП СЖАТ связана с решением двух задач: максимальной стандартизации процесса разработки МП СЖАТ и автоматизации процесса экспертизы и испытаний на безопасность с увеличением доли инструментальных средств на всех этапах построения системы.

2. Показано, что для большого класса кодов с обнаружением ошибок, в которых определение принадлежности кодового вектора словам кода осуществляется на основании подсчета в нем единичных разрядов, возможна унификация схем тестеров, посредством ввода в их структуру двоичных счетчиков единиц.

3. Предложены четыре новых метода синтеза двоичных счетчиков единиц по произвольному модулю счета, позволяющие получать самопроверяемые структуры счетчиков, обладающие наилучшими характеристиками по аппаратурным затратам среди известных структур.

4. Выделены и систематизированы основные цели и методы экспертизы и испытаний ПО на безопасность. Показано, что безопасность может рассматриваться как интегральная характеристика качества ПО, определяющая эффективность целевого применения программных средств в МП СЖАТ. При этом она оценивается рядом частных характеристик, среди которых основными являются: функциональная пригодность, корректность, надежность и защищенность.

5. Показана возможность представления процесса функционирования программ в виде трех базовых моделей: управляющей модели, отражающей в формализованном виде управляющие связи программы (поток управления), информационной - потоки данных, и модели аппаратных средств, формализующей процесс преобразования и передачи данных между функциональными устройствами, на базе которых осуществляется выполнение программы.

6. Предложены состав и структура средств машинного анализа и испытаний ПО на безопасность для класса программ локальных контроллеров, позволяющих в автоматизированном режиме осуществлять оценку комплекса характеристик ПО, определяющих его свойства безопасности. «Ядро» таких средств должны составлять три базовых модели, а общая структура должна включать также модель внешней среды и модель эксперимента.

7. Определены принципы программной реализации базовых моделей инструментального средства анализа и испытаний ПО. Предложено формализовать управляющие связи программы через отношения предшествования -последования операторов программы, информационные связи - через отношения определения и использования операторами программы элементов данных, а моделирование работы аппаратных средств осуществлять на регистровом (функциональном) уровне абстракции.

8. Синтезирована функциональная модель микроконтроллера 1830ВЕ51 (Intel 8051). Показана возможность построения модели процессора на базе управляющей и информационной моделей программы.

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

10. Предложена методика выделения совокупности сигналов для имитации и диапазонов значений их параметров, формализующая процесс постановки функциональных требований к имитаторам, и определены общие принципы технической реализации имитаторов входных воздействий МП СЖАТ, позволяющие унифицировать процесс построения имитаторов.

11. Разработан комплекс имитаторов входных воздействий для обеспечения сертификационных испытаний на безопасность широкого класса МП СЖАТ.

-189

1. Аксененко Н. Е. Вступая в XXI век // Железнодорожный транспорт. -2001. №1. - С.2-8.

2. Целько А. В. Программа реформирования и активных действий // Железнодорожный транспорт. 2001. - №2. - С.2-9.

3. Гришин С. А. Стратегия управления перевозками на современном этапе // Железнодорожный транспорт. 2001. - №1. - С. 10-17.

4. О концепции развития структурной реформы железнодорожного транспорта // Автоматика, связь, информатика. 2000. - №10. - С.2-7.

5. Мишарин А. С. Проблемы ресурсосбережения на железнодорожном транспорте. // Труды 3-ей научно-практической конференции «Ресурсосберегающие технологии на железнодорожном транспорте». М.: МИИТ, 2000. -С. 1-1 -1-6.

6. Каменев А. П., Ягудин Р. Ш. Сокращать эксплуатационные расходы, наращивать производительность труда //Автоматика, связь, информатика. -2000. №11. - С.30 - 34.

7. Розенберг Е. Н. Обновление средств автоматизации и связи на российских железных дорогах // Сб. науч. тр. «Современные информационные технологии, электронные системы и приборы». Екатеринбург: УРГУПС, 2001. -С. 150-162.

8. Козлов П. А. Информационные технологии для новой эксплуатационной модели управления перевозками // Автоматика, связь, информатика. -2000. №4. - С.2-4.

9. Козлов П. А. От информационных систем к управляющим // Железнодорожный транспорт. - 1999. - №9. - С.29-31.-19011. Долгих И. Н. Интеграция информационно-управляющих систем // Автоматика, связь, информатика. 2000. - №4. - С.9-10.

10. Мишарин А. С. Развитие информатизации на Российских железных дорогах // Автоматика, связь, информатика. 2000. -№11.- С.2-7.

11. Розенберг Е. Н. Концепция развития систем железнодорожной автоматики и телемеханики //Автоматика, связь, информатика 1998. - №4. -С.2-6.

12. Кайнов В.М. Хозяйство СЦБ: итоги года и новые задачи // Автоматика, связь, информатика. 2002. - №5. - С.3-7.

13. Кайнов В. М. Совершенствование технических средств в хозяйстве сигнализации и связи // Сб. науч. тр. «Современные информационные технологии, электронные системы и приборы». Екатеринбург: УРГУПС, 2001. -С.70-81.

14. Ягудин Р. Ш. Стратегические задачи в области развития железнодорожной автоматики // Автоматика, связь, информатика. 1998. - №1. - С.2-5.

15. Саенков Н. Н., Ершов П. Н., Павлов А.С., Гавзов Д. В., Никитин А. Б. Опыт эксплуатации регионального центра диспетчерского управления // Автоматика, связь, информатика. 2002. -№11.- С.27-30.

16. А. Г. Савицкий Концепция автоматизации и механизации процессов на сортировочных станциях // Автоматика, связь, информатика. 2000. - №4. -С.49-52.

17. Лисенков В. М. Безопасность отвественных технологических процессов на транспорте // Автоматика, телемеханика и связь. 1992 - №1- С.8-11,

18. Сертификация и доказательство безопасности систем железнодорожной автоматики. / Сапожников В. В., Сапожников Вл. В., Талалаев В. И. и др.; под ред. Сапожникова Вл. В. М.: Транспорт, 1997. - 288 с.

19. Сапожников Вл. В., Сапожников В. В., Талалаев В. И., Гавзов Д. В. Стандартизация и сертификация безопасности. Международные организации и нормативные документы // Автоматика, телемеханика и связь. 1993. -№9. - С.30-32.

20. Крайер Э. Успешная сертификация на соответствие нормам ИСО серии 9000: Руководство по подготовке и проведению сертификации; дальнейшие шаги / Пер с нем. Рождественской О. В. М.: ИЗ ДАТ, 1999. - 551 с.

21. Тартаковский Д.Ф., Ястребов А.С. Метрология, стандартизация и технические средства измерения. М.: Высшая Школа, 2001. - 205 с.

22. Лисенков В. М. Безопасность технических средств в системах управления движением поездов. М.: Транспорт, 1992. - 192 с.

23. IEC 61508: Functional safety of electrical/electronic/programmable electronic safety related systems: Draft. June, 1998.

24. EN 50126: Railway Applications: The Specification and Demonstration of Reliability, Availability, Maintainability and Safety (RAMS). May 1998.

25. Stone A. The tolerability of risk from nuclear power stations // ATOM. -1988. №30. - P.8-11.

26. Braband J.; Lennartz K. A Systematic Process for the Definition of Safety Targets // SIGNAL+DRAHT. 1999. - №9. - P.53-57.

27. Пирик К. Система «человек-машина» в управлении транспортными процессами // Железные дороги мира. 1974. - №7. - С.70-72.

28. Сапожников Вл. В., Сапожников В. В., Талалаев В. И., Гавзов Д. В, Марков Д. С. Безопасность железнодорожной автоматики и телемеханики. Термины и определения // Автоматика, телемеханика и связь 1992. - № 4. -С.30-32.

29. Сапожников В. В., Сапожников Вл. В., Христов X. А., Гавзов Д. В. Методы построения безопасных микроэлектронных систем железнодорожной автоматики. М.: Транспорт. 1995. - 272 с.

30. European Project STSARCES: Standards for Safety Related Complex Electronic Systems: Final Report: Safety Related Complex Electronic Systems. 29 February, 2000.

31. Сапожников Вл. В., Сапожников В. В., Гавзов Д. В, Марков Д. С. Методы и средства оценки и обеспечения безопасности систем железнодорожной автоматики и телемеханики // Автоматика, телемеханика и связь 1992. -№1. - С.4-7.

32. EN 50129: Railway Applications: Safety-related Electronic Systems for Signaling. November, 2000.37.prEN 50128'. Railway Applications: Software for railway control and protection systems. May, 1998.

33. ACRuDA: "Assessment and Certification Rules For Digital Architecture." -Deliverable D3: The proposed assessment and certification methodology for digital architectures, DG VII RTD Programme RA-96-SC.231, ref. ACRUDA/ WP2/D3/V2, June 12, 1998.

34. ACRuDA: "Assessment and Certification Rules For Digital Architecture." -Deliverable D2: State of the Art Method Synthesis, DG VII RTD Programme RA-96-SC.231, ref. ACRUDA/INRETS/PM-MK/WP1 /D2/97.39/V3, September 29, 1997.

35. Railtrack: Engineering Safety Management Systems: Issue 3.0, «Yellow book». 2000.

36. Сапожников Вл. В., Сапожников В. В., Талалаев В. И., Гавзов Д. В, Марков Д. С. Общие правила выбора показателей безопасности и методы расчета норм безопасности // Автоматика, телемеханика и связь 1992. - № 10. - С.15-17.

37. Всеобщее управление качеством: Учебник для вузов / Глудкин О. П. и цр. М.: Радио и связь, 1999. - 600 с.-19343. Гличев А. В. Основы управления качеством продукции. М.: Изд-во1. АМИ, 1998.- 354 с.

38. Сборник действующих международных стандартов ИСО серии 9000. Т-1,2,3.-М.: ВНИИКИ, 1998.

39. Сапожников Вл. В., Сапожников В. В., Талалаев В. И., Гавзов Д. В. Методы доказательства безопасности микроэлектронных СЖАТ // Автоматика, телемеханика и связь 1994. - № 9. - С.30-32.

40. Правила технической эксплуатации железных дорог Российской Федерации: Утв. МПС РФ 26.04.93. -М.транспорт, 1995.- 160 с.

41. Гавзов Д.В., Сапожников В.В., Сапожников Вл.В. и др. Аппаратура железнодорожной автоматики, телемеханики и связи. / Отраслевой стандарт ОСТ32.-146.2000. М.: ВНИИАС МПС РФ. - 162 с.

42. ORE, Bericht А 118 Katalog der Fehler von elektronischen Elementen im Signaltechnic // Utrecht. - 1972. - №10.

43. P801/1. Каталог возможных повреждений и отказов основных элементов устройств СЦБ: Приложение 1 к протоколу совещания экспертов по СЦБ, V комиссии комитета ОСЖД. Варшава: 12-14 июня 2002 г (проект).

44. Гавзов Д. В., Сапожников В. В., Сапожников Вл. В. Методы обеспечения безопасности дискретных систем // Автоматика и телемеханика. 1994 -№8. - С.3-50.

45. Дрейман О. К., Гавзов Д. В., Илюхин М. В. Бесконтактные устройства сопряжения микропроцессорных систем железнодорожной автоматики и телемеханики с напольными объектами // Автоматика, телемеханика и связь. -1991.-№1.-С.12-14.

46. Дрейман О. К., Гавзов Д. В., Илюхин М. В. Сопряжение микропроцессорных систем железнодорожной автоматики и телемеханики с напольными объектами//Автоматика, телемеханика и связь. 1990.-№12. - С. 14-17.

47. Кошевой С. В. Устройство сопряжения микропроцессорной техники с исполнительными реле железнодорожной автоматики и телемеханики // Межвуз. сб. науч. тр. Харьков: ХИИТ, 1986. - С.42-45.

48. Переборов А. С., Лисовский М. П., Прокофьев А. А. Построение устройств согласования электронных схем управления с исполнительным реле // Автоматика, телемеханика и связь. 1982. - №5. - С.7-11.

49. Цымбал А. Л. Структура выходного элемента устройств связи микроЭВМ с объектами управления и контроля // Идентификация систем интервального регулирования движения поездов: Тр. Омского ин-та инж. трасп. -Омск: ОмИИТ, 1987. С.64-67.

50. Христов X. А., Иванов Э. Б. Специфичен интерфейс на микрокомпютьрни гарови централизации // Железопътен транспорт. 1985. -№6.-Р. 18-22.

51. Гью Б. Система передачи данных с защитой от опасных отказов // Железные дороги мира. 1988. - №3. - С.43-48.

52. Дрейман О. К. Помехоустойчивость методов передачи информации в телемеханических устройствах электрической централизации: Дисс. . канд. техн. наук. Л.: ЛИИЖТ, 1970. -177 с.

53. Кудряшов В. А., Семенюта Н. Ф. Передача дискретной информации на железнодорожном транспорте. М.: Транспорт, 1986. - 295 с.

54. Дрейман О. К., Гавзов Д. В. Циклическая распределительная система телемеханики / Методические указания. Л: ЛИИЖТ, 1986. - 16 с.

55. European Project STSARCES: Standards for Safety Related Complex Electronic Systems. .Annex 7. Final Report of WP2.2: Methods for fault detection. 29 February, 2000.

56. Сапожников В. В., Сапожников Вл. В. Принципы построения отказоустойчивых микропроцессорных систем // Автоматика, телемеханика и связь. 1989.-№4.-С.

57. Сапожников В. В., Сапожников Вл. В. Принципы построения безопасных микропроцессорных систем // Автоматика, телемеханика и связь. 1989. -№11.- С.22-24.

58. РТМ 32 ЦШ 1115842.01-94 Безопасность железнодорожной автоматики и телемеханики. Методы и принципы обеспечения безопасности микроэлектронных СЖАТ.

59. ACRuDA: "Assessment and Certification Rules For Digital Architecture." -Deliverable Dl: State of the art Safety Architectures Synthesis. DG VII RTD Programme RA-96-SC.231, ref. ACRUDA / INRETS / MK-PM / WP1/ Dl / 97.12/ V2, February 24, 1997

60. Малинов В. M. Современные зарубежные системы микропроцессорной централизации (МПЦ) // Автоматика, связь, информатика. 2000. - №10.

61. Малинов В. М. Применение устройств счета осей для контроля свобод-ности перегонов// Автоматика, телемеханика и связь. 1997. - №6. - С36-39.

62. Сапожникова Вл. В. М.: Транспорт, 1997. - 432 с.

63. Шубинский И. Б. Активная защита от отказов управляющих модульных вычислительных систем. СПб.: Наука, 1993. - 284 с.

64. Тышкевич В. Г., Зиборова М. Э., Тышкевич А. И. Методы контроля программ // Зарубежная радиоэлектроника. 1990. - №1 - С.32-45.

65. Огнев И. В., Сарычев К. Ф. Надежность запоминающих устройств. -М.: Радио и связь, 1988. 224 с.

66. Piestrak S. J. Design of Self-Testing Checkers for Unidirectional Error Detecting Codes. Wroclaw: Technical University, 1995. - 111 p.

67. Швир В. Надежность электронных схем в устройствах СЦБ//Железные дороги мира. 1986. - №1. - С.59-67.

68. Балашов Е. П., Пузанков Д. В. Проектирование информационно-управляющих систем. М.: Радио и связь, 1987. - 255 с.

69. Щербаков Н. С. Достоверность работы цифровых устройств. М.: Машиностроение, 1989. - 224 с.

70. Сапожников В. В., Кравцов Ю. А., Сапожников Вл. В. Дискретные устройства железнодорожной автоматики и телемеханики. М.: Транспорт, 1988.-255 с.

71. Сапожников В. В., Сапожников Вл. В. Самопроверяемые дискретные устройства. СПб.: Энергоатомиздат, 1992. - 252 с.

72. ОСТ 32.19 92. Безопасность железнодорожной автоматики и телемеханики. Общие требования к программам обеспечения безопасности.

73. Гаврилова Т. А., Хорошевский В. Ф. Базы знаний интеллектуальных систем: Серия Учебник. СПб.: «Питер», 2000. - 384 стр.

74. Гаврилова Т. А., Червинская К. Р. Извлечение и структурирование знаний для экспертных систем. М.: Радио и связь, 1992. - 200 с.

75. Представление и использование знаний / Пер. с япон.; Под ред. Х.Уэно, М.Исидзука. М.: Мир, 1990. - 220 с.-19788. Приобретение знаний / Пер. с япон.: Под ред. С.Осуга., Ю. Саэки М.:1. Мир, 1990.-292 с.

76. Нейлор К. Как построить свою экспертную систему / Пер. с англ. Н.Н. Слепова Н. Н. М.: Энергоатомиздат, 1991. - 288 с.

77. Уотермен Д. Руководство по экспертным системам / Пер. с англ.; под ред. Стефанюка В. Л. М.: Мир, 1989. - 388 с.

78. Сапожников В. В., Василенко М. Н., Быков В. П., Рубинштейн Н. И. Экспертные системы железнодорожной автоматики и телемеханики // Автоматика, телемеханика и связь. 1992. - № 16. - С. 13-16.

79. Василенко М. Н., Марков Д. С., Сапожников Вл. В., Трохов В. Г. Принципы построения комплексной системы автоматизации проектирования железнодорожной автоматики и телемеханики // Автоматика, телемеханика и связь. 1990. - №10. - С.8-10.

80. Баранов JI. А., Ерофеев Е. В., Сапожников В. В., Василенко М. Н., Быков В. П. Системы поддержки принятия решений // Железнодорожный транспорт, 1995.-№12.-С. 19-21.

81. Быков В. П. Теоретические и методологические основы построения систем поддержки принятия решений по управлению движением поездов на участках железных дорог: Дисс.докт. техн. наук-С-Пб.:ПГУПС, 1996-207 с.

82. Braband J. A practical guide to Safety Analysis Methods // SIGNAL + DRAHT. 2001. - №9. - P.41-44.

83. Braband J., Lennartz K. Analyse des individuellen Risikos // SIGNAL + DRAHT. 2000. -№11.- p.23-27.

84. Белишкина Т. А. Методы и средства обеспечения безопасности систем железнодорожной автоматики и телемеханики: Дисс. . канд. техн. наук. С-Пб.: ПГУПС, 1996. -246 с.

85. Василенко М.Н., Гриненко М.Н., Марков М.Н., Шлосберг М.И. Анализ систем железнодорожной автоматики и телемеханики на основе машинного моделирования//Автоматика, телемеханика и связь. 1989. - №1. -С.15-17.

86. Разевиг В. Д. Применение программ P-CAD и PSpice для схемотехнического моделирования на ПЭВМ: в 4-х т. М.: Радио и связь, 1992.

87. Разевиг В. Д. Система схемотехнического моделирования и проектирования печатных плат Design Center (Pspice).-M.:"CK Пресс", 1996 272 с.

88. Автоматика, телемеханика и связь. 1998. - №8. - С. 12-16.

89. Калянов Г.Н. CASE. Структурный системный анализ (автоматизация и применение). М.: ЛОРИ, 1996. - 242 с.

90. Калянов Г. Н. CASE-технологии. Консалтинг в автоматизации бизнес процессов. - М.: Горячая линия - Телеком, 2000. - 320 с.

91. A.M. Вендров Проектирование программного обеспечения экономических информационных систем. М.:Финансы и статистика,2002. - 352 с.

92. Новоженов Ю.В. Объектно-ориентированные технологии разработки сложных программных систем. М.: Аргуссофт, 1996. - 115 с.

93. Haapanen P., Korhonen J., Pulkkinen U. Licensing process for safety-critical software-based systems: STUK-YTO-TR 171, Helsinki, 2000. 113 p.

94. Walace C. S. A suggestion for a fast multiplier // IEEE Trans. Electron. Comput. 1964.-EC-13, №2-P. 14-17.

95. Swartzlander E. E. Parallel counters // IEEE Trans. Comput-1973. C-22, №11-pЛ 021-1024.

96. Marouf M. A., Friedman A. D. Design of Self -Checking Checkers for Berger Codes // Proc. 8th Annual Intern. Conf. on Fault-Tolerant Computing. -Toulouse, France, 1978.-P. 179-183.

97. Bose В., Lin D. J. Systematic Unidirectional Error Detecting Codes // IEEE Trans. Comput. 1985. - C-34, № 11. - P. 1026-1032.

98. Dugdale M. VLSI implementation of Residue Adders Based on Binary Adders // IEEE Trans. Circuits and Systems-II: Analog and Digital Signal Processing. 1992. - 39, №5. - P. 325-329.

99. Chang W. F„ Wu C.W., Das D. Totally Self-Checking Borden Code Checker Design Using Modulo Adders // submitted IEEE Trans. Comput. 2001.

100. Сапожников В. В., Сапожников Вл. В., Ургансков Д.И. Метод построения тестеров кодовых векторов // Электронное моделирование. 2000. -22, №6. - С.66-76.

101. Reddy S. М., Wilson J. R. Easily Testable Cellular Realization for the (Exactly P) out - of - n (P or More) - out - of - n Logic Functions // IEEE Trans. Comput. - 1974. - C-23, № 1. - P. 98-100.

102. Сапожников В. В., Сапожников Вл. В. Универсальный алгоритм синтеза самопроверяющих тестеров для кодов с постоянным весом // Проблемы передачи информации. 1984. - 20, № 2. - С.65-76.

103. Chang W. F., Wu С. W. Low Cost Modular Totally Self - Checking Checkers Design for m-ouX-oi-n Code // IEEE Trans. Comput. - 1999. - C-48, № 8. - P.815-826.

104. Сапожников В. В., Сапожников Вл. В., Ургансков Д.И. Универсальные структуры двоичных счетчиков единиц по произвольному модулю счета // Электронное моделирование. 2002. - 24, №4. - С.65-81.

105. Согомонян Е. С., Слабаков Е. В. Самопроверяемые устройства и отказоустойчивые системы. М.: Радио и связь, 1989. - 207 с.

106. Хетагуров Я. А., Руднев Ю. П. Повышение надежности цифровых устройств методами избыточного кодирования. М.: Энергия, 1974. - 272 с.-201128. Иыуду К. А. Надежность, контроль и диагностика вычислительныхгмашин и систем. М.: Высшая школа, 1989. - 216 с.

107. Ургансков Д.И. О построении схем контроля в системах с кодированием информации // Труды молодых ученых, аспирантов и докторантов. -СПб.: ПГУПС, 2001. Выпуск 5. - С.54-60.

108. Гольдман Р.С., Чипулис В.П. Техническая диагностика цифровых устройств. — М.: Энергия, 1976.

109. Дмитренко И. Е., Сапожников В. В., Дьяков Д. В. Измерения и диагностирование в системах железнодорожной автоматики, телемеханики и связи: Учебник для вузов ж.-д. транспорта. М.: Транспорт, 1994. - 263 с.

110. М. Abramovici, М. A. Breuer, and A. D. Friedman, Digital Systems Testing and Testable Design. New York: Computer Science Press, 1990.

111. Сапожников В. В., Ургансков Д. И. О синтезе двоичных счетчиков единиц // Сб. науч. тр. «Совершенствование информационных систем на железнодорожном транспорте». Екатеринбург: УрГАПС, 2000. - С. 145-154.

112. ОСТ 32.17-92. Безопасность железнодорожной автоматики и телемеханики. Основные понятия термины и определения.

113. Богданов Д. В., Путилов В. А., Фильчаков В. В. Стандартизация процессов обеспечения качества программного обеспечения. Апатиты, КФ ПетрГУ, 1997.- 161 с.

114. Боэм Б. У. Инженерное проектирование программного обеспечения: Пер. с англ. / Под ред. Красилова А. А. М.: Радио и связь, 1985. - 240 с.

115. Коган Б. И., Матвеева Т. О. Формальное специфицирование требований к качеству программных средств: Препринт. Владивосток: ИАПУ ДВО РАН, 1997.-56 с.

116. Костогрызов А. И., Липаев В. В. Сертификация качества функционирования автоматизированных информационных систем. М.: Изд. Вооружение. Политика. Конверсия, 1996. -275 с.

117. Саркисян А.А. Повышение качества программ на основе автоматизированных методов. М.: Радио и связь, 1991. - 160 с.

118. Joint Services Software Safety Committee of the Joint Services System Safety Panel and of the G-48, Electronic Industries Association: SOFTWARE SYSTEM SAFETY HANDBOOK, A Technical and Managerial Team Approach. -December 1999.

119. Коган Б.И. Определение базовой объективной системы внутренних свойств программных продуктов: Препринт. Владивосток: ИАПУ ДВО РАН, 1996.-56 с.

120. Штрик А. А., Осовецкий Л. Г., Мессих И. Г. Структурное проектирование надежных программ встроенных ЭВМ. Л.: Машиностроение, 1989. -296 с.

121. Липаев В.В. Тестирование программ.-М.: Радио и связь, 1986.-296 с.

122. Липаев В.В. Качество программного обеспечения. М.: Финансы и статистика, 1983. - 263 с.

123. Пальчун Б. П., Юсупов Р. М. Оценка надежности программного обеспечения. СПб.: Наука, 1994. - 84 с.

124. Майерс Г. Надежность программного обеспечения. М.: Мир, 1980. -360 с.

125. Шаракшанэ А. С., Шахин В. П., Халецкий А. К. Испытание программ сложных автоматизированных систем.-М.: Высшая школа, 1982.-192 с.

126. Проверка и утверждение программ реального времени / Под ред. Никитина А. И. Киев: Наук. Думка., 1990. - 216 с.

127. ОСТ 32.78 97. Безопасность железнодорожной автоматики и телемеханики. Безопасность программного обеспечения.

128. Бусленко Н.П. Моделирование сложных систем. М.: Наука. - 1978. -400 с.-203153. Армстронг Дж. Р. Моделирование цифровых систем на языке VHDL

129. Пер. с англ. М.: Мир, 1992.- 175 с.

130. Кулаков А. Ф. Оценка качества программ ЭВМ. Киев: Техника, 1984.- 167 с.

131. Игнатьев М. Б., Фильчаков В. В., Осовецкий JL Г. Активные методы обеспечения надежности алгоритмов и программ. СПб.: Политехника. -1992.-288 с.

132. Матьяш В. А., Никандров А. В., Путилов В. А., Федоров А. Е., Фильчаков В. В. Структурный анализ при разработке программного обеспечения систем реального времени. Апатиты: КФ ПетрГУ, 1997. - 78 с.

133. Проектирование цифровых устройств на однокристальных микроконтроллерах/ В.В. Сташин и др. М.: Энергоатомиздат, 1990. - с.

134. Однокристальный микроконтроллер семейства MCS-51 фирмы INTEL 8XC51GB. Микросхемы flash памяти 28F512/28A256A. Микросхемы статической памяти UM6264B/UM62256B. Томск: Западная сибирь, 1995.

135. Гаганов П. Г., Зубовский А. Н., Крылов А. М., Козлов А. Б. Применение имитационного моделирования для динамической отладки и испытаний комплексов программ управления // Управляющие системы и машины. -1984.-№3.-С.56-61.

136. Путевая блокировка и авторегулировка: Учебник для вузов / Котляренко Н.Ф., Шишляков А.В., Соболев Ю.В.и др.- М.: Транспорт, 1983. с.

137. Лисенков В. М., Беляков И. В., Грушка В. А., Ковалев И. П., Неклюдов Ю. Н. Принципы построения и методы технической реализации микропроцессорной системы автоблокировки АБ-Е2 // Автоматика, связь, информатика. 1998.-№1. - С.8-11.

138. Аркатов В. С., Кравцов Ю. А., Степенский Б. М. Рельсовые цепи. Анализ работы и техническое обслуживание. М.: Транспорт, 1990. - 395 с.

139. Единый ряд систем управления движением поездов // Межвузовский сб. науч. тр. М.:МИИТ, 1989. - Вып. 816.