Search
Now showing items 1-5 of 5
Гарантоздатність комп'ютерних систем: проблеми і результати
(ХАИ, 2005)
Аналізуються проблеми гарантоздатності комп’ютерних систем, пов’язані із комплексним забезпеченням надійності та безпечності (аварійної – safety та інформаційної – security). Надається огляд основних задач, теоретичних і ...
Гарантоспособность и гарантноспособные системы: элементы методологии
(ХАІ, 2006)
Проведен анализ комплекса проблем, связанных с развитием теории и практики гарантоспособных компьютерных систем (КС). Уточнены основные понятия и структура свойства гарантоспособности. Сформулированы базовые парадигмы и ...
Гарантоздатність комп'ютерних систем: межа універсальності у контексті інформаційно-технічних станів
(ХАІ, 2007)
Проаналізовано структуру та таксономічні особливості гарантоздатності як комплексної властивості
комп’ютерних систем (КС) для різних застосувань. Уточнено модель станів гарантоздатних КС як сукупності технічних та ...
Парадигмы и принципы гарантоспособных вычислений: состояние и перспективы развития
(ХАІ, 2009)
Анализируются таксономические, методологические и технологические аспекты гарантоспособных
вычислений.
Моделирование обслуживаемых компьютерных систем с учетом вторичных дефектов программных средств
(ХАІ, 2009)
В статье анализируются допущения, принятые в моделях надежности программных средств. Предлагается подход к разработке моделей обслуживаемых компьютерных систем, в которых учитываются
возможности внесения новых (вторичных) ...