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