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