Иванченко, О. В. (кандидат технических наук; доцент кафедры информационных систем и технологий).     Модель отказоустойчивости программного обеспечения критического приложения [Текст] / О. В. Иванченко // Вісник Академії митної служби України. Серія: "Технічні науки" : науковий журнал. - 2014. - № 1. - С. 56-64 : табл., рис. - Библиогр. в конце ст. - В ОБЛ. БИБЛИОТЕКЕ ББК 32.973-018.2 Рубрики: Прикладные информационные (компьютерные) технологии в целом    Прикладні інформаційні (комп'ютерні) технології в цілому Кл.слова (ненормовані): отказоустойчивость ПО -- программное обеспечение -- критическое приложение -- марковская модель -- модель Гоела-Окумото -- Гоела-Окумото модель -- программные модули -- контуры управления -- уровень надежности -- відмовостійкість ПЗ -- програмне забезпечення -- критичний додаток -- марковська модель -- програмні модулі -- контури управління -- рівень надійності Анотація: Обеспечение требуемого уровня функциональной безопасности критических инфраструктур (КИ) в значительной степени определяется параметрами отказоустойчивости программного модуля, используемого в контурах управления КИ (т.е. рассматривается программное обеспечение (ПО) критического приложения). Однако результаты анализа последствий наиболее крупных аварий и катастроф с участием различных инфраструктурных образований свидетельствуют о недооценивании влияния сбоев, отказов ПО критического приложения на ухудшение общего уровня надежности. Для устранения указанной проблемы предлагается использовать комплексный подход к оценке отказоустойчивости ПО, методологической основой которого является аналитико-стохастическое описание процессов функционирования и тестового контроля соответсвующего программного модуля.