Проект посвящен разработке новых архитектур и алгоритмов сетей передачи данных. Исследуются особенности адаптивной мультиагентной маршрутизации в децентрализованных сетях динамической структуры. Примерами подобных систем являются ad hoc сети, mesh-сети, сенсорные сети, специальные виды радиосетей подвижных объектов и т.п. Новые методы, разрабатываемые в рамках проекта, позволят повысить эффективность и надежность таких систем за счет использования строгих математических подходов к разработке моделей и анализу их семантических свойств. В качестве основного инструмента будет использована теория формальных моделей, и, в частности, моделирование мультиагентных систем при помощи алгебр процессов, сетей Петри и формализмов на их основе. Конкретными задачами проекта являются:

• создание математических языков моделирования и спецификации различных аспектов целевых систем;
• разработка эффективных мультиагентных схем адаптивной маршрутизации;
• выработка и обоснование методологии тестирования и верификации целевых систем.