Search
Now showing items 1-2 of 2
Модели состояний и событий отказоустойчивых информационно-управляющих систем с учетом их влияния на безопасность
(ХАІ, 2004)
Проанализирована эволюция свойств информационных и управляющих систем (ИУС), сделан вывод о
развитии требований к их надежности: от требований к безотказности и готовности до требований к отказоустойчивости и отказобезопасности. ...
Модель оценивания качества программного обеспечения ИУС критического применения на основе инвариантов
(ХАІ, 2006)
Предложенный подход создает возможности в рамках risk-informed регулирования безопасности АЭС
количественно оценивать и управлять величиной снижения вероятности рисков остаточных дефектов
программного обеспечения (ПО) ...