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