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

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

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

Рассмотрен механизм верификации рабочих потоков приложений, построенных по спецификации Windows Workflow Foundation и способных изменять бизнес-логику на этапе выполнения. Предложен механизм преобразования рабочих потоков в нотации сетей Петри и приведен пример такого преобразования. Для верификации предложено использовать математический аппарат сетей Петри, анализируя свойства бездефектности замкнутой эквивалентной сети Петри. Дано определение требований, характеризующих бездефектную сеть Петри.

Рассмотрены способы применения технологии Windows Workflow Foundation при разработке программного обеспечения для создания виртуальных лабораторных комплексов. Показано, что данная технология позволяет создавать инструментальные средства для построения сценариев лабораторных работ. Рассмотрена графовая модель представления потоков работ Windows Workflow Foundation (сценария лабораторных работ), а также предложен метод проверки их на корректность с помощью алгоритмов поиска в ширину и глубину. Разработан прототип программного обеспечения для наглядного представления работы выбранной технологии и методов.

Показана целесообразность применения технологии Windows Workflow Foundation при решении задач реинжиниринга средств автоматизации обработки телеметрической информации космических аппаратов. Данная технология позволяет технологу непосредственно описать ход вычислительного процесса, используя базовые исполняемые блоки или шаблоны в виде рабочих потоков. Использование конечного автомата, для моделирования процесса управления, позволяет разделить режимы функционирования на отдельные группы и производить их модификацию независимо друг от друга. Применение такого подхода предоставляет возможность накапливать знания об алгоритмах и упрощает дальнейший реинжиниринг разрабатываемой системы.