Искать
Отображаемые элементы 61-70 из 70
Проблемы многоверсионного проектирования высоконадежных параллельных программных средств для систем управления критическими технологиями
(ХАІ, 2006)
Рассматриваются основные проблемы проектирования высоконадежных программных средств для
систем управления (АСУ) критическими технологиями и системами (КТС), состав и семантика задач в
рамках отдельных проблем, обсуждаются ...
Resourse-oriented diversification of fault-tolerant PLD-systems
(ХАІ, 2006)
The analysis of methods for increasing reliability during designing the fault-tolerant digital systems with
programmable logic (PLD-systems) in terms of diversity principle is given. The concepts of internal and ...
Анализ задач разработки и реинжиниринга компьютерных сетей для критических приложений
(ХАІ, 2006)
Выполнен анализ задач разработки и реинжиниринга компьютерных сетей (КС) информационно-управляющих систем (ИУС) критического применения (КП) с использованием открытых сетевых технологий и
коммерческого сетевого оборудования. ...
Risk-oriented software reliability assessment
(ХАІ, 2006)
Software risks and risk management model are discussed. Software reliability risks are considered as a part of
general software risk model. Software reliability assessment risks concerned with reliability assessment ...
Унифицированная модель оценки верификации программного обеспечения на основе засева дефектов
(ХАІ, 2006)
Проведен анализ методов засева дефектов программного обеспечения (ПО) при оценке качества его
верификации. Предложена унифицированная модель засева дефектов, которая может быть применена на
любом из этапов разработки ПО.
Анализ возможностей современных промышленных контроллеров для разработки отказоустойчивых систем
(ХАІ, 2006)
Проанализированы существующие варианты построения отказоустойчивых систем с применением
промышленных контроллеров различных производителей. Предложены критерии сравнения таких
систем.
Абстрактные модели и элементы синтеза многоверсионных автоматов
(ХАІ, 2006)
Разработаны абстрактные модели комбинационных многоверсионных цифровых автоматов (МВЦА).
Предложены элементы синтеза МВЦА. Приведены результаты исследования безотказности и
достоверности функционирования комбинационных МВЦА.
Обеспечение активной отказоустойчивости технических систем
(ХАІ, 2006)
В статье анализируются известные подходы к обеспечению отказоустойчивости, базирующиеся на технологиях диагностирования и восстановления функционального состояния технических систем. Рассматриваются особенности адаптивного ...
Модель оценивания качества программного обеспечения ИУС критического применения на основе инвариантов
(ХАІ, 2006)
Предложенный подход создает возможности в рамках risk-informed регулирования безопасности АЭС
количественно оценивать и управлять величиной снижения вероятности рисков остаточных дефектов
программного обеспечения (ПО) ...
Проблеми вартісної оцінки об'єктів інтелектуальної власності
(ХАІ, 2006)
Доведено необхідність освоєння та поширення потоку інновацій, що передбачає використання об’єктів
інтелектуальної власності. Визначено, що використання зарубіжних методів оцінки інтелектуальної власності призводить до ...