Search
Now showing items 1-10 of 11
Безопасность аэрокосмической техники и надежность компьютерных систем
(ХАИ, 2004)
Проведен анализ рисков, возникающих при использовании аэрокосмической (авиационной и ракетно-космической) техники (АРКТ) вследствие отказов их оборудования и различных системных компонент. Сопоставлены причины отказов ...
Гарантоздатність комп'ютерних систем: проблеми і результати
(ХАИ, 2005)
Аналізуються проблеми гарантоздатності комп’ютерних систем, пов’язані із комплексним забезпеченням надійності та безпечності (аварійної – safety та інформаційної – security). Надається огляд основних задач, теоретичних і ...
Безопасность ракетно-космической техники и надежность компьютерных систем: 2000–2009 гг.
(ХАИ, 2011)
Представлена статистика запусков ракетоносителей и космических аппаратов в 2000–2009 гг., а также проведен анализ рисков, возникающих при использовании ракетно-космической техники вследствие отказов оборудования и различных ...
Модели состояний и событий отказоустойчивых информационно-управляющих систем с учетом их влияния на безопасность
(ХАІ, 2004)
Проанализирована эволюция свойств информационных и управляющих систем (ИУС), сделан вывод о
развитии требований к их надежности: от требований к безотказности и готовности до требований к отказоустойчивости и отказобезопасности. ...
Многоэтапный анализ надежности и безопасности информационно-управляющих систем
(ХАІ, 2010)
Данная работа посвящена обсуждению согласованного применения методов анализа надежности и безопасности на различных этапах жизненного цикла информационно-управляющих систем.
Аналіз проблем IT-інженерії безпеки: проект TEMPUS-SAFEGUARD
(ХАІ, 2010)
Розглядається проблема на стику "критичні об'єкти - інформаційні технології - безпека". Аналізуються термінологічний, нормативно-методичний, науково-технічний та освітній аспекти цієї проблеми та можливі шляхи її вирішення. ...
Применение аппарата теории массового обслуживания для исследования процессов выявления и устранения уязвимостей программных средств
(ХАІ, 2014)
В статье предложены модели, позволяющие описать процессы выявления и устранения уязвимостей в
программном обеспечении (ПО). В качестве базовой модели предлагается использовать марковскую
цепь, описывающую процесс ...
Динамическая реконфигурация веб-системы на основе метрического анализа баз данных уязвимостей ОТS-компонентов
(ХАІ, 2014)
В статье проанализированы существующие методы анализа уязвимостей компонентов. Предложена
методика сравнительной оценки конфигураций программных систем на основании данных об уязвимостях компонентов и связанных уязвимостей. ...
Модель оценивания качества программного обеспечения ИУС критического применения на основе инвариантов
(ХАІ, 2006)
Предложенный подход создает возможности в рамках risk-informed регулирования безопасности АЭС
количественно оценивать и управлять величиной снижения вероятности рисков остаточных дефектов
программного обеспечения (ПО) ...
Методология обеспечения безопасности критических инфраструктур в условиях неопределенности: концепция и принципы
(ХАІ, 2015)
В работе предлагаются элементы методологического подхода к обеспечению безопасности критических инфраструктур (КИ) в условиях неопределенности. Предложенный подход включает концепцию,
принципы, модели и методы, а также ...