Search
Now showing items 1-10 of 13
Программные средства для автоматизации испытаний систем электроснабжения космических аппаратов
(ХАІ, 2003)
Изложены принципы построения программного комплекса для испытаний систем электроснабжения космических аппаратов. В качестве примера использования разработанных средств приведен алгоритм проверки одного из датчиков напряжения ...
Методика ресурсных испытаний химической батареи космического аппарата
(ХАИ, 2004)
Предложена методика ресурсных испытаний (РИ) химической батареи (БХ) космического аппарата (КА), испытательное оборудование, метод и схема измерения и управления. Приведены основные результаты РИ БХ 22НКГ-4СК КА КС5МФ2 ...
Проблемно-ориентированный язык для описания технологических процессов испытаний сложных технических систем
(ХАИ, 2006)
Рассмотрены теоретические аспекты применения проблемно-ориентированных языков для описания
технологических процессов испытаний сложных технических систем. Приведена формальная грамматика языка, который с учетом практических ...
Анализ результатов экспериментального исследования механизмов информационного взаимодействия на основе спецификации OLE for Process Control
(ХАИ, 2007)
Рассмотрены результаты экспериментальных исследований механизмов доступа к данным OPC-сервера. Приведена оценка затрат процессорного времени на обмен информацией между клиентом и сервером OPC, определена пропускная способность ...
Программное обеспечение испытаний бортовых систем космического аппарата
(ХАІ, 2006)
Предложен язык описания технологических процессов испытаний сложных технических систем, преимущественно относящихся к космической технике. Приведены основные результаты внедрения разработанных моделей, алгоритмов и программных ...
Концепции реализации функциональной безопасности и надежности в операционных системах реального времени
(ХАІ, 2006)
Анализируются методы обеспечения надежности и безопасности операционных систем реального времени (ОСРВ). Рассматриваются стандарты безопасности для ОСРВ и существующие разработки в данном направлении, обсуждается концепция ...
Модели и способы автоматизированного управления испытаниями систем космического аппарата
(ХАІ, 2007)
Выполнена разработка комплекса моделей, способов и информационных средств для автоматизации технологических процессов испытаний на основе системы энергоснабжения (СЭС) космических аппаратов
(КА). Рассмотрены некоторые ...
Практические аспекты реализации динамического планирования запросов в клиент-серверных системах на основе OPC
(ХАІ, 2008)
Показано, что ключевые для систем реального времени свойства реактивности и предсказуемости в клиент-серверных системах, реализующих технологию ОРС могут быть достигнуты при разработке программного обеспечения, реализующего ...
Оценка эффективности диверсификации программного обеспечения в аппаратно-программных комплексах критического назначения
(ХАІ, 2008)
В статье рассмотрены проблемы обеспечения безопасности функционирования организационно-технических систем путем повышения их отказоустойчивости. Проведен анализ некоторых моделей надежности
программно-аппаратных комплексов, ...
Анализ алгоритмов планирования задач реального времени для многопроцессорных систем
(ХАІ, 2008)
Важным критерием для систем реального времени является выполнение задач к поставленному сроку. В
данной статье приведены алгоритмы планирования задач реального времени для многопроцессорных
систем и проведен их анализ. ...