Анализ функциональной безопасности информационно управляющих систем с использованием логических моделей ошибок контроля и управления
Abstract
Устойчивость к отказам программно-аппаратных средств является важной составляющей функциональной безопасности информационно-управляющих систем (ИУС), а также других критических характеристик систем, важных для безопасности (гарантоспособности, способность к эволюции и т.п.). В статье рассмотрены логические модели ошибок контроля и управления І, ІІ и ІІІ рода с учетом их влияния на безопасность системы. Стійкість до відмов програмно-апаратних засобів є важливою складовою функціональної безпеки інформаційно-керуючих систем (ІКС), а також інших критичних характеристик систем, важливих для безпеки (гарантоспроможності, здатність до еволюції тощо). У статті розглянуто логічні моделі помилок контролю та управління І, ІІ та ІІІ роду з урахуванням їхнього впливу на безпеку системи.