350 руб
Журнал «Информационно-измерительные и управляющие системы» №9 за 2011 г.
Статья в номере:
Структурные модели для анализа многозадачных программных систем
Авторы:
В. В. Никифоров - д.т.н., профессор, вед. науч. сотрудник, Санкт-Петербургский институт информатики и автоматизации РАН. E-mail: nik@iias.spb.su В. А. Павлов - к.т.н., доцент, начальник отдела, Государственное научное учреждение «Центральный научно-исследовательский и опытно-конструкторский институт робототехники и технической кибернетики». E-mail: vapavlov@rtc.ru
Аннотация:
Рассматриваются структурные особенности многозадачных программных систем, влияющие на значения фактора блокирования и оценок времени ожидания разделяемых ресурсов активными прикладными задачами. Приведены условия, при которых для точной оценки времени ожидания необходим учет внутренней структуры кодов прикладных задач. Разработан метод проверки возможностей возникновения колец взаимных ожиданий в многозадачных программных приложениях с разделением доступа к общим системным ресурсам между задачами приложения. Метод основан на построении и анализе графа, число вершин которого растет линейно с ростом числа задач в программном приложении.
Страницы: 19-29
Список источников
  1. Никифоров В. В., Павлов В. А. Операционные системы реального времени для встроенных программных комплексов // Программные продукты и системы. 1999. № 4. С. 24-30.
  2. Давиденко К.Я. Технология программирования АСУТП. Проектирование систем реального времени, параллельных и распределенных приложений. М.: Энергоатомиздат. 1985.
  3. Никифоров В.В. Разработка программных средств для встроенных систем. СПб.: СПбГЭТУ. 2000.
  4. Никифоров В.В., Павлов В.А. Оценка продолжительности ожидания ресурсов в многозадачных системах реального времени. // Труды Междунар. науч.-технич. конференции «Средства робототехники для обеспечения безопасности. Планетоходы, космическая робототехника и наземные роверы». СПб: Политехнка-сервис. 2010. С. 182-185.
  5. Гома Х.UML. Проектирование систем реального времени, параллельных и распределенных приложений. М.: ДМК Пресс. 2002.
  6. Liu J.W.S. Real-Time Systems. NJ: Prentice Hall. 2000.
  7. Данилов М.В. Методы планирования выполнения задач в системах реального времени // Программные продукты и системы. 2001. № 4. С. 28-35.
  8. Никифоров В.В., Павлов В.А. Динамическое разделение ресурсов задачами с состояниями ожидания // Материалы всерос. конференции «Теория и практика системной динамики». Апатиты. 2004. С. 129-138.
  9. Никифоров В.В., Шкиртиль В.И. Спецификация средствами языка XML системы интерфейсов в приложениях реального времени // Труды СПИИРАН. СПб.: Наука. 2009. Вып 11. С. 159-175.
  10. Никифоров В.В. Представление структуры сигнальных связей алгоритмических процессов в гибких производственных системах // Интегрированные производственные комплексы / под ред. В.М. Пономарева. Л.: Машиностроение. 1987. С. 42-46.
  11. Питерсон Дж. Теория сетей Петри и моделирование систем. М.: Мир. 1984.