Предложен язык описания технологических процессов испытаний сложных технических систем, преимущественно относящихся к космической технике. Приведены основные результаты внедрения разработанных моделей, алгоритмов и программных ...

Анализируются методы обеспечения надежности и безопасности операционных систем реального времени (ОСРВ). Рассматриваются стандарты безопасности для ОСРВ и существующие разработки в данном направлении, обсуждается концепция ...

Выполнена разработка комплекса моделей, способов и информационных средств для автоматизации технологических процессов испытаний на основе системы энергоснабжения (СЭС) космических аппаратов (КА). Рассмотрены некоторые ...

Показано, что ключевые для систем реального времени свойства реактивности и предсказуемости в клиент-серверных системах, реализующих технологию ОРС могут быть достигнуты при разработке программного обеспечения, реализующего ...

В статье рассмотрены проблемы обеспечения безопасности функционирования организационно-технических систем путем повышения их отказоустойчивости. Проведен анализ некоторых моделей надежности программно-аппаратных комплексов, ...

Важным критерием для систем реального времени является выполнение задач к поставленному сроку. В данной статье приведены алгоритмы планирования задач реального времени для многопроцессорных систем и проведен их анализ. ...

Рассматриваются особенности применения технологии Windows Workflow Foundation при разработке программного обеспечения для автоматизации стендовых испытаний подсистем космических аппаратов таких, как спутники.

Рассматриваются особенности архитектуры многоядерных процессоров, новые требования к программному обеспечению, использующих все преимущества систем с параллельными вычислениями. Проведен анализ проблемы планирования ...

Приведены результаты построения имитационной модели подсистемы электроснабжения спутника на основе математического аппарата искусственных нейронных сетей.

Рассматриваются способы применения технологии Windows Workflow Foundation при разработке программного обеспечения для создания виртуальных лабораторных комплексов.