Для обеспечения анализа особенностей структуры многозадачных приложений реального времени строятся модели, отражающие размещение синхронизирующих операторов в задачах приложения, строятся методы обработки таких моделей, позволяющие проверить возможность возникновения аномальных ситуаций в ходе исполнения приложения. <...> Примером аномальных ситуаций является взаимное блокирование задач, когда две или более задач оказываются связанными замкнутой цепочкой ожиданий поступления синхронизирующих посылок [2]. <...> Известны подходы к построению таких моделей и методов их обработки, направленные на предотвращение возможностей возникновения взаимного блокирования задач [3]. <...> Подход, представленный в работах [4, 5], опирается на представление структуры многозадачного программного приложения средствами маршрутных сетей [6] и обработку таких моделей с помощью специ№ 4, 2017 альных многодольных графов — графов связок критических интервалов. <...> При этом для проверки возможности возникновения взаимного блокирования предлагается выполнять проверку наличия в графе связок междольных контуров. <...> Однако в указанных работах не представлены алгоритмы: — построения перечня связок критических интервалов; — построения графа связок, соответствующего конкретному экземпляру маршрутной сети; — построения перечня имеющихся в графе связок междольных контуров; — проверки наличия в графе связок пересекающихся междольных контуров. <...> В настоящей статье приведены такие алгоритмы, выполнена оценка их сложности. <...> Протоколы доступа к разделяемым ресурсам Большинство реальных программных приложений реального времени содержит взаимозависимые задачи, для которых не исключается возможность попадания в состояние ожидания сигнальных сообщений от других задач. <...> Одной из разновидностей причин возникновения взаимной ИНФОРМАЦИОННОУПРАВЛЯЮЩИЕ СИСТЕМЫ 59 ПРОГРАММНЫЕ И АППАРАТНЫЕ СРЕДСТВА зависимости задач является необходимость <...>