Технологии и инструментальные средства разработки прикладного программного обеспечения критических по безопасности систем. Обеспечение максимального качества и безопасности СПО при сокращении затрат на его разработку

Иванов Д.В.
- М.: ОАО «Корпорация «Русские системы», 2010. – 51 слайд. Содержание:
Термины и определения.
Роль программного обеспечения (ПО) в вопросах безопасности.
Как обеспечить заданный уровень безопасности?
Типовые процессы жизненного цикла ПО.
Интегральные процессы.
Категории отказных ситуаций системы (по ГОСТ Р 51904-2002).
Типовые архитектурные подходы к построению прикладного программного обеспечения критических по безопасности систем.
Открытый кросс-платформенный программный комплекс.
Независимые от платформы программные компоненты.
Централизованное управление и контроль над потоками данных.
Кросс-платформенность (переносимость).
Гибкость конфигурирования.
Открытость/Модульность
Разработка ПО без целевой аппаратуры.
Разработка специального программного обеспечения.
Стенд программного комплексирования.
Технологический канал информационного обмена.
Имитаторы внешних источников и потребителей информации.
Технологический канал информационного обмена.
Многоверсионное неидентичное ПО.
Вычислитель.
Исполнение ПО в нескольких процессах.
Инструментальные средства автоматизированного проектирования (САПР) прикладного программного обеспечения.
Разработка алгоритмов с помощью САПР.
Коллективная разработка комплекса.
Инструментальные средства для анализа и поддержки требований и верификации ПО на основе формализованных требований.
Системные требования.
Автоматизированная система управления процессами (АСУП) жизненного цикла программного обеспечения.
Типовые процессы жизненного цикла ПО.
Интегральные процессы.
Документальное сопровождение.
Результаты использования.