基于FSM的PLCopen运动控制系统可靠性研究

• 作者: 何洁 李贤 高健
• 来源期刊: 电子科技
• 学科: 工学
• 关键词: PLCopen 功能块 UPPAAL验证器 时间自动机模型 安全验证
• 年，卷（期）: 2018,（10）
• 页码范围: 44-47
• 页数: 4页
• 分类号: TP273
• 字数: 2068字
• 语种: 中文
• DOI: 10.16180/j.cnki.issn1007-7820.2018.10.010

摘要

针对PLCopen运动控制系统安全验证问题,对PLCopen标准运动控制功能块语言、系统运动状态关系等方面进行了研究,提出一种新的分层描述时间自动机模型.该模型将系统程序状态与系统状态分别抽象定义,通过UP-PAAL验证器进行验证,以状态路径正确或错误转换作为系统可靠的分析结果,从而实现系统的逻辑安全验证.实验结果证明该方法可以完成PLCopen标准运动控制系统的逻辑安全验证,并且有效减少了模型转换的出错率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李贤	杭州电子科技大学计算机学院	3	2	1.0	1.0
2	何洁	杭州电子科技大学计算机学院	2	1	1.0	1.0
3	高健		1	1	1.0	1.0