Монография. – М: Институт системного
программирования РАН, 2013. — 207 с. — ISBN: 978-5-4475-3841-5
Рассмотрены основные факторы, определяющие надежность и
безопасность функционирования программных комплексов реального
времени, характеристики систем и среды, для которых должна
обеспечиваться функциональная безопасность программных продуктов
реального времени и необходимые ресурсы. Представлены требования к
проектированию функциональной пригодности сложных программ,
организация, планирование и процессы разработки требований к
безопасности программных продуктов. Изложено содержание основных
международных стандартов технологических процессов обеспечивающих
функциональную безопасности в жизненном цикле комплексов программ.
Значительное внимание уделено испытаниям надежности и
функциональной безопасности сложных программных продуктов,
Программе и методикам испытаний компонентов и комплексов программ,
динамическим характеристикам программных продуктов. Рассмотрены
технологические средства автоматизации испытаний функциональной
безопасности программных продуктов. удостоверение требуемой
функциональной безопасности и сертификации сложных программных
продуктов.
Монография предназначена руководителям и разработчикам сложных систем и программных продуктов, к которым предъявляются высокие требования к надежности и функциональной безопасности применения. Книга ориентирована на исполнителей опытно- конструкторских работ, студентов и аспирантов, связанных с созданием систем и программных продуктов высокого качества и безопасности. Оглавление.
Введение.
Основные факторы, определяющие надежность и безопасность функционирования программных комплексов.
Основные понятия и показатели надежности программных комплексов.
Основные понятия и факторы, определяющие безопасность программных продуктов.
Характеристики систем и среды, для которых должна обеспечиваться функциональная безопасность программных продуктов реального времени.
Ресурсы для обеспечения функциональной безопасности программных продуктов реального времени. Разработка требований к надежности и функциональной безопасности программных продуктов.
Общие требования к проектированию и производству сложных программных продуктов.
Организация и планирование разработки требований к надежности и безопасности программных продуктов.
Процессы разработки требований к функциональной безопасности и качеству программных продуктов. Стандартизация технологических процессов обеспечения функциональной безопасности в жизненном цикле программных комплексов.
Введение к стандартам.
Процессы обеспечения функциональной безопасности программных продуктов в стандарте IEC 61508:1-6: 1998-2000.
Особенности процессов обеспечения функциональной безопасности программных продуктов в стандарте ISO 15408:1999.
Особенности методологии обеспечения безопасности программных продуктов в стандарте ISO 13335: 1-5: 1998.
Особенности процессов жизненного цикла программных комплексов в стандарте ISO 12207:2008.
Особенности создания программных продуктов в системах безопасности атомных электростанций по стандарту МЭК 60880:2002.
Особенности процессов разработки и документирования встроенных программных продуктов в стандарте ГОСТ Р 51904:2000. Испытания надежности и функциональной безопасности программных продуктов.
Испытания надежности функционирования программных продуктов.
Испытания динамических характеристик программных продуктов на соответствие требованиям функциональной безопасности.
Испытания производительности и динамического использования ресурсов компьютера программными продуктами.
Испытания эксплуатации и модификация программной документации. Удостоверение надежности и безопасности применения программного продукта реального времени.
Средства автоматизации для испытаний надежности и функциональной безопасности программных продуктов.
Сертификация функциональной безопасности сложных программных продуктов реального времени.
Монография предназначена руководителям и разработчикам сложных систем и программных продуктов, к которым предъявляются высокие требования к надежности и функциональной безопасности применения. Книга ориентирована на исполнителей опытно- конструкторских работ, студентов и аспирантов, связанных с созданием систем и программных продуктов высокого качества и безопасности. Оглавление.
Введение.
Основные факторы, определяющие надежность и безопасность функционирования программных комплексов.
Основные понятия и показатели надежности программных комплексов.
Основные понятия и факторы, определяющие безопасность программных продуктов.
Характеристики систем и среды, для которых должна обеспечиваться функциональная безопасность программных продуктов реального времени.
Ресурсы для обеспечения функциональной безопасности программных продуктов реального времени. Разработка требований к надежности и функциональной безопасности программных продуктов.
Общие требования к проектированию и производству сложных программных продуктов.
Организация и планирование разработки требований к надежности и безопасности программных продуктов.
Процессы разработки требований к функциональной безопасности и качеству программных продуктов. Стандартизация технологических процессов обеспечения функциональной безопасности в жизненном цикле программных комплексов.
Введение к стандартам.
Процессы обеспечения функциональной безопасности программных продуктов в стандарте IEC 61508:1-6: 1998-2000.
Особенности процессов обеспечения функциональной безопасности программных продуктов в стандарте ISO 15408:1999.
Особенности методологии обеспечения безопасности программных продуктов в стандарте ISO 13335: 1-5: 1998.
Особенности процессов жизненного цикла программных комплексов в стандарте ISO 12207:2008.
Особенности создания программных продуктов в системах безопасности атомных электростанций по стандарту МЭК 60880:2002.
Особенности процессов разработки и документирования встроенных программных продуктов в стандарте ГОСТ Р 51904:2000. Испытания надежности и функциональной безопасности программных продуктов.
Испытания надежности функционирования программных продуктов.
Испытания динамических характеристик программных продуктов на соответствие требованиям функциональной безопасности.
Испытания производительности и динамического использования ресурсов компьютера программными продуктами.
Испытания эксплуатации и модификация программной документации. Удостоверение надежности и безопасности применения программного продукта реального времени.
Средства автоматизации для испытаний надежности и функциональной безопасности программных продуктов.
Сертификация функциональной безопасности сложных программных продуктов реального времени.