Search
Now showing items 1-10 of 33
Безопасность аэрокосмической техники и надежность компьютерных систем
(ХАИ, 2004)
Проведен анализ рисков, возникающих при использовании аэрокосмической (авиационной и ракетно-космической) техники (АРКТ) вследствие отказов их оборудования и различных системных компонент. Сопоставлены причины отказов ...
Имитационное моделирование отказоустойчивых бортовых систем управления с программируемой логикой с учетом факторов среды
(ХАИ, 2004)
Сформулирована задача оценки влияния отказов на работоспособность встроенных систем управления с программируемой логикой (ВСУПЛ). Раскрыты возможные пути решения задачи при помощи различных методов моделирования. Описан ...
Гарантоздатність комп'ютерних систем: проблеми і результати
(ХАИ, 2005)
Аналізуються проблеми гарантоздатності комп’ютерних систем, пов’язані із комплексним забезпеченням надійності та безпечності (аварійної – safety та інформаційної – security). Надається огляд основних задач, теоретичних і ...
Требования к разработке, верификации, сертификации и сопровождению программного обеспечения бортовой авиационной техники: опыт создания и использования стандарта предприятия
(ХАИ, 2007)
Изложен опыт разработки и использования стандарта предприятия СТП 522-120-2004, содержащего требования к разработке, верификации, сертификации и сопровождению программного обеспечения бортовой авиационной техники. Проведен ...
Модели безотказности и готовности встроенных мультидиверсных систем
(ХАИ, 2008)
Проанализировано применение принципа диверсности для встроенных аэрокосмических систем. Определено понятие мультидиверсной системы (МДВС). Разработаны модели надежности (безотказности и готовности) МДВС с учетом возможных ...
Анализ рисков аварий для ракетно-космической техники: эволюция причин и тенденций
(ХАІ, 2003)
Проведен эволюционный анализ рисков, возникающих при использовании ракетно-космической
техники (РКТ). Дана оценка влияния отказов аппаратных и программных средств бортовых
компьютеров (БК) на аварии РКТ.
Использование метрик Холстеда при оценке безопасности критического программного обеспечения
(ХАІ, 2003)
Предложена методика использования метрик Холстеда при экспертной оценке программного обеспечения информационно-управляющих систем критического применения. Получен универсальный алгоритм расчета метрик Холстеда для ассемблерных ...
Модели состояний и событий отказоустойчивых информационно-управляющих систем с учетом их влияния на безопасность
(ХАІ, 2004)
Проанализирована эволюция свойств информационных и управляющих систем (ИУС), сделан вывод о
развитии требований к их надежности: от требований к безотказности и готовности до требований к отказоустойчивости и отказобезопасности. ...
Применение динамических радиальных метрических диаграмм для управления многоверсионными программными проектами
(ХАІ, 2005)
Анализируются проблемы, связанные с оценкой многоверсионного программного обеспечения (ПО) с
использованием метрик диверсности (МД), применяющихся для анализа степени разнообразия версий.
Рассмотрена возможность использования ...
Многошаговая процедура построения графа состояний при исследовании вычислительных систем с использованием аппарата марковских процессов
(ХАІ, 2005)
Выполнен анализ задач моделирования вычислительных систем (ВС) с использованием аппарата теории марковских процессов. Предложена методика построения графа состояний путем систематизации и пошагового учета допущений, связанных ...