Search
Now showing items 11-20 of 79
Анализ рисков проектирования и эксплуатации цифровых систем на ПЛИС
(ХАІ, 2006)
Рассмотрен опыт применения цифровых систем в аэрокосмической технике и атомной энергетике,
построенных на ПЛИС. Дана модель специфических рисков ПЛИС-технологии, включающих риски
разработки и верификации проектов и риски ...
Проблемы многоверсионного проектирования высоконадежных параллельных программных средств для систем управления критическими технологиями
(ХАІ, 2006)
Рассматриваются основные проблемы проектирования высоконадежных программных средств для
систем управления (АСУ) критическими технологиями и системами (КТС), состав и семантика задач в
рамках отдельных проблем, обсуждаются ...
Абстрактные модели и элементы синтеза многоверсионных автоматов
(ХАІ, 2006)
Разработаны абстрактные модели комбинационных многоверсионных цифровых автоматов (МВЦА).
Предложены элементы синтеза МВЦА. Приведены результаты исследования безотказности и
достоверности функционирования комбинационных МВЦА.
Модели надежности информационно-управляющих систем с сетевым многоярусным мостиковым мажоритированием
(ХАІ, 2007)
Разработаны модели надежности информационно-управляющих систем с сетевым многоярусным мостиковым мажоритированием, учитывающие особенности распределенной реализации мажоритарных элементов при многоканальной организации ...
Обеспечение и оценка безопасности информационных и управляющих систем АЭС на базе ПЛИС
(ХАІ, 2007)
Обобщена структура программного обеспечения, разработанного ЗАО «Радий» для информационных и
управляющих систем АЭС. Выполнен анализ особенностей оценки и обеспечения безопасности
информационных и управляющих систем АЭС, ...
Анализ производительности коммуникационных протоколов SOAP и TCP
(ХАІ, 2007)
В статье проведен анализ факторов, влияющих на производительность распределенных вычислительных
систем и коммуникационных протоколов TCP и SOAP.
Гарантоздатність комп'ютерних систем: межа універсальності у контексті інформаційно-технічних станів
(ХАІ, 2007)
Проаналізовано структуру та таксономічні особливості гарантоздатності як комплексної властивості
комп’ютерних систем (КС) для різних застосувань. Уточнено модель станів гарантоздатних КС як сукупності технічних та ...
Семейство микроконтроллеров STM32: архитектура, технические характеристики и возможности применения в критических системах
(ХАІ, 2008)
Проведен обзор нового семейства 32-разрядных FLASH микроконтроллеров фирмы STMicroelectronics,
основанных на ядре ARM Cortex M3. Анализируются особенности их архитектуры для обеспечения повышенной производительности, ...
Адаптация к отказам контроллеров для повышения функциональной безопасности информационно-управляющих систем
(ХАІ, 2008)
Показана возможность повышения функциональной безопасности информационно-управляющих систем
с помощью применения систем защиты, учитывающих отказы управляющих контроллеров. Представлены возможные способы построения систем, ...
Оценка программного обеспечения информационных и управляющих систем АЭС при экспертизе ядерной и радиационной безопасности
(ХАІ, 2008)
Проведен анализ опыта экспертов Государственного научно-технического центра по ядерной и радиационной безопасности (ГНТЦ ЯРБ) в области оценки безопасности программного обеспечения (ПО) информационных и управляющих систем ...