Search
Now showing items 31-40 of 53
Анализ рисков проектирования и эксплуатации цифровых систем на ПЛИС
(ХАІ, 2006)
Рассмотрен опыт применения цифровых систем в аэрокосмической технике и атомной энергетике,
построенных на ПЛИС. Дана модель специфических рисков ПЛИС-технологии, включающих риски
разработки и верификации проектов и риски ...
Анализ и разработка архитектуры интегрированной системы безопасности объектов со сложной инфраструктурой
(ХАІ, 2006)
Рассмотрены принципы проектирования интегрированных систем объектовой безопасности. Проведен
анализ существующих систем объектовой безопасности. Приводится архитектура ядра зонально-модульной интегрированной системы ...
Повышение достоверности минимизации логических функций
(ХАІ, 2006)
Проведен анализ способа контроля достоверности результата минимизации, основанный на сжатии области определения функций по различным переменным и представлении их в точках сжатой области в
форме упорядоченной дизъюнктивной ...
Проблемы многоверсионного проектирования высоконадежных параллельных программных средств для систем управления критическими технологиями
(ХАІ, 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)
Разработаны абстрактные модели комбинационных многоверсионных цифровых автоматов (МВЦА).
Предложены элементы синтеза МВЦА. Приведены результаты исследования безотказности и
достоверности функционирования комбинационных МВЦА.