Очерки истории отечественной программной инженерии 1940-е - 80-е годы


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

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

М.: 2013.

(pdf, doc/zip)

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

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