Search
Now showing items 1-10 of 50
Исследование сервисов спортивного программирования как многоверсионных проектов
(ХАІ, 2010)
Рассмотрена одна из проблем многоверсионных проектов, заключающаяся в сложности получения и анализа информации для их оценки диверсности.
Применение концепции Model-Based Testing для верификации систем на базе IP-ядер
(ХАІ, 2010)
Исследуется применение концепции Model-Based Testing на примере инструментального средства ForSyDe, основанного на формальном языке программирования Haskell, для разработки модели программы, созданной с помощью IP-ядра ...
Разработка и исследование базовых моделей отказоустойчивых Web-сервисов
(ХАІ, 2010)
Приведен аналитический обзор экспериментальных исследований в сфере построения отказоустойчивых систем Web-сервисов.
Принципи побудови волоконно-оптичної інтелектуальної мережі
(ХАІ, 2010)
Проведено аналіз існуючих методів побудови телекомунікаційних мереж. При побудові мережі запропоновано використовувати елементи інтелектуальності.
Модели оценки надежности программных средств с учетом недетерминированного числа вторичных дефектов
(ХАІ, 2010)
Рассмотрены модифицированные модели оценки надежности программных средств Джелинского-Моранды и простая экспоненциальная модель, в которых учтены возможности внесения новых (вторичных) дефектов в процессе устранения ...
Модели автоматизированных систем периметровой охраны объектов с «пассивным» нарушителем
(ХАІ, 2010)
Проведен анализ структурных и функциональных моделей автоматизированных систем периметровой охраны объектов с учетом размещения датчиков контроля, коммуникационных средств и обработки информации.
Многоэтапный анализ надежности и безопасности информационно-управляющих систем
(ХАІ, 2010)
Данная работа посвящена обсуждению согласованного применения методов анализа надежности и безопасности на различных этапах жизненного цикла информационно-управляющих систем.
Аналіз проблем IT-інженерії безпеки: проект TEMPUS-SAFEGUARD
(ХАІ, 2010)
Розглядається проблема на стику "критичні об'єкти - інформаційні технології - безпека". Аналізуються термінологічний, нормативно-методичний, науково-технічний та освітній аспекти цієї проблеми та можливі шляхи її вирішення. ...
О деградирующих системах с деградирующими компонентами
(ХАІ, 2010)
Уточняются понятия, относящиеся к системам с многоуровневой деградацией: глубина, средний шаг деградации, траектория деградации. Дается классификация систем с многоуровневой деградацией по признакам: возможности деградации ...
Методика комплексной оценки безопасности человеко-машинного интерфейса ИУС критического применения
(ХАІ, 2012)
Предложен подход к оценке безопасности человеко-машинных интерфейсов информационно-управляющих систем АЭС, основанный на методологии Safety Case. Рассматривается модель
объекта оценки с учетом человеческого фактора.