Графическая среда построения сценариев испытаний бортовой аппаратуры космического аппарата Текст научной статьи по специальности «Компьютерные и информационные науки»

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

Библиографические ссылки

1. Майерс Г. Надежность программного обеспечения. М. : Мир, 1980. 360 с.

2. ECSS-Q-ST-80C. Space product assurance: software product assurance, 2009.

3. Синицын С. В., Налютин Н. Ю. Верификация ПО. М. : БИНОМ, 2008.

4. Berry G. The Effectiveness of Synchronous Languages for the Development of Safety-Critical Systems. Esterel Technologies [Electronic resourse]. 2003. URL: http://dnlcenter.esterel-technologies.com/ (date of visit: 10.10.2015).

5. Conquet E., Dormoy F., Lesens D. Formal Model Driven Engineering for Space Onboard Software [Electronic resourse] // ERTS2. 2012. URL: http://dnlcenter. esterel-technologies.com/ (date of visit: 10.10.2015).

6. Lesens D. SCADE Suite in Space Applications at EADS Astrium Space Transportation [Electronic resourse]. 2008. URL: http://dnlcenter.esterel-techno-logies.com/ (date of visit: 10.10.2015).

References

1. Mayers G. Nadezhnost' programmnogo obespecheniya [SW Reliability]. M. : Mir, 1980. 360 p.

2. ECSS-Q-ST-80C. Space product assurance: software product assurance, 2009.

3. Sinitsyn S. V., Nalyutin N. Yu. Verifikatsiya programmnogo obespecheniya [Software Verification]. M. : BINOM, 2008.

4. Berry G. The Effectiveness of Synchronous Languages for the Development of Safety-Critical Systems. Esterel Technologies [Electronic resourse]. 2003. URL: http://dnlcenter.esterel-technologies.com/ (date of visit: 10.10.2015).

5. Conquet E., Dormoy F., Lesens D. Formal Model Driven Engineering for Space Onboard Software [Electronic resourse]. ERTS2. 2012. URL: http://dnlcenter.esterel-technologies.com/ (date of visit: 10.10.2015).

6. David L. SCADE Suite in Space Applications at EADS Astrium Space Transportation [Electronic resourse]. 2008. URL: http://dnlcenter.esterel-technologies.com/ (date of visit: 10.10.2015).

© Бурков А. Ю., Насыров М. Б., 2015

УДК 004.42

ГРАФИЧЕСКАЯ СРЕДА ПОСТРОЕНИЯ СЦЕНАРИЕВ ИСПЫТАНИЙ БОРТОВОЙ АППАРАТУРЫ КОСМИЧЕСКОГО АППАРАТА*

Р. В. Вогоровский

Институт вычислительного моделирования СО РАН Российская Федерация, 660036, г. Красноярск, Академгородок, 50/44 E-mail: [email protected]

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

Ключевые слова: космический аппарат; бортовая аппаратура; контрольно-проверочная аппаратура.

GRAPHIC ENVIRONMENT FOR BUILDING SCRIPTS OF TESTING SPACECRAFT ONBOARD SYSTEMSОшибка! Закладка не определена.

R. V. Vogorovskiy

Institute of Computational Modeling SB RAS 50/44, Akademgorodok, Krasnoyarsk, 660036, Russian Federation E-mail: [email protected]

The principles of building test scripts for the spacecraft onboard systems using graphic editor are observed.

Keywords: spacecraft; onboard systems; test and control equipment.

*

Работа выполнена при финансовой поддержке Минобрнауки России в Институте вычислительного моделирования СО РАН (договор № 02.G25.31.0041). Руководитель работ Л. Ф. Ноженкова.

Решетнеескцие чтения. 2015

Высокая надежность бортовой аппаратуры космических аппаратов (КА) обеспечивается за счет выполнения различных испытаний на всех этапах производства. Испытания направлены на установление соответствия характеристик объекта испытания заданным требованиям. На производствах бортовой аппаратуры КА, несмотря на сложности при проведении испытаний в условиях опытного или мелкосерийного производства, применяются автоматизированные измерительные системы [1; 2], в частности, комплексы контрольно-проверочной аппаратуры (КПА) с современным программным и математическим обеспечением. Испытания проводятся путем выполнения с помощью КПА различных измерений в заданной последовательности и объеме, в соответствии с программой испытаний [3].

Существуют различные программные средства и способы описания логики и последовательности выполнения испытаний. В частности, в программном обеспечении управления испытаниями TestStand компании National Instruments используется текстовое представление испытаний. В данной работе рассматривается графическая среда построения сценариев испытаний, используемая в программном обеспечении КПА, для испытаний бортовой аппаратуры командно-измерительной системы (БА КИС) КА [4].

Под сценарием испытаний понимается формализованное представление в программном обеспечении КПА последовательности измерений из программы

испытаний. Измерения в сценарии представляются в виде специальных условных блоков - действий. Действие характеризуется наименованием измерения, исполняющим измерительным оборудованием КПА, наборами входных и выходных параметров. Входные параметры служат для настройки измерительного оборудования при проведении измерения. Выходные параметры представляют результаты измерений. Примерами действий и соответствующих им измерений являются «Измерение мощности спектра», «Измерение номинала частоты», «Измерение спектра с использованием маски». Упорядоченные последовательности действий, имеющие конкретное назначение, например испытание определенных подсистем БА КИС, формируют так называемые задания. В свою очередь, упорядоченные последовательности заданий составляют сценарий испытаний бортовой аппаратуры КИС.

Редактирование сценариев выполняется в графическом редакторе (см. рисунок). Редактор состоит из панели элементов, панели редактора, обозревателя текущего сценария, панели свойств элемента сценария, панели ошибок.

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

Графический редактор сценариев испытаний

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

В редакторе сценариев реализован ряд функций, позволяющих составлять нелинейные сценарии со сложной логикой выполнения:

- формирование условий запуска и остановки выполнения действий, которые позволяют выполнять условные переходы между действиями при их выполнении;

- настройка циклов по заданиям, т. е. выполнение последовательности действий в рамках задания в цикле со счетчиком либо в цикле пока один или несколько параметров действий изменяется в определенном интервале с шагом (например, цикл по всем значениям напряжения питаний от 1 до 10 В с шагом 0,5 В);

- механизм задания зависимости между параметрами различных действий - изменение параметра в одном действии (источнике) влечет за собой изменение значения в параметре другого действия (подписчике);

- проверка правильности составления сценария во время редактирования, при этом обнаруженные ошибки мгновенно отображаются на соответствующей панели редактора.

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

Библиографические ссылки

1. Технология сборки и испытаний космических аппаратов : учебник для высших техн. учеб. заведений / И. Т. Беляков [и др.] М. : Машиностроение, 1990. 352 с.

2. Батоврин В. К., Бессонов А. С., Мошкин В. В. Автоматизация измерений и испытаний : учеб. пособие. М. : Изд-во МФТИ, 2011. 128 с.

3. ГОСТ 16504-81. Система государственных испытаний продукции. Испытания и контроль качества продукции. Основные термины и определения. М., 1982. 24 с.

4. Вогоровский Р. В. Архитектура программного обеспечения для поддержки проведения испытаний командно-измерительной системы КА // Решетневские чтения : материалы XVIII Междунар. науч. конф. / Сиб. гос. аэрокосмич. ун-т. Красноярск. 2014. Ч. 2. С. 237-238.

5. Вогоровский Р. В. Организация взаимодействия с измерительным оборудованием при проведении испытаний бортовой аппаратуры КА // Молодой ученый. 2015. № 11. С. 22-27.

References

1. Belyakov I. T., Zernov I. A., Antonov E. G. Tekhnologiya sborki i ispytanii kosmicheskikh apparatov : Uchebnik dlya vysshikh tekhnicheskikh uchebnykh zavedenii. Moscow, Mashinostroenie Publ., 1990. 352 p.

2. Batovrin. V. K., Bessonov A. S., Moshkin V. V. Avtomatizatsiya izmerenii i ispytanii: uchebnoe posobie. Moscow. MFTI Publ, 2011. 128 p.

3. GOST 16504-81. The state system of testing products. Product test and quality inspection. General terms and definitions. Moscow, 1982. 24 p.

4. Vogorovskiy R. V. [Architecture of the software for support of testing the spacecraft command and measuring system] // Мaterialy XVIII Mezhdunar. nauch. konf. "Reshetnevskie chteniya" [Materials XVIII Intern. Scientific. Conf "Reshetnev reading"]. Krasnoyarsk, 2014. Рр. 237-238 (In Russ.).

5. Vogorovskiy R. V. [Organization of interaction with the measuring equipment for testing of the spacecraft onboard systems]. Molodoy uchenyy, 2015. No. 11, рp. 22-27 (In Russ.).

© Вогоровский Р. В., 2015

УДК 004.94

КАРТОГРАФИЧЕСКОЕ ПРЕДСТАВЛЕНИЕ ДАННЫХ МОНИТОРИНГА СОСТОЯНИЯ ОКРУЖАЮЩЕЙ СРЕДЫ НА ОСНОВЕ OLAP

А. А. Евсюков

Институт вычислительного моделирования СО РАН Российская Федерация, 660036, г. Красноярск, Академгородок, 50/44 E-mail: [email protected]

Рассматривается картографическое представление данных мониторинга состояния окружающей среды. Для решения задачи предлагается взаимодействие технологий геоинформационных систем и оперативной аналитической обработки данных.