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