本研究面向传统分布式网络中常见的故障检测需求，开发高效快速的网络故障诊断与分析技术。具体研究内容包括：(1)海量网络事件因果关系捕获及抽象程序转换；(2)基于形式化方法的抽象程序快速分析与故障定位，(3)网络故障诊断的逻辑链条抽取与解释，(4) 网络故障修复方案快速求解与推荐技术。

预期指标：在超过500台网络设备的数据中心网络仿真环境中，10秒内完成网络数据平面全量意图验证；实现标准网络场景下故障2分钟故障感知，8分钟定位定界，12分钟故障修复。