Спецификация средствами языка 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.
Опубликован
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).
