Надежность и функциональная безопасность комплексов программ реального времени

Description

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