| Обозначение: |  ОСТ 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у)
|
| Расположен в: |
|
| Нормативные ссылки: | |