Надежные отказоустойчивые информационные системы. Методы синтеза
| Main Author: | |
|---|---|
| Summary: | В книге приведены концептуальные положения обеспечения структурной и функциональной надежности информационных систем на всех этапах их жизненного цикла. Различные виды структурного резервирования рассмотрены с учетом ограничений в обнаружении отказов. При этих условиях оценена их эффективность и установлены предельные возможности структурного резервирования в предположении бесконечного количества резервных устройств. Рассмотрены способы обеспечения функциональной надежности программных средств, в том числе приведены рекомендации по разработке спецификации требований к программам, описана технология разработки архитектуры надежной программы, приведены хорошо апробированные правила и рекомендации по проектированию надежного программного обеспечения и его реализацию, а также интеграции с аппаратными средствами системы. Представлены теоретические и практические положения адаптивной отказоустойчивости (активной защиты) информационных систем, в том числе методы и дисциплины активной защиты, способы ее практической реализации. Предложен метод синтеза активной защиты, а также результаты исследования надежности информационных систем с различными дисциплинами активной защиты. Оценена ее эффективность по отношению к традиционным методам структурного резервирования. Рассмотрены принципы обеспечения функциональной безопасности информационных систем, обоснована возможность перезапуска независимых каналов в двух-канальных безопасных системах, разработаны правила определения допустимого времени гарантированного обнаружения одиночных и двойных отказов, одиночных и двойных отказов, разработан метод синтеза комбинированной двухуровневой информационной системы, к которой предъявлены повышенные требования по функциональной безопасности. Для подтверждения соответствия надежности и функциональной безопасности разработан метод ускоренных натурных испытаний информационной системы и приведен пример его практической реализации, развиты методики сертификационных испытаний по требованиям безопасности информации и декларирования соответствия программных средств. В конце каждой главы содержатся контрольные вопросы по наиболее сложному и значимому материалу главы. Книга рассчитана, в первую очередь, на специалистов, занимающихся практической работой по разработке, производству, эксплуатации и модификации информационных систем. Она предназначена научным работникам в области структурной надежности различных дискретных систем, преподавательскому составу, аспирантам и студентам, специализирующимся в области информационных систем, а также в области автоматизированных систем управления. |
| Published: |
Москва, Журнал "Надежность", 2016
|
| Subjects: | |
| Format: | Book |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=339512 |