Программное обеспечение высокой надежности
Эта статья нуждается в дополнительных цитатах для проверки . ( октябрь 2023 г. ) |
![]() | Эту статью может потребовать очистки Википедии , чтобы она соответствовала стандартам качества . Конкретная проблема заключается в следующем: нишевый термин с неясным широким распространением; недостаточное количество связей с другими связанными страницами; нужно больше ссылок. ( Октябрь 2023 г. ) |
Программное обеспечение высокой целостности — это программное обеспечение , сбой которого может привести к серьезному ущербу с возможными «опасными для жизни последствиями». [ нужна ссылка ] «Целостность важна, поскольку она демонстрирует безопасность, защищенность и удобство сопровождения... кода». [1] Примерами программного обеспечения с высокой степенью интеграции являются программное обеспечение для управления ядерным реактором , программное обеспечение для авионики , программное обеспечение для обеспечения безопасности автомобилей и программное обеспечение для управления технологическими процессами . [2]
[Высокая] целостность означает, что код:
- Делает то, что должен.
- Можно протестировать.
- Имеет функции безопасности.
- Отсутствие уязвимостей безопасности.
- Легко понять и следовать логически.
- Легко редактировать и обновлять без внесения новых ошибок. [1]
К программному обеспечению высокой целостности применим ряд стандартов, в том числе:
- DO-178C , Вопросы программного обеспечения при сертификации бортовых систем и оборудования [3]
- CENELEC EN 50128, Железнодорожное оборудование. Системы связи, сигнализации и обработки. Программное обеспечение для железнодорожных систем управления и защиты. [4]
- МЭК 61508 , Функциональная безопасность электрических/электронных/программируемых электронных систем, связанных с безопасностью (E/E/PE или E/E/PES)
- ISO 26262 , Транспорт дорожный. Функциональная безопасность (особенно «часть 6» стандарта, которая называется «Разработка продукта на уровне программного обеспечения»).
См. также [ править ]
- Критическая система безопасности
- Программное обеспечение высокой доступности
- Формальные методы
- Программное обеспечение неизвестного происхождения
Ссылки [ править ]
- ^ Jump up to: Перейти обратно: а б «Что такое целостность программного обеспечения? Обзор + лучшие практики обеспечения целостности программного обеспечения» . perforce.com . Проверено 15 февраля 2022 г.
- ^ Сеннетт, Коннектикут (2012). Высокоинтегральное программное обеспечение . Springer Science & Business Media. п. 1. ISBN 978-1-4684-5777-3 . Проверено 14 февраля 2022 г.
- ^ «Разработка программного обеспечения для бортовых систем, совместимого с DO-178B/C» (PDF) . Парасофт . Проверено 14 февраля 2022 г.
- ^ Европейский комитет по электротехнической стандартизации (CENELEC). «СЕНЭЛЕК – EN 50128» . Инжиниринг360 . Проверено 14 февраля 2022 г.
Внешние ссылки [ править ]
- Буланже, Жан-Луи (13 апреля 2015 г.). Стандарты CENELEC 50128 и IEC 62279 . Джон Р. Уайли и сыновья. ISBN 978-1-84821-634-1 .
- Зима, Виктор Львович; Бхаттачарья, Сурав, ред. (2001). Программное обеспечение высокой целостности . Спрингер Сайенс+Бизнес Медиа, ООО. ISBN 978-1-4613-5530-4 . Проверено 14 февраля 2022 г.
- Уоллес, Долорес Р.; Ипполито, Лаура М.; Кун, Д. Ричард (1992). Стандарты и рекомендации по программному обеспечению высокой надежности (PDF) . Национальный институт стандартов и технологий . Проверено 15 февраля 2022 г.