基于层次组合抽象的智能系统形式化验证
周益龙
韩斌
1.江苏科技大学计算机学院 镇江 2120012.江苏科技大学计算机学院 镇江 212001
摘要：论文针对智能系统提出了一种形式化建模和验证的方法:首先,采用层次化的思想将智能系统分为应用层、系统层和设备层,综合系统功能需求和硬件模块分别建立各层的Kripke结构模型;然后,根据组合模型规则将层次模型进行组合,经过抽象处理后得到系统组合抽象模型.最后,以能源共享系统为例,用CSP#描述系统模型、LTL描述系统性质,利用PAT工具完成系统模型的自动验证.实验结果表明,该方法综合考虑了系统各个主体的行为,能够有效找出智能系统中的设计缺陷,并且可以缓解模型检测中的状态空间爆炸问题.
关键词：形式化方法智能系统组合抽象模型模型检测
分类号：TP18(自动化基础理论)
论文发表日期：2019-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：5( 1917-1920,1984 )
英文信息