Гироскопия и Навигация (Опыт применения прогр среды Диана) (Лекции 2014-2015)

Опыт применения программной среды ДИАНА для моделирования и проектирования БВС

1. Информация в Интернете доступна по адресу ftp://ftp.unibe.ch/aiub/ionosphere/doc/COD08443.ION, ftp://ftp.unibe.ch/aiub/ionosphere/doc/gimman.ps

2. Михайлов, Н.В. Метод разрешения неоднозначности фазовых измерений GPS при относительной навигации космических объектов / Н.В.Михайлов, В.Ф. Михайлов // Гироскопия и Навигация, №4, 2008.

Abstract. Phase ambiguity resolution method proposed by the authors earlier now is applied to solution of the determination problem of low earth-orbit satellite relative position by the data of navigation satellites. Results of the relative navigation method use with one fixed-frequency GPS receiver both for model data and experimental data, in particular, using GPS data recorded during project GRACE implementation, are discussed. Simulation results show satisfactory quality of relative coordinates estimate on the base up to 30 km.

удк 531.746

В.В.Балашов, А.Г.Бахмуров, Д.Ю.Волканов, Р.Л.Смелянский, М.В.Чистолинов, Н.В.Ющенко, Г.Т.Мамонтов, П.В.Юхта^

Опыт применения программной среды ДИАНА
для моделирования и ПроЕКТИРОВАНИЯ
бортовых вычислительных систем

Рассматривается программная среда моделирования бортовых вычислительных систем ДИАНА. Обсуждаются возможности, сферы применения и направления развития среды. Приводятся результаты апробации полученных моделей для задач ЦНИИ «Электроприбор».

Введение

Проблемы проектирования систем реального времени (СРВ) давно и активно обсуждаются в мировой литературе. Обычно к числу СРВ относят те системы, правильность функционирования которых зависит не только от логической корректности вычислений, но и от времени, за которое эти вычисления производятся. В этот класс, как правило, включают системы специального назначения – различные управляющие, навигационные, измерительные системы, быстродействие которых должно быть адекватно скорости протекания физических процессов на объектах управления или измерения. Для подобных систем важно, чтобы все происходящие в них события имели бы достаточно точную временную привязку, т.е. чтобы временная диаграмма системы характеризовалась бы не только корректностью, но и высокой стабильностью. Все это создает дополнительные трудности при проектировании, отладке и сопровождении СРВ
[1 – 3]. Очевидно, что преодолеть их в определенной степени позволяет проведение моделирования на разных этапах жизненного цикла систем или их фрагментов. В настоящей статье описываются возможности программной среды ДИАНА (ДИнамический АНАлизатор) [4 – 6], предназначенной для моделирования бортовых вычислительных систем (БВС) реального времени, а также приводятся первичные результаты ее применения при разработке в ЦНИИ «Электроприбор» современных морских навигационных комплексов (НК). Среда разработана в МГУ имени М.В. Ломоносова под руководством профессора Р.Л. Смелянского.

Рис. 1. Структура НК: ИНС  инерциальная навигационная система, СНС  спутниковая
навигационная система, ЦВК КО  цифровой вычислительный комплекс комплексной обработки, АРМШ  автоматизированное рабочее место штурмана

В состав современного морского НК входит , как правило, целый ряд навигационных и информационно-вычислительных систем (рис. 1). Его вычислительные средства образуют многомашинную вычислительную систему реального времени, которая в данном случае и является объектом моделирования. Количество каналов связи между вычислителями НК достигает нескольких десятков. При этом основной тип канала – мультиплексный канал информационного обмена (МКИО) по ГОСТ 26765.52-87 (MILS1553), ГОСТ Р 52070-2003.

Можно говорить о полезности моделирования по отношению к любому этапу жизненного цикла системы. Так, на этапах предварительного проектирования представляются важными проверка и исследование технических решений в части структуры БВС, каналов обмена, характеристик приборов и их программного обеспечения. На этапе отладки программного обеспечения (ПО) при отсутствии реальных приборов для его установки и отладки в среде ДИАНА могут быть смоделированы отсутствующие приборы, а также сымитированы отказы и сбои работы каналов обмена и приборов и тем самым обеспечена возможность эффективной отладки ПО, отладки реакции программ диагностирования и восстановления на сбойные ситуации.

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

1. Возможности и принципы функционирования среды моделирования ДИАНА

Среда ДИАНА применялась в конфигурации двух компонентов – стенда моделирования бортовых вычислительных систем (СМ БВС) и системы автоматизированного проектирования (САПР) циклограмм обменов по МКИО [6]. Первый компонент отвечает за моделирование БВС, а вторая – за построение циклограмм обменов по МКИО. Полный состав компонентов среды ДИАНА приведен в [4].

Основной функцией СМ БВС являются создание и организация выполнения в реальном времени имитационных моделей компонентов бортовых систем, вспомогательных моделей (например, модели движения объекта) и моделей информационных каналов. При этом возможно моделирование отказов в каналах обмена с воспроизведением процедур их отработки. Разрабатываемые в среде ДИАНА модели обладают двумя принципиальными особенностями. Во-первых, это воспроизведение в них реальной временнóй диаграммы, а во-вторых, это принятый в среде макроуровень моделирования, когда работа прибора, системы или комплекса воспроизводится не на уровне работы их элементов, а на уровне необходимых для исследования особенностей организации вычислительного процесса. При этом могут быть реализованы модели двух уровней сложности – с учетом внутренней организации вычислительного процесса (на уровне потоков программ) и без ее учета.

Процесс моделирования может осуществляться в течение любого заданного инженером-экспериментатором времени. В ходе моделирования выполняется оперативное отображение значений выбранных переменных в составе моделей, также возможна оперативная модификация этих значений пользователем. Анализ результатов происходит в режиме постанализа. В процессе моделирования вся необходимая информация накапливается в массиве – трассе событий. После завершения модельного эксперимента трасса визуализируется в виде набора временных диаграмм (рис. 2), каждая из которых соответствует одной из использованных моделей (системы, прибора, канала обмена и т.п.). На рис.2 представлены диаграммы для модели движения, ИНС, приборов из состава ЦВК КО и т.д. На диаграммах отображаются произошедшие в процессе моделирования события и состояния (решение задач, передача или прием информации и т.п.). Стрелки указывают на связи между событиями в модели при информационных обменах. Визуализатор временнóй диаграммы поддерживает анализ результатов моделирования, предоставляя функции поиска и выборочного отображения (фильтрации) событий и состояний; в частности поддерживается поиск событий обмена по МКИО с учетом специфических для стандарта МКИО признаков (адреса отправителя и получателя, формат обмена и т.д.).

Рис. 2. Трасса модельного эксперимента

С помощью встроенного средства анализа производительности можно получить статистическую информацию о процессах, произошедших в системе за время эксперимента: общее время нахождения в некотором состоянии системы, средняя продолжительность состояния и др. Кроме того, возможен экспорт результатов эксперимента во внешний формат (определен с помощью языка XML) для анализа работы модели с помощью других программных средств.

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

При моделировании системы исполняемые программы БВС могут быть представлены либо своими исходными текстами, предназначенными для использования в реальных системах, либо временными интервалами, соответствующими реальному времени их исполнения в БВС. Безусловно, это время существенно превышает время, затрачиваемое инструментальной машиной на исполнение реального кода программы. В связи с этим для соблюдения реальной временнóй диаграммы БВС среда моделирования делает доступными выходные данные этих программ только по истечении реального (заданного в модели) времени их исполнения в БВС.

При моделировании межмодельных интерфейсов и интерфейсов между узлами БВС используются два основных варианта – интерфейс МКИО, соответствующий ГОСТ 26765.52-87, ГОСТ Р 52070-2003, и интерфейс «модель  модель». В первом случае модель учитывает большинство особенностей реализации интерфейса, во втором случае никакие особенности реального интерфейса не учитываются.

Второй компонент среды – САПР циклограмм обмена данными по каналу МКИО – обеспечивает выполнение нескольких функций, начиная с создания базы данных проекта, заполнения форматов слов данных и заканчивая автоматической компоновки сообщений из слов данных и автоматической генерацией циклограмм передачи сообщений. При этом, конечно, не исключается отрицательный исход, когда циклограмма не строится, поскольку задание может оказаться в принципе нереализуемым. В этих случаях САПР может сформировать рекомендации по корректировке исходного задания. Допускаются ручное формирование и корректировка циклограммы.

2. Архитектура стенда моделирования БВС

Структура стенда моделирования в обобщенном виде изображена на рис. 3. Стенд включает НК, представленный его системами, приборами, а также моделями отсутствующих систем и приборов, реализуемых на инструментальных машинах (ИМ ЧМ). Кроме того, в состав стенда входят машины АРМ инженера-экспериментатора.

Рис. 3. Стенд моделирования

Средства, установленные на инструментальных машинах частных моделей, кроме среды выполнения моделей, включают библиотеку поддержки моделирования, программные модели каналов МКИО, средства регистраций событий моделирования, средства взаимодействия по натурным каналам МКИО.

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

Возможно объединение средств АРМ и ИМ ЧМ на одной машине.

Модели приборов в среде ДИАНА создаются с помощью языка описания моделей (ЯОМ). Данный язык представляет собой надстройку над языком С⁺⁺, но имеет некоторые ограничения. Так, например, ограничена работа с файлами и динамически распределяемой памятью; не допускается создание пользовательских классов С⁺⁺. Надстройка включает операторы, описывающие состояние модели, операторы привязки к реальному времени, описания каналов обмена, а также операторы, описывающие специфические компоненты языка – параметры, предназначенные для связи с другими моделями или для фиксации интересующих экспериментатора значений параметров.

3. Результаты апробации

В рамках совместного проекта МГУ имени М.В. Ломоносова и ЦНИИ «Электроприбор» была проведена апробация и адаптация программной среды ДИАНА для БВС морских навигационных комплексов. При этом были рассмотрены фрагменты двух БВС, структурные схемы которых в упрощенном виде представлены на рис.4. В состав первого фрагмента входили приборы контроллеров МКИО (КМ1 и КМ2), вычислительные приборы комплексной обработки (ВЦ1 и ВЦ2) и приборы связи с потребителями (ПСЦ1 и ПСЦ2). Экземпляры одноименных приборов обменивались информацией по радиальным каналам (РКО). Состав и конфигурация второго фрагмента были несколько иными. В нем отсутствовали приборы связи, но при этом появились три трансляционных прибора (ТЦА, ТА1 и ТА2).

а) б)