Критически важная для безопасности система
-
Определение критически важных для безопасности систем
- Системы, которые влияют на безопасность людей и окружающей среды.
- Примеры включают системы управления ядерными реакторами и системы жизнеобеспечения.
-
Критерии надежности
- Системы должны быть надежными, чтобы предотвратить аварии и катастрофы.
- Надежность включает в себя отказ, аварийный режим работы и отказоустойчивость.
-
Режимы обеспечения надежности
- Сбой: системы продолжают работать при выходе из строя систем управления.
- Аварийный режим: системы могут быть небезопасными, например, запуск ядерного оружия при потере связи.
- Отказоустойчивость: системы продолжают работать с пониженной эффективностью при отказе.
-
Разработка программного обеспечения для критически важных систем
- Стандартизация процессов и инструментов для тестирования и верификации.
- Соблюдение правовых и нормативных требований.
- Использование формальных методов для доказательства соответствия требованиям.
-
Примеры систем, критически важных для безопасности
- Инфраструктура: автоматические выключатели, системы диспетчеризации аварийных служб.
- Производство, передача и распределение электроэнергии.
- Медицина: аппараты для искусственной вентиляции легких, аппараты для диализа.
- Ядерная энергетика: системы управления ядерными реакторами.
- Добыча нефти и газа: системы управления скважинами, системы безопасности.
- Транспорт: железнодорожные системы сигнализации, системы управления автомобилем.
- Авиация: системы управления воздушным движением, системы жизнеобеспечения летного состава.
- Космический полет: пилотируемые космические аппараты, системы безопасности запуска ракет.
-
Ссылки и дополнительные ресурсы
- Виртуальная библиотека критически важных для безопасности систем.
- Объяснение сбоев в работе и пассивных сбоев в авионике.
Полный текст статьи: