Дипломы, курсовые, рефераты, контрольные...
Срочная помощь в учёбе

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

Диссертация: Методы обеспечения и средства доказательства безопасности микропроцессорных систем железнодорожной автоматики и телемеханики
ДиссертацияПомощь в написанииУзнать стоимостьмоей работы

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

Содержание

  • 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.-19 011. Долгих И. Н. Интеграция информационно-управляющих систем // Автоматика, связь, информатика. 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 61 508: Functional safety of electrical/electronic/programmable electronic safety related systems: Draft. June, 1998.
  24. EN 50 126: 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 50 129: Railway Applications: Safety-related Electronic Systems for Signaling. November, 2000.37.prEN 50 128'. 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 с.-19 343. Гличев А. В. Основы управления качеством продукции. М.: Изд-во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 ЦШ 1 115 842.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 с.-19 788. Приобретение знаний / Пер. с япон.: Под ред. С.Осуга., Ю. Саэки М.: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. 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 с.-201 128. Иыуду К. А. Надежность, контроль и диагностика вычислительныхгмашин и систем. М.: Высшая школа, 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 с.-203 153. Армстронг Дж. Р. Моделирование цифровых систем на языке 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.
Заполнить форму текущей работой

Заказал и сдал!