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

• 作者: 何栋炜 唐郑熠 王金水 胡文瑜 薛醒思
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 馈线自动化 形式化模型 自动验证 模型检测 时间自动机
• 年，卷（期）: 2016,（3）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 89-93
• 页数: 5页
• 分类号: TP311
• 字数: 4085字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2016.03.016

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	薛醒思	福建工程学院信息科学与工程学院	26	18	2.0	3.0
2	唐郑熠	福建工程学院信息科学与工程学院	17	19	3.0	3.0
3	何栋炜	福建工程学院信息科学与工程学院	13	52	4.0	7.0
4	胡文瑜	福建工程学院信息科学与工程学院	15	191	5.0	13.0
5	王金水	福建工程学院信息科学与工程学院	13	20	3.0	3.0