Search
Now showing items 1-2 of 2
Безопасность ракетно-космической техники и надежность компьютерных систем: 2000–2009 гг.
(ХАИ, 2011)
Представлена статистика запусков ракетоносителей и космических аппаратов в 2000–2009 гг., а также проведен анализ рисков, возникающих при использовании ракетно-космической техники вследствие отказов оборудования и различных ...
Елементи методології оперативної коригувальної верифікації програмних засобів інформаційно-управляючих систем космічних апаратів
(ХАИ, 2011)
Проведено аналіз програмного забезпечення (ПЗ) інформаційно-керуючих систем (ІКС) космічних систем (КС) як об'єкта верифікації, нормативної бази й існуючих методів верифікації ПЗ КС. Уведене поняття оперативної коригувальної ...