Search
Now showing items 11-20 of 33
Гарантоспособность и гарантноспособные системы: элементы методологии
(ХАІ, 2006)
Проведен анализ комплекса проблем, связанных с развитием теории и практики гарантоспособных компьютерных систем (КС). Уточнены основные понятия и структура свойства гарантоспособности. Сформулированы базовые парадигмы и ...
Мониторинг и обработка исключений динамически реконфигурируемых Web-служб
(ХАІ, 2006)
Проведен анализ факторов, влияющих на готовность и функциональную надежность SOA; построена
модель поведения MiddleWare при возникновении исключений; приведены результаты экспериментальных исследований мониторинга Web-сервисов.
Базовые многофрагментные макромодели оценки надежности отказоустойчивых компьютерных систем информационно-управляющих комплексов
(ХАІ, 2006)
В статье рассмотрены вопросы оценки надежности отказоустойчивых компьютерных систем информационно-управляющих комплексов (ОКС ИУК). Предложен подход по формированию множества базовых
многофрагментных макромоделей оценки ...
Использование сетей Петри при проведении анализа живучести бортовых информационно-управляющих систем
(ХАІ, 2006)
Проанализированы возможности использования цветных сетей Петри как имитационных моделей функционирования бортовых информационно-управляющих систем (БИУС). Предложено два вида сетей Петри для моделирования функционирования ...
Анализ рисков проектирования и эксплуатации цифровых систем на ПЛИС
(ХАІ, 2006)
Рассмотрен опыт применения цифровых систем в аэрокосмической технике и атомной энергетике,
построенных на ПЛИС. Дана модель специфических рисков ПЛИС-технологии, включающих риски
разработки и верификации проектов и риски ...
Проблемы многоверсионного проектирования высоконадежных параллельных программных средств для систем управления критическими технологиями
(ХАІ, 2006)
Рассматриваются основные проблемы проектирования высоконадежных программных средств для
систем управления (АСУ) критическими технологиями и системами (КТС), состав и семантика задач в
рамках отдельных проблем, обсуждаются ...
Абстрактные модели и элементы синтеза многоверсионных автоматов
(ХАІ, 2006)
Разработаны абстрактные модели комбинационных многоверсионных цифровых автоматов (МВЦА).
Предложены элементы синтеза МВЦА. Приведены результаты исследования безотказности и
достоверности функционирования комбинационных МВЦА.
Модели надежности информационно-управляющих систем с сетевым многоярусным мостиковым мажоритированием
(ХАІ, 2007)
Разработаны модели надежности информационно-управляющих систем с сетевым многоярусным мостиковым мажоритированием, учитывающие особенности распределенной реализации мажоритарных элементов при многоканальной организации ...
Обеспечение и оценка безопасности информационных и управляющих систем АЭС на базе ПЛИС
(ХАІ, 2007)
Обобщена структура программного обеспечения, разработанного ЗАО «Радий» для информационных и
управляющих систем АЭС. Выполнен анализ особенностей оценки и обеспечения безопасности
информационных и управляющих систем АЭС, ...
Анализ производительности коммуникационных протоколов SOAP и TCP
(ХАІ, 2007)
В статье проведен анализ факторов, влияющих на производительность распределенных вычислительных
систем и коммуникационных протоколов TCP и SOAP.