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

Шубинский И. Б.
   Надежные отказоустойчивые информационные системы. Методы синтеза / Шубинский И. Б. - Ульяновск : ООО "Журнал "Надежность", 2016. - 544 с. : ил. - Библиогр.: с. 526-538. - ISBN 978-5-7572-0399-7.

Аннотация

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

УДК

004.052 Надёжность и точность

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

• Информационные системы - Надежность

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

19 экз.

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