Обозначение: | ОСТ 32.41-95 |
Обозначение англ: | OST 32.41-95 |
Статус: | не определен законодательством |
Название рус.: | Безопасность железнодорожной автоматики и телемеханики. Методы доказательства безопасности систем и устройств железнодорожной автоматики и телемеханики |
Дата добавления в базу: | 05.05.2017 |
Дата актуализации: | 01.01.2021 |
Дата введения: | 01.10.1995 |
Дата окончания срока действия: | 30.06.2003 |
Область применения: | Стандарт распространяется на все виды систем и устройств железнодорожной автоматики и телемеханики, к которым в нормативной и конструкторской документации предъявляются требования безопасности в соответствии с ОСТ 32.17 и ОСТ 32.18. |
Оглавление: | 1. Область применения 2. Нормативные ссылки 3. Общие положения 4. Виды доказательства безопасности 5. Экспертные методы 6. Расчетные методы 7. Испытания безопасности с помощью моделирования 8. Стендовые испытания 9. Испытания в условиях эксплуатации 10. Сбор статистических данных в процессе эксплуатации 11. Структура документа "Доказательство безопасности" Приложение А. Библиография Приложение Б. Взаимосвязь методов доказательства безопасности программного обеспечения Приложение В. Классификация моделей и методов моделирования Приложение Г. Форма записи классификатора отказов Приложение Д. Независимость отказов и сбоев |
Разработан: | Петербургский государственный университет путей сообщения Управление сигнализации, связи и вычислительной техники МПС
|
Утверждён: | 28.06.1995 МПС РФ (Russian Federation Ministry of Railroads Г-519у)
|
Расположен в: |
|
Нормативные ссылки: | |