Подробное описание документа

Липаев В. В.
   Функциональная безопасность программных средств / Липаев В. В. ; Ин-т системного программирования РАН. - М. : СИНТЕГ, 2004. - 340 с. - (Управление качеством). - Библиогр.: с. 335-339. - ISBN 5-89638-070-4.

Аннотация

Рассматриваются исходные данные, основные понятия и факторы, характеристики объектов и среды, для которых должна обеспечиваться функциональная безопасность программных средств (ПС) и систем. Анализируются ресурсы необходимые для функциональной безопасности, а также причины и статистические характеристики проявления дефектов и ошибок в комплексах программ. Изложена организация и планирование разработки требований к функциональной безопасности и качеству ПС. Значительное внимание уделено технологическим процессам, разработке и документированию ПС, встроенных в системы, а также содержанию стандартов, регламентируюших обеспечение их функциональной безопасности в полном жизненном цикле. Представлены рекомендации по верификации тре- бований к функциональной безопасности ПС, по тестированию модулей и программных компонентов, а также по квалификационному тестированию безопасных комплексов программ. Рекомендуются методы повышения функциональной безопасности путем оперативного контроля и восстановления (рестарта) компонентов ПС и систем, а также методы совершенствования и конфигурационного управления их функциональной безопасностью. Особое внимание уделено испытаниям, оцениванию и удостоверению функциональной безопасности сложных ПС при сертификации.
Книга предназначена для специалистов, обеспечивающих жизненный цикл сложных программных средств и систем, к которым предъявляются высокие требования к безопасности и надежности функционирования. Она может быть полезна исполнителям научных проектов и опытно-конструкторских работ, студентам и аспирантам, связанным с созданием сложных безопасных систем и программных средств высокого качества.

УДК

004.4 Программные средства

Предметные рубрики

• Программное обеспечение ЭВМ прикладное - Надежность

Общее кол-во в фондах

3 экз.

1. Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
2. Преподавательский абонемент ауд.313, ГУК, ауд. 313
3. Читальный зал ауд.305л, УЛК, ауд. 305л
4. Читальный зал ауд.313, ГУК, ауд. 313