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

Радіоелектронні і комп'ютерні системи [Текст] : наук. - техн. журн. / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т" // Радіоелектронні і комп'ютерні системи ; М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т" - Х. : ХАІ. — Х. : ХАІ, 2016.

• УДК // Якість систем і програмного забезпечення