Suche
Anzeige der Dokumente 21-30 von 33
Гарантоздатність комп'ютерних систем: межа універсальності у контексті інформаційно-технічних станів
(ХАІ, 2007)
Проаналізовано структуру та таксономічні особливості гарантоздатності як комплексної властивості
комп’ютерних систем (КС) для різних застосувань. Уточнено модель станів гарантоздатних КС як сукупності технічних та ...
Семейство микроконтроллеров STM32: архитектура, технические характеристики и возможности применения в критических системах
(ХАІ, 2008)
Проведен обзор нового семейства 32-разрядных FLASH микроконтроллеров фирмы STMicroelectronics,
основанных на ядре ARM Cortex M3. Анализируются особенности их архитектуры для обеспечения повышенной производительности, ...
Адаптация к отказам контроллеров для повышения функциональной безопасности информационно-управляющих систем
(ХАІ, 2008)
Показана возможность повышения функциональной безопасности информационно-управляющих систем
с помощью применения систем защиты, учитывающих отказы управляющих контроллеров. Представлены возможные способы построения систем, ...
Оценка программного обеспечения информационных и управляющих систем АЭС при экспертизе ядерной и радиационной безопасности
(ХАІ, 2008)
Проведен анализ опыта экспертов Государственного научно-технического центра по ядерной и радиационной безопасности (ГНТЦ ЯРБ) в области оценки безопасности программного обеспечения (ПО) информационных и управляющих систем ...
Модели дефектов многоверсионных систем с учетом разнообразия технических средств и программного обеспечения
(ХАІ, 2008)
В статье получены модели дефектов мультидиверсных систем, учитывающие разнообразие программного обеспечения и технических средств, Проанализированы особенности формирования множеств дефектов отдельных программно-аппаратных ...
Парадигмы и принципы гарантоспособных вычислений: состояние и перспективы развития
(ХАІ, 2009)
Анализируются таксономические, методологические и технологические аспекты гарантоспособных
вычислений.
Возможности совместного использования современных методов анализа отказов систем, важных для безопасности
(ХАІ, 2009)
В статье проанализированы существующие методы анализа отказов, применяющиеся при разработке систем, важных для безопасности. Показаны их достоинства и недостатки, предложены
критерии, по которым можно произвести сравнение ...
Моделирование обслуживаемых компьютерных систем с учетом вторичных дефектов программных средств
(ХАІ, 2009)
В статье анализируются допущения, принятые в моделях надежности программных средств. Предлагается подход к разработке моделей обслуживаемых компьютерных систем, в которых учитываются
возможности внесения новых (вторичных) ...
Анализ моделей представления требований к программному обеспечению при их профилировании
(ХАІ, 2009)
Рассмотрены модели формального представления требований в контексте разработки метода профилирования требований программного обеспечения.
Моделирование гарантоспособных сервис-ориентированных архитектур при атаках с использованием уязвимостей
(ХАІ, 2009)
Предложена имитационная модель многоверсионной сервис-ориентированной архитектуры, функционирующей при воздействии внешних агрессивных факторов – сетевых атак. Рассмотрены принципы и
методика проведения эксперимента с ...