Пошук
Зараз показуються 1-10 з 52
Безопасность ракетно-космической техники и надежность компьютерных систем: 2000–2009 гг.
(ХАИ, 2011)
Представлена статистика запусков ракетоносителей и космических аппаратов в 2000–2009 гг., а также проведен анализ рисков, возникающих при использовании ракетно-космической техники вследствие отказов оборудования и различных ...
Елементи методології оперативної коригувальної верифікації програмних засобів інформаційно-управляючих систем космічних апаратів
(ХАИ, 2011)
Проведено аналіз програмного забезпечення (ПЗ) інформаційно-керуючих систем (ІКС) космічних систем (КС) як об'єкта верифікації, нормативної бази й існуючих методів верифікації ПЗ КС. Уведене поняття оперативної коригувальної ...
Исследование сервисов спортивного программирования как многоверсионных проектов
(ХАІ, 2010)
Рассмотрена одна из проблем многоверсионных проектов, заключающаяся в сложности получения и анализа информации для их оценки диверсности.
Применение концепции Model-Based Testing для верификации систем на базе IP-ядер
(ХАІ, 2010)
Исследуется применение концепции Model-Based Testing на примере инструментального средства ForSyDe, основанного на формальном языке программирования Haskell, для разработки модели программы, созданной с помощью IP-ядра ...
Разработка и исследование базовых моделей отказоустойчивых Web-сервисов
(ХАІ, 2010)
Приведен аналитический обзор экспериментальных исследований в сфере построения отказоустойчивых систем Web-сервисов.
Принципи побудови волоконно-оптичної інтелектуальної мережі
(ХАІ, 2010)
Проведено аналіз існуючих методів побудови телекомунікаційних мереж. При побудові мережі запропоновано використовувати елементи інтелектуальності.
Модели оценки надежности программных средств с учетом недетерминированного числа вторичных дефектов
(ХАІ, 2010)
Рассмотрены модифицированные модели оценки надежности программных средств Джелинского-Моранды и простая экспоненциальная модель, в которых учтены возможности внесения новых (вторичных) дефектов в процессе устранения ...
Модели автоматизированных систем периметровой охраны объектов с «пассивным» нарушителем
(ХАІ, 2010)
Проведен анализ структурных и функциональных моделей автоматизированных систем периметровой охраны объектов с учетом размещения датчиков контроля, коммуникационных средств и обработки информации.
Многоэтапный анализ надежности и безопасности информационно-управляющих систем
(ХАІ, 2010)
Данная работа посвящена обсуждению согласованного применения методов анализа надежности и безопасности на различных этапах жизненного цикла информационно-управляющих систем.
Аналіз проблем IT-інженерії безпеки: проект TEMPUS-SAFEGUARD
(ХАІ, 2010)
Розглядається проблема на стику "критичні об'єкти - інформаційні технології - безпека". Аналізуються термінологічний, нормативно-методичний, науково-технічний та освітній аспекти цієї проблеми та можливі шляхи її вирішення. ...