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

Введение......3 Глава 1. Основные факторы
определяющие надежность и безопасность функционирования программных комплексов......19 1.1. Основные понятия и показатели надежности программных комплексов......19 1.2. Основные понятия и факторы
определяющие функциональную безопасность программных продуктов......33 1.3. Характеристики систем и среды
для которых должна обеспечиваться функциональная безопасность программных продуктов реального времени......52 1.4. Ресурсы для обеспечения функциональной безопасности программных продуктов реального времени......62 Глава 2. Разработка требований к надежности и функциональной безопасности программных продуктов......77 2.1. Общие требования к проектированию и производству сложных программных продуктов......77 2.2. Организация и планирование разработки требований к надежности и безопасности программных продуктов......94 2.3. Процессы разработки требований к функциональной безопасности и качеству программных продуктов......112 Глава 3. Стандартизация технологических процессов обеспечения функциональной безопасности в жизненном цикле программных комплексов......125 3.1. Процессы обеспечения функциональной безопасности программных продуктов в стандарте IEC 61508:1–6: 1998–2000......127 3.2. Особенности процессов обеспечения функциональной безопасности программных продуктов в стандарте ISO 15408:1999......143 3.3. Особенности методологии обеспечения безопасности программных продуктов в стандарте ISO 13335: 1–5: 1998......159 3.4. Особенности процессов жизненного цикла программных комплексов в стандарте ISO 12207:2008......161 3.5. Особенности создания программных продуктов в системах безопасности атомных электростанций по стандарту МЭК 60880:2002......173 3.6 Особенности процессов разработки и документирования встроенных программных продуктов в стандарте ГОСТ Р 51904:2002......177 Глава 4. Испытания надежности и функциональной безопасности программных продуктов......182 4.1. Испытания надежности функционирования программных продуктов......182 4.2. Испытания динамических характеристик программных продуктов на соответствие требованиям функциональной безопасности......195 4.3. Испытания производительности и динамического использования программными продуктами ресурсов компьютера......210 4.4. Испытания эксплуатации и модификации программной документации......217 Глава 5. Удостоверение надежности и безопасности применения программного продукта реального времени......233 5.1. Средства автоматизации для испытаний надежности и функциональной безопасности программных продуктов реального времени......233 5.2. Сертификация функциональной безопасности сложных программных продуктов реального времени......259 Литература......270 Приложение. Перечень основных стандартов в области обеспечения надежности и функциональной безопасности сложных комплексов программ......273 Об Авторе......276