10.3969/j.issn.1000-386x.2021.06.014
物联网系统时间自动机建模的研究与应用
探讨基于时间自动机理论进行物联网系统建模和模型检测的理论、方法、工具和实践.对时间自动机的基础理论进行比较全面和精确的论述,完善部分概念及其精确的形式化定义.提出基于时间自动机理论进行建模的方法,并指出时间自动机理论研究对物联网系统建模的指导意义.介绍时间自动机的建模工具UPPAAL,说明基于UPPAAL建立时间自动机模型的建模、仿真和检测方法.结合物联网系统中一个经典的温度感知服务的系统需求、理论与实践相结合,进行温度感知管理系统时间自动机建模,并进行模型仿真与模型检测.实验结果表明,该系统能够正确感知温度,具有容错性且不会陷入死锁.
时间自动机、建模、自动机理论、建模工具、建模方法、UPPAAL、模型检测
38
TP391(计算技术、计算机技术)
2021-06-28（万方平台首次上网日期，不代表论文的发表时间）
共10页
84-93
