СОДЕРЖАНИЕ

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

Об авторе: окончил физический факультет МГУ, доктор технических наук, профессор, главный научный сотрудник Института системного программирования РАН. Длительное время работал в Московском НИИ приборной автоматики, в последние годы - Главным конструктором и председателем Координационного совета Министерства радиопромышленности СССР по автоматизации проектирования программного обеспечения, руководителем комплексного проекта ПРОМЕТЕЙ по разработке автоматизированных технологий создания крупномасштабных программных средств для систем реального времени. Автор более тридцати монографий и методических руководств, а также 250 оригинальных статей и изобретений.

вперед