馈线自动化算法的形式化建模与验证

摘要：

分布式馈线自动化系统能否正确运作,目前主要是通过测试与仿真技术来保证,但这2类方法都要涉及电气设备的底层细节,会分散计算资源,影响验证效率,且难以覆盖足够的系统路径.针对该问题,提出一种馈线自动化算法的验证方法.通过对电气设备行为与特征的抽象,建立馈线自动化算法的形式化模型,在此基础上,使用自动化模型检测技术验证算法的正确性.测试结果表明,该方法将计算资源集中在动作逻辑验证上,实现了与底层细节的分离,从而能够获得较高的验证效率,完整覆盖系统路径,并有效降低缺陷修正的代价.

关键词：馈线自动化、形式化模型、自动验证、模型检测、时间自动机

所属期刊栏目：42

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目61402108;福建省自然科学基金资助项目2012J01245;福建省中青年教师教育科研基金资助项目JA14221,JB14068,JB14069;福建工程学院科研启动基金资助项目GY-Z13112,GY-Z13113

在线出版日期：2016-06-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：89-93