形式化方法在电网信息物理系统中的应用

摘要

电网信息物理系统中的嵌入式终端不仅要具备常规的信息交互能力,还要在资源约束条件下,满足测控的实时性要求.面向规模庞大的复杂系统,需要引入形式化方法验证其可靠性.通过分析形式化方法在电网信息物理系统中的应用,设计实现一种适用于电网信息物理系统中嵌入式系统信息交互过程分析的形式化方法及模型检验软件工具,并结合实际案例详细分析模型检验工具的应用过程.实际案例表明,形式化方法可以缩小从高层设计到代码实现的距离,提高产品的可靠性,模型检验软件工具能够对当前嵌入式装置规模和复杂度快速增长带来的可靠性保障问题提供可参考的解决方案.