Search
Now showing items 1-2 of 2
Программное обеспечение испытаний бортовых систем космического аппарата
(ХАІ, 2006)
Предложен язык описания технологических процессов испытаний сложных технических систем, преимущественно относящихся к космической технике. Приведены основные результаты внедрения разработанных моделей, алгоритмов и программных ...
Концепции реализации функциональной безопасности и надежности в операционных системах реального времени
(ХАІ, 2006)
Анализируются методы обеспечения надежности и безопасности операционных систем реального времени (ОСРВ). Рассматриваются стандарты безопасности для ОСРВ и существующие разработки в данном направлении, обсуждается концепция ...