基于时间自动机的信息物理融合系统建模与验证

• 作者: 陈志辉
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: 信息物理融合系统 时间自动机 模型检测 UPPAAL
• 年，卷（期）: 2012,（10）
• 所属期刊栏目: 网络与通信
• 页码范围: 125-130,135
• 页数: 7页
• 分类号: TP393
• 字数: 5762字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2012.10.033

摘要

信息物理融合系统的建模和验证是当前研究的一个热点.本文通过分析信息物理融合系统的体系结构,利用时间自动机为建模工具,将该结构中的各个组件分别进行建模,以表现它们的分布性和实时性.这些时间自动机组成一个网络模型,用于刻划整个系统之间的并发通信和协作过程.最后,提出一组该系统要满足的性质(包括时间约束),运用模型检测工具UPPAAL自动验证本系统的正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈志辉	莆田学院电子信息工程系	10	24	4.0	4.0