МАРШРУТНЫЕ СЕТИ - ГРАФИЧЕСКИЙ ФОРМАЛИЗМ ПРЕДСТАВЛЕНИЯ СТРУКТУРЫ ПРОГРАММНЫХ ПРИЛОЖЕНИЙ РЕАЛЬНОГО ВРЕМЕНИ
Данный формализм ориентирован на проверку логической и динамической корректности межзадачных интерфейсов. Формы маршрутных сетей позволяют получить наглядные представления о структуре межзадачных связей в многозадачных программных приложениях для СРВ. Этот формализм, ориентированный на эффективное визуальное представление структуры системы, полностью согласован с разработанным авторами форматом представления структуры межзадачных связей средствами языка XML - форматом, пригодным для непосредственного автоматического анализа свойств конструируемых систем. Средства разметки маршрутных сетей, аналогичные разметке сетей Петри, позволяют наряду со статическими структурными особенностями многозадачных программных приложений представлять конкретные состояния системы, возникающие в ходе исполнения приложения, в частности, состояния с кольцами взаимных ожиданий. Универсальным подходом к проверке системы на возможность возникновения колец взаимных ожиданий (тупиков и «клинчей») является построение (на основе структур типа маршрутных сетей) графа состояний и переходов системы. При использовании 32-разрядных компьютеров с оперативной памятью в несколько гигабайт этот подход применим, если программное приложение содержит до 20 задач. В случае существенно большего числа задач возможно либо применение специализированных подходов к анализу логической корректности приложений, либо использование таких динамических механизмов обхода колец взаимных ожиданий, как различные варианты протоколов пороговых приоритетов. В СРВ с разделением доступа к информационным ресурсам при проверке гарантий своевременности выполнения отдельных задач и проверке выполнимости программного приложения в целом необходимы оценки значений фактора блокирования высокоприоритетных задач низкоприоритетными задачами, занимающими разделяемые ресурсы. Применение методов оценки фактора блокирования на базе параметрических моделей, не учитывающих особенности внутренней структуры задач, может привести к недооценке значений времени отклика задач. Для нахождения точных оценок фактора блокирования в системах со сцепленными критическими интервалами необходимо учитывать особенности внутренней структуры блокирующих задач. С этой целью можно использовать моделирование задач маршрутными сетями с построением профилей блокирующих задач и анализ тех сечений построенных профилей, которые соответствую блокируемым задачам.