ВІЗУАЛІЗАЦІЯ УПРАВЛЯЮЧИХ АЛГОРИТМІВ В СИСТЕМАХ АВТОМАТИЗАЦІЇ ВИПРОБУВАНЬ СКЛАДНИХ ТЕХНІЧНИХ КОМПЛЕКСІВ
Ключові слова:
АСУ СТК, реальний час, керуючий алгоритм, програмне забезпечення, візуалізація, графові моделі, розширена форма Бекуса-НаураАнотація
Показано, що для підвищення ефективності функціонування, зниження вартості розробки та експлуатації АСУ СТК, обробка інформації в яких відбувається в режимі реального часу, особливу увагу необхідно приділяти розробці керуючих алгоритмів з урахуванням часових обмежень. Показано, що на сучасному етапі розвитку АСУ СТК потрібні нові підходи до розробки програмного забезпечення, що реалізує керуючий алгоритм технологічного процесу випробувань, які підвищать ефективність контролю та управління оператора за ходом виконання керуючого алгоритму, а також забезпечать можливість аналізу його результатів. У роботі запропоновано підхід, заснований на застосуванні комп'ютерної візуалізації. Показана важливість використання метафор візуалізації для точного і ясного подання інформації про хід виконання керуючого алгоритму. При розробці візуального подання в якості основного підходу використовується представлення керуючого алгоритму на основі графових моделей, що відображають потік управління. Спираючись на теорію множин, розроблена семантика керуючого алгоритму реального часу (КА РЧ), яка стала основою для синтезу таких графових моделей, як багатовходова і багатоваріантна моделі керуючого алгоритму реального часу. Показано, що візуалізація програмного забезпечення, що реалізує керуючий алгоритм, спирається на ряд стандартних шаблонів візуалізації, що задовольняють вимогам системи і здатних відобразити поведінку керуючих алгоритмів. Теорія графів пропонує свої рішення для задачі формального синтезу, аналізу та верифікації моделі керуючого алгоритму. Проблема коректного візуального представлення КА ТП випробувань вирішується за допомогою формальної специфікації візуальних мов. У цій роботі застосовується текстовий метод специфікації синтаксису, заснований на розширеній формі Бекуса-Наура (EBNF).Посилання
Douglas M. “Testability of Complex, Middleware-Based Systems” [Internet source] / Douglas M. Wells, Robert E. Bernstein, Amarendranath Vadlamudi // Paper presented at the International Conference on Dependable Systems & Networks,
Washington, DC: National Defense University, 23-26 June, 2002. – URL: http://www.opengroup.org/RI/recent/papers/ WDMS2002.handout.pdf.
Бенькович Е.С. Практическое моделирование сложных динамических систем [Текст] / Е.С. Бенькович, Ю.Б. Колесов, Ю.Б. Сениченков. – СПб.: БХВ-Петербург, 2002. – 464 с.
Подчуфаров Ю.Б. Физико-математическое моделирование систем управления и комплексов [Текст] / Ю.Б. Подчуфаров. – М.: Изд-во физ.-мат. литературы, 2002. – 168 с.
Тюгашев А.А. Процессор выходных документов в САПР управляющих алгоритмов [Текст] / А.А. Тюгашев // Представлено на 7-ом Всероссийском семинаре с международным участием по управлению движением и навигации летательных аппаратов, Самара, СГАУ, 1995. – С. 74 – 76.
Калентьев А.А.. Исчисление управляющих алгоритмов: Математические методы и модели в САПР [Текст] / А.А. Калентьев // Межвузовский сборник научных трудов. – Самара, 1991. – С. 4 – 10.
Борисов В.В. Компьютерная поддержка сложных организационно-технических систем [Текст] / В.В. Борисов, И.А. Бычков, А.В. Дементьев. – М.: Горячая линия Телеком, 2002. – 154 с.
Одинцов И.О. Профессиональное программирование: Системный подход [Текст] / И.О. Одинцов. – СПб.: БХВ-Петербург, 2002. – 312 с.
Гречишников А.В. Алгоритмизация и визуальное программирование управленческих задач [Текст] / А.В. Гречишников, А.П. Данчул, А.П. Павлов. – М.: Изд-во РАГС, 2001. – 95 с.
Авербух В.Л.. К теории компьютерной визуализации [Текст] / В.Л. Авербух // Вычислительные технологии. – Т. 10, №4. – 2005. – С. 21–51.
Авербух В.Л. Разработка средств визуализации программного обеспечения параллельных вычислений. Визуальное программирование и визуальная отладка параллельных программ [Текст] / В.Л. Авербух, А.Ю. Байдалин // Вопросы атомной науки и техники. Сер. Математическое моделирование физических процессов. – №. 4, 2003. – С. 68–80.
Price B.A. A Principled Taxonomy of Software Visualization [text] / B.A. Price // Journal of Visual Languages and Computing, 1993. – P. 211 – 266.
Авербух В.Л. Разработка видов отображения в специализированных системах компьютерной визуализации [Текст] / В.Л. Авербух // Труды 12-й Международной конференции по компьютерной графике и машинному зрению “ГрафиКон-2002”. – Нижний Новгород, сентябрь 2002. – С. 184 – 189.
Воеводин В.В. Параллельные вычисления [Текст] / В.В. Воеводин, Вл.В. Воеводин. – СПб: БХВ-Петербург, 2002. – 253 с.
Касьянов В.Н. Графы в программировании: обработка, визуализация, применение [Текст] / В.Н. Касьянов, В.А. Евстигнеев. – Спб.: БХВ-Петербург, 2003. – 1104 с.
Новиков Ф.А. Дискретная математика для программистов [Текст] / Ф.А. Новиков. – СПб.: Питер, 2002. – 304 с.
Глушков В.М. Алгебра. Языки. Программирование [Текст] / В.М. Глушков, Г.Е. Цейтлин, Е.Л. Ющенко. – Киев: Наукова думка, 1989. – 446 с.
Жоголев Е.А. Графические редакторы и графические грамматики [Текст] / Е.А. Жоголев // Программирование. – № 3, 2001. – С. 30 – 42.
Ларман К. Применение UML и шаблонов проектирования: Пер. с англ. [Текст] / К. Ларман. – М.: Издательский дом «Вильямс», 2001. – 496 с.
Кузин С.Г. Сетевая грамматика как средство описания профессионального языка и модель функционирования языкового процессора [Текст] / С.Г. Кузин, Н.М. Миллер // Межвуз. тематич. сб. научн. тр. – Изд-во Горьк. гос. ун-та, 1989. – 229 с.
Мансуров Н.Н. Методы формальной спецификации программ: языки MSC и SDL [Текст] / Н.Н. Мансуров, О.Л. Майлингова // М.: Московский государственный университет им. М.В. Ломаносова, 1998. – 263 с.
Xia Y. A Syntax Definition Method for Visual Specification Languages [text] / Y. Xia, M. Glinz // in Technical Report. – Zurich University: Department of Information Technology, March 2002. – 171 p.
