Маршрутные сети — графический формализм представления структуры программных приложений реального времени
Ключевые слова:
системы реального времени, модели многозадачных программных систем, межзадачные интерфейсы, кольца взаимных ожиданий, динамическая коррект-ность программных приложенийАннотация
Построен графический формализм «маршрутные сети» для представления структуры программных приложений реального времени. Формализм ориентирован на проверку корректности межзадачных интерфейсов. Определены границы применимости методов анализа корректности межзадачных связей на основе использования графов состояний и переходов. На основе введения понятия профиля задачи построен метод оценки значений фактора блокирования в системах со сцепленными критическими интервалами доступа к разделяемым ресурсам.Литература
Давиденко К.Я. Технология программирования АСУТП. Проектирование систем реального времени, параллельных и распределенных приложений. — М.: Энерго-атомиздат. — 1985. 183 с.
Данилов М.В. Методы планирования выполнения задач в системах реального времени. //Программные продукты и системы. — 2001, №4. — С. 28-35.
Гома Х. UML. Проектирование систем реального времени, параллельных и распределенных приложений. — М.: ДМК Пресс, 2002. 739 с.
Liu J.W.S. Real-Time Systems. NJ: Prentice Hall, 2000. — 590 p.
Никифоров В.В., Шкиртиль В.И. Спецификация средствами языка XML системы интерфейсов в приложениях реального времени // Труды СПИИРАН. Под общ.ред. Р.М.Юсупова. – Вып 11, - СПб.: Наука, 2009, стр.159-175.
Н. Питц-Моултис, Ч. Кирк. XML. — СПб.: БХВ-Петербург, 2001. — 736 с
Г.Буч, А.Якобсон, Дж. Рамбо UML. — СПб.: Питер, 2006. — 736 с.
Никифоров В. В. Представление структуры сигнальных связей алгоритмических процессов в гибких производственных системах. // Интегрированные производст-венные комплексы. Под общ.ред. В.М.Пономарева. – Л.:Машиностроение, 1987. С.42-46
Котов В.Е. Сети Петри. М.: Наука. 1984. 215 с.
Питерсон Дж. сетей Петри и моделирование систем. — М.: Мир, 1984. 263 с.
Данилов М.В. Методы планирования выполнения задач в системах реального времени. //Программные продукты и системы. — 2001, №4. — С. 28-35.
Гома Х. UML. Проектирование систем реального времени, параллельных и распределенных приложений. — М.: ДМК Пресс, 2002. 739 с.
Liu J.W.S. Real-Time Systems. NJ: Prentice Hall, 2000. — 590 p.
Никифоров В.В., Шкиртиль В.И. Спецификация средствами языка XML системы интерфейсов в приложениях реального времени // Труды СПИИРАН. Под общ.ред. Р.М.Юсупова. – Вып 11, - СПб.: Наука, 2009, стр.159-175.
Н. Питц-Моултис, Ч. Кирк. XML. — СПб.: БХВ-Петербург, 2001. — 736 с
Г.Буч, А.Якобсон, Дж. Рамбо UML. — СПб.: Питер, 2006. — 736 с.
Никифоров В. В. Представление структуры сигнальных связей алгоритмических процессов в гибких производственных системах. // Интегрированные производст-венные комплексы. Под общ.ред. В.М.Пономарева. – Л.:Машиностроение, 1987. С.42-46
Котов В.Е. Сети Петри. М.: Наука. 1984. 215 с.
Питерсон Дж. сетей Петри и моделирование систем. — М.: Мир, 1984. 263 с.
Опубликован
2010-09-01
Как цитировать
Никифоров, В. В., & Шкиртиль, В. И. (2010). Маршрутные сети — графический формализм представления структуры программных приложений реального времени. Труды СПИИРАН, 3(14), 7-28. https://doi.org/10.15622/sp.14.1
Раздел
Статьи
Авторы, которые публикуются в данном журнале, соглашаются со следующими условиями:
Авторы сохраняют за собой авторские права на работу и передают журналу право первой публикации вместе с работой, одновременно лицензируя ее на условиях Creative Commons Attribution License, которая позволяет другим распространять данную работу с обязательным указанием авторства данной работы и ссылкой на оригинальную публикацию в этом журнале.
Авторы сохраняют право заключать отдельные, дополнительные контрактные соглашения на неэксклюзивное распространение версии работы, опубликованной этим журналом (например, разместить ее в университетском хранилище или опубликовать ее в книге), со ссылкой на оригинальную публикацию в этом журнале.
Авторам разрешается размещать их работу в сети Интернет (например, в университетском хранилище или на их персональном веб-сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению, а также к большему количеству ссылок на данную опубликованную работу (Смотри The Effect of Open Access).
