Suche
Anzeige der Dokumente 1-2 von 2
Модель оценивания качества программного обеспечения ИУС критического применения на основе инвариантов
(ХАІ, 2006)
Предложенный подход создает возможности в рамках risk-informed регулирования безопасности АЭС
количественно оценивать и управлять величиной снижения вероятности рисков остаточных дефектов
программного обеспечения (ПО) ...
Обзор и анализ возможностей виртуальных машин как средства обеспечения безопасности функционирования программных средств
(ХАИ, 2007)
Проанализирована существующая проблема обеспечения функциональной безопасности программного обеспечения критического назначения. Проведен обзор и анализ существующих типов виртуальных машин (ВМ), их архитектур и свойств. ...