Владимир Васильевич Липаев


Монографии Липаева В.В.

Функциональная безопасность программных средств.

Серия «Управление качеством». М.: СИНТЕГ, 2004. - 348 с.

Функциональная безопасность программных средств.

Рассматриваются исходные данные, основные понятия и факторы, характеристики объектов и среды, для которых должна обеспечиваться функциональная безопасность программных средств (ПС) и систем. Анализируются ресурсы необходимые для функциональной безопасности, а также причины и статистические характеристики проявления дефектов и ошибок в комплексах программ. Изложена организация и планирование разработки требований к функциональной безопасности и качеству ПС. Значительное внимание уделено технологическим процессам, разработке и документированию ПС, встроенных в системы, а также содержанию стандартов, регламентирующих обеспечение их функциональной безопасности в полном жизненном цикле. Представлены рекомендации по верификации требований к функциональной безопасности ПС, по тестированию модулей и программных компонентов, а также по квалификационному тестированию безопасных комплексов программ. Рекомендуются методы повышения функциональной безопасности путем оперативного контроля и восстановления (рестарта) компонентов ПС и систем, а также методы совершенствования и конфигурационного управления их функциональной безопасностью. Особое внимание уделено испытаниям, оцениванию и удостоверению функциональной безопасности сложных ПС при сертификации.

Книга предназначена для специалистов, обеспечивающих жизненный цикл сложных программных средств и систем, к которым предъявляются высокие требования к безопасности и надежности функционирования. Она может быть полезна исполнителям научных проектов и опытно-конструкторских работ, студентам и аспирантам, связанным с созданием сложных безопасных систем и программных средств высокого качества.

Оглавление:

Введение.

Глава 1. Основные факторы, определяющие функциональную безопасность программных средств.
1.1. Основные понятия и факторы, определяющие безопасность программных средств.
1.2. Характеристики систем и среды, для которых должна обеспечиваться функциональная безопасность программных средств.
1.3. Ресурсы для обеспечения функциональной безопасности программных средств.
1.4. Статистические характеристики проявления дефектов и ошибок в комплексах программ.

Глава 2.
Разработка требований к функциональной безопасности программных средств.
2.1. Организация и планирование разработки требований к функциональной безопасности программных средств.
2.2. Процессы разработки требований к функциональной безопасности и качеству программных средств.
2.3. Анализ рисков при разработке требований к функциональной безопасности программных средств.

Глава 3. Технологические процессы обеспечения функциональной безопасности в жизненном цикле программных средств.
3.1. Процессы обеспечения функциональной безопасности программных средств в стандарте IЕС 61508.
3.2. Особенности процессов обеспечения функциональной безопасности программных средств в стандарте ISO 15408.
3.3. Особенности методологии обеспечения безопасности программных средств в стандарте ISO 13335.
3.4. Особенности процессов жизненного цикла программных средств в стандарте ISO 12207.
3.5. Особенности процессов жизненного цикла программных средств в стандарте ISO 15504.
3.6. Особенности разработки и документирования встроенных программных средств в стандарте ГОСТ Р 51904.
3.7. Особенности создания программных средств в системах безопасности атомных электростанций по стандарту МЭК 60880.
3.8. Практические правила управления безопасностью в стандарте ISO 17799.

Глава 4. Верификация и тестирование программных средств для обеспечения функциональной безопасности.
4.1. Основы верификации и тестирования программ для обеспечения функциональной безопасности.
4.2. Тестирование модулей и программных компонентов.
4.3. Квалификационное тестирование функциональной безопасности компонентов и комплексов программ.
4.4. Повышение функциональной безопасности путем оперативного контроля и восстановления (рестата) компонентов программных средств и систем.

Глава 5.
Корректировка и совершенствование функциональной безопасности программных средств.
5.1. Совершенствование и конфигурационное управление функциональной безопасностью программных средств.
5.2. Организация и документирование процессов совершенствования функциональной безопасности программных средств.

Глава 6. Испытание, оценка и удостоверение функциональной безопасности программных средств.
6.1. Методы оценивания функциональной безопасности программных средств.
6.2. Форсированные испытания функциональной безопасности программных средств.
6.3. Средства автоматизации испытаний функциональной безопасности программных средств.
6.4. Удостоверение функциональной безопасности сложных программных средств при сертификации.

Приложения.
П1. Перечень основных стандартов, регламентирующих функциональную безопасность программных средств.
П2. Выбор инструментальных средств для обеспечения функциональной безопасности в жизненном цикле комплексов программ.

Литература.

Об авторе.

Информация.

Книги издательства СИНТЕГ.