Search
Now showing items 11-20 of 41
Assurance Case driven design for software and hardware description language based systems
(ХАІ, 2016)
The Claim-Argument-Evidence (CAE) approach is one from the worldly recognized technique directed to find
gaps in safety-related Instrumentation and Control systems design and implementation and after that to justify
meeting ...
Полумарковская модель готовности облачной инфраструктуры с интегрированной системой мониторинга технического состояния
(ХАІ, 2016)
Для оценки функциональной готовности облачной инфраструктуры (ОИ) предложен вариант
аналитико-стохастического моделирования процессов изменения технического состояния
физических машин, которые объединяются в соответствующие ...
Использование параметризируемых IP инфраструктур для разработки встроенных отказоустойчивых систем на ПЛИС
(ХАІ, 2016)
Предлагаются модели параметризируемых IP-ядер и IP инфраструктур, позволяющие аналитически
описать процесс их параметризации. Дается методика разработки отказоустойчивых систем на основе IP- и IIP-ориентированных стратегий, ...
Обеспечение информационной безопасности ИУС, важных для безопасности: процессный подход на основе системы менеджмента качества
(ХАІ, 2016)
В статье описан
предлагаемый подход к разработке кибербезопасных приложений путем создания и имплементации
процесса обеспечения информационной безопасности (ИБ) в компании-разработчике.
Проблемы создания гетерогенных систем для глобально-распределенной обработки и хранения информации
(ХАІ, 2016)
В статье рассмотрены тенденции развития современных информационных технологий и распределенных информационно-вычислительных систем.
Оцінка випромінювальних властивостей апарату для інформаційно-хвильової терапії
(ХАІ, 2016)
Проведено аналіз діючих факторів електромагнітного поля, які використовуються в інформаційно-хвильових технологіях фізіотерапії на прикладі апарату «Поріг-1».
Наукометрический анализ конференций «Гарантоспособные системы, сервисы и технологии» (DESSERT 2006-2014)
(ХАІ, 2016)
Представлено краткое описание системы конференций DESSERT, начиная с 2006 г. Выполнен наукометрический анализ работы системы конференций DESSERT с 2006 г. по 2014 г.
Метод отбора дефектосодержащих компонентов программных систем
(ХАІ, 2016)
Предложенный метод основан на учете многомерной сложности компонентов программных систем
посредством метрик. Исследована представительная выборка данных и получено экспериментальное
подтверждение допущения метода.
Анализ аспектов безопасности кооперативных человеко-машинных интерфейсов для облачных систем помощи водителю
(ХАІ, 2016)
Интеллектуальные транспортные системы обеспечивают реализацию парадигмы активной безопасности и принципы построения человеко-машинных интерфейсов (ЧМИ) для транспортных
средств (ТС). В статье дается обзор подходов к ...
Low SNR treshold in rapid estimators of complex sinusoidals
(ХАІ, 2016)
A task of estimation of complex sinusoid frequency is considered. A particular but practically important case of
low signal-to-noise ratio (SNR) is studied. The low SNR threshold, commonly overlooked in development of ...