TY - JOUR AU - Виктор Викентьевич Никифоров AU - Вячеслав Иванович Шкиртиль PY - 2010/09/01 Y2 - 2024/03/28 TI - Маршрутные сети — графический формализм представления структуры программных приложений реального времени JF - Труды СПИИРАН JA - ТС VL - 3 IS - 14 SE - Статьи DO - 10.15622/sp.14.1 UR - http://proceedings.spiiras.nw.ru/index.php/sp/article/view/1503 AB - Построен графический формализм «маршрутные сети» для представления структуры программных приложений реального времени. Формализм ориентирован на проверку корректности межзадачных интерфейсов. Определены границы применимости методов анализа корректности межзадачных связей на основе использования графов состояний и переходов. На основе введения понятия профиля задачи построен метод оценки значений фактора блокирования в системах со сцепленными критическими интервалами доступа к разделяемым ресурсам. ER -