摘要：论文针对智能系统提出了一种形式化建模和验证的方法:首先,采用层次化的思想将智能系统分为应用层、系统层和设备层,综合系统功能需求和硬件模块分别建立各层的Kripke结构模型;然后,根据组合模型规则将层次模型进行组合,经过抽象处理后得到系统组合抽象模型。最后,以能源共享系统为例,用CSP#描述系统模型、LTL描述系统性质,利用PAT工具完成系统模型的自动验证。实验结果表明,该方法综合考虑了系统各个主体的行为,能够有效找出智能系统中的设计缺陷,并且可以缓解模型检测中的状态空间爆炸问题。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社