УДК 681.3

МАРШРУТНЫЕ СЕТИ — ГРАФИЧЕСКИЙ ФОРМАЛИЗМ ПРЕДСТАВЛЕНИЯ СТРУКТУРЫ ПРОГРАММНЫХ ПРИЛОЖЕНИЙ РЕАЛЬНОГО ВРЕМЕНИ

В.В. Никифоров, В.И. Шкиртиль

Аннотация


Построен графический формализм «маршрутные сети» для представления структуры программных приложений реального времени. Формализм ориентирован на проверку корректности межзадачных интерфейсов. Определены границы применимости методов анализа корректности межзадачных связей на основе использования графов состояний и переходов. На основе введения понятия профиля задачи построен метод оценки значений фактора блокирования в системах со сцепленными критическими интервалами доступа к разделяемым ресурсам.

Ключевые слова


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

Полный текст:

PDF

Литература


  1. Давиденко К.Я. Технология программирования АСУТП. Проектирование систем реального времени, параллельных и распределенных приложений. — М.: Энерго-атомиздат. — 1985. 183 с.
  2. Данилов М.В. Методы планирования выполнения задач в системах реального времени. //Программные продукты и системы. — 2001, №4. — С. 28-35.
  3. Гома Х. UML. Проектирование систем реального времени, параллельных и распределенных приложений. — М.: ДМК Пресс, 2002. 739 с.
  4. Liu J.W.S. Real-Time Systems. NJ: Prentice Hall, 2000. — 590 p.
  5. Никифоров В.В., Шкиртиль В.И. Спецификация средствами языка XML системы интерфейсов в приложениях реального времени // Труды СПИИРАН. Под общ.ред. Р.М.Юсупова. – Вып 11, - СПб.: Наука, 2009, стр.159-175.
  6. Н. Питц-Моултис, Ч. Кирк. XML. — СПб.: БХВ-Петербург, 2001. — 736 с
  7. Г.Буч, А.Якобсон, Дж. Рамбо UML. — СПб.: Питер, 2006. — 736 с.
  8. Никифоров В. В. Представление структуры сигнальных связей алгоритмических процессов в гибких производственных системах. // Интегрированные производст-венные комплексы. Под общ.ред. В.М.Пономарева. – Л.:Машиностроение, 1987. С.42-46
  9. Котов В.Е. Сети Петри. М.: Наука. 1984. 215 с.
  10. Питерсон Дж. сетей Петри и моделирование систем. — М.: Мир, 1984. 263 с.


Виктор Викентьевич Никифоров - д.т.н., проф., Senior researcher, Laboratory for Software Technology and Systems, Санкт-Петербургский институт информатики и автоматизации РАН.
Область научных интересов: программирование систем реального времени, встроенных систем, операционные системы.
Число научных публикаций: 90.

Адрес (E-mail): nik@iias.spb.su
Почтовый адрес: 14-я линия В.О., д. 39, Санкт-Петербург, 199178, РФ
Телефон: +7(848)328-0887


Вячеслав Иванович Шкиртиль - к.т.н., доц., заведующий лабораторией техноло-гий и систем программирования, Санкт-Петербургский институт информатики и автоматизации РАН.
Область научных интересов: Программное обеспечение систем реального времени.
Число научных публикаций: 60.

Адрес (E-mail): jvatlas@mail.rcom.ru
Почтовый адрес: 14-я линия В.О., д. 39, Санкт-Петербург, 199178, РФ
Телефон: +7(848)328-0887




DOI: http://dx.doi.org/10.15622/sp.14.1

Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 License.