Аннотация:
Рассматривается подход к построению конфигураций распределенных систем жесткого реального времени, основанный насовместном использовании алгоритмов решения комбинаторных задач удовлетворения ограничений проектирования. Для прогнозирования успешности работы алгоритма при комплектовании предложено описывать его ожидаемое поведение с помощью статистических оценок вероятностей ошибок первого и второго рода для гипотез об успешности работы алгоритма в конкретныхклассах индивидуальных задач. Подход опробован на примере задачи распределения абонентов между двумя каналами, связанными мостом, с целью обеспечить выполнимость имеющегося статического расписания передачи данных. Приводятся алгоритм решения этой задачи в терминах разрезания графов, методика и результаты его исследования.