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