Анализ распределенных систем теоретико-модельными методами

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