|
|
|
|
| LEADER |
00000nam0a2200000 4500 |
| 001 |
339512 |
| 005 |
20231102005142.0 |
| 010 |
|
|
|a 9785757203997
|
| 035 |
|
|
|a (RuTPU)RU\TPU\book\366028
|
| 090 |
|
|
|a 339512
|
| 100 |
|
|
|a 20171225d2016 km y0rusy50 ca
|
| 101 |
0 |
|
|a rus
|
| 102 |
|
|
|a RU
|
| 105 |
|
|
|a a z 001zy
|
| 200 |
1 |
|
|a Надежные отказоустойчивые информационные системы. Методы синтеза
|f И. Б. Шубинский
|
| 210 |
|
|
|a Москва
|c Журнал "Надежность"
|a Ульяновск
|c Печатный двор
|d 2016
|
| 215 |
|
|
|a 544 с.
|c ил.
|
| 320 |
|
|
|a Библиогр.: с. 526-538
|
| 330 |
|
|
|a В книге приведены концептуальные положения обеспечения структурной и функциональной надежности информационных систем на всех этапах их жизненного цикла. Различные виды структурного резервирования рассмотрены с учетом ограничений в обнаружении отказов. При этих условиях оценена их эффективность и установлены предельные возможности структурного резервирования в предположении бесконечного количества резервных устройств. Рассмотрены способы обеспечения функциональной надежности программных средств, в том числе приведены рекомендации по разработке спецификации требований к программам, описана технология разработки архитектуры надежной программы, приведены хорошо апробированные правила и рекомендации по проектированию надежного программного обеспечения и его реализацию, а также интеграции с аппаратными средствами системы. Представлены теоретические и практические положения адаптивной отказоустойчивости (активной защиты) информационных систем, в том числе методы и дисциплины активной защиты, способы ее практической реализации. Предложен метод синтеза активной защиты, а также результаты исследования надежности информационных систем с различными дисциплинами активной защиты. Оценена ее эффективность по отношению к традиционным методам структурного резервирования.
|
| 330 |
|
|
|a Рассмотрены принципы обеспечения функциональной безопасности информационных систем, обоснована возможность перезапуска независимых каналов в двух-канальных безопасных системах, разработаны правила определения допустимого времени гарантированного обнаружения одиночных и двойных отказов, одиночных и двойных отказов, разработан метод синтеза комбинированной двухуровневой информационной системы, к которой предъявлены повышенные требования по функциональной безопасности. Для подтверждения соответствия надежности и функциональной безопасности разработан метод ускоренных натурных испытаний информационной системы и приведен пример его практической реализации, развиты методики сертификационных испытаний по требованиям безопасности информации и декларирования соответствия программных средств. В конце каждой главы содержатся контрольные вопросы по наиболее сложному и значимому материалу главы. Книга рассчитана, в первую очередь, на специалистов, занимающихся практической работой по разработке, производству, эксплуатации и модификации информационных систем. Она предназначена научным работникам в области структурной надежности различных дискретных систем, преподавательскому составу, аспирантам и студентам, специализирующимся в области информационных систем, а также в области автоматизированных систем управления.
|
| 488 |
|
1 |
|0 (RuTPU)RU\TPU\book\366030
|y 978-5-7572-0327-0
|t Функциональная надежность информационных систем. Методы анализа
|f И. Б. Шубинский
|c Москва
|n Журнал "Надежность"
|c Ульяновск
|n Печатный двор
|d 2012
|p 296 с.
|
| 488 |
|
1 |
|0 (RuTPU)RU\TPU\book\366029
|y 978-5-7572-0326-3
|t Структурная надежность информационных систем. Методы анализа
|f И. Б. Шубинский
|c Москва
|n Журнал "Надежность"
|c Ульяновск
|n Печатный двор
|d 2012
|p 216 с.
|a Шубинский, Игорь Борисович
|
| 606 |
1 |
|
|a Информационные системы
|x Надежность
|2 stltpush
|3 (RuTPU)RU\TPU\subj\76939
|9 87687
|
| 610 |
1 |
|
|a отказоустойчивость
|
| 610 |
1 |
|
|a резервирование
|
| 610 |
1 |
|
|a системы реального времени
|
| 610 |
1 |
|
|a программные средства
|
| 610 |
1 |
|
|a жизненный цикл
|
| 610 |
1 |
|
|a функциональная безопасность
|
| 610 |
1 |
|
|a подтверждение соответствий
|
| 675 |
|
|
|a 004.052
|v 4
|
| 700 |
|
1 |
|a Шубинский
|b И. Б.
|g Игорь Борисович
|
| 801 |
|
1 |
|a RU
|b 63413507
|c 20171225
|
| 801 |
|
2 |
|a RU
|b 63413507
|c 20180207
|g RCR
|
| 942 |
|
|
|c BK
|
