Спецификация средствами языка XML системы интерфейсов в приложениях реального времени
Ключевые слова:
системы реального времени, межзадачные интерфейсы, XML-модели, динамическая корректность программных приложенийАннотация
Изложен подход к использованию средств языка XML для спецификации межзадачных и внешних интерфейсов в программных приложениях реального времени. Спецификации позволяют представлять множество задач, составляющих программное приложение; последовательность сегментов кода в каждой из задач; множество интерфейсных элементов, обеспечивающих межзадачные связи; множество датчиков и эффекторов, реализующих связь программного приложения с внешним оборудованием. Элементы спецификации снабжаются динамическими характеристиками исполнения моделируемых объектов. Обработка спецификаций позволяет проверять гарантии своевременности выполнения функций системы реального времени.Литература
Котов В.Е. Сети Петри. М.: Наука. 1984. 215 с.
Буч Г., Якобсон А., Рамбо Дж.. UML. СПб.: Питер, 2006. 736 с.
Питц-Моултис Н., Кирк Ч. XML. СПб.: БХВ-Петербург, 2001. 736 с.
Давиденко К.Я. Технология программирования АСУТП. Проектирование систем реального времени, параллельных и распределенных приложений. М.: Энергоатомиздат, 1985. 183 с.
Данилов М.В. Методы планирования выполнения задач в системах реального времени // Программные продукты и системы. 2001. № 4. С. 28–35.
Никифоров В.В., Гуцалов Н.В. Анализ выполнимости составных задач в системах реального времени // Тр. СПИИРАН. 2005. Вып 2, т. 2. С. 437–452.
Буч Г., Якобсон А., Рамбо Дж.. UML. СПб.: Питер, 2006. 736 с.
Питц-Моултис Н., Кирк Ч. XML. СПб.: БХВ-Петербург, 2001. 736 с.
Давиденко К.Я. Технология программирования АСУТП. Проектирование систем реального времени, параллельных и распределенных приложений. М.: Энергоатомиздат, 1985. 183 с.
Данилов М.В. Методы планирования выполнения задач в системах реального времени // Программные продукты и системы. 2001. № 4. С. 28–35.
Никифоров В.В., Гуцалов Н.В. Анализ выполнимости составных задач в системах реального времени // Тр. СПИИРАН. 2005. Вып 2, т. 2. С. 437–452.
Specification of interfaces in real-time software applications by XML forms
Abstract
An approach is expouned for XML use to specify intertask and external interfaces of real-time software applications. Specification of software application interfaces presents a set of tasks makes up software application; a set of interface elements, that implement intertask links; a sequence of code segments in each task; a set of sensors and effectors that link software application with external environment. Specification elevents equipted by dynamic characteristics of modeling objects.The specification processing permits to check feasibility of specified system.Опубликован
2009-12-01
Как цитировать
Никифоров, В. В., & Шкиртиль, В. И. (2009). Спецификация средствами языка XML системы интерфейсов в приложениях реального времени. Труды СПИИРАН, (11), 159-175. https://doi.org/10.15622/sp.11.9
Выпуск
Раздел
Статьи
Авторы, которые публикуются в данном журнале, соглашаются со следующими условиями:
Авторы сохраняют за собой авторские права на работу и передают журналу право первой публикации вместе с работой, одновременно лицензируя ее на условиях Creative Commons Attribution License, которая позволяет другим распространять данную работу с обязательным указанием авторства данной работы и ссылкой на оригинальную публикацию в этом журнале.
Авторы сохраняют право заключать отдельные, дополнительные контрактные соглашения на неэксклюзивное распространение версии работы, опубликованной этим журналом (например, разместить ее в университетском хранилище или опубликовать ее в книге), со ссылкой на оригинальную публикацию в этом журнале.
Авторам разрешается размещать их работу в сети Интернет (например, в университетском хранилище или на их персональном веб-сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению, а также к большему количеству ссылок на данную опубликованную работу (Смотри The Effect of Open Access).
