物联网系统时间自动机建模的研究与应用

CORC > 新疆理化技术研究所 > 中国科学院新疆理化技术研究所 > 多语种信息技术研究室

	物联网系统时间自动机建模的研究与应用
	陈光1,2,3,4 ; 蒋同海1,5 ; 王蒙1,3,4 ; 唐新余1,3,4 ; 季文飞1,2,3,4
刊名	计算机应用与软件
	2021
卷号	38 期号:6 页码:84-93
关键词	时间自动机建模自动机理论建模工具建模方法 UPPAAL 模型检测
ISSN号	1000-386X
英文摘要	探讨基于时间自动机理论进行物联网系统建模和模型检测的理论、方法、工具和实践。对时间自动机的基础理论进行比较全面和精确的论述,完善部分概念及其精确的形式化定义。提出基于时间自动机理论进行建模的方法,并指出时间自动机理论研究对物联网系统建模的指导意义。介绍时间自动机的建模工具UPPAAL,说明基于UPPAAL建立时间自动机模型的建模、仿真和检测方法。结合物联网系统中一个经典的温度感知服务的系统需求、理论与实践相结合,进行温度感知管理系统时间自动机建模,并进行模型仿真与模型检测。实验结果表明,该系统能够正确感知温度,具有容错性且不会陷入死锁。
内容类型	期刊论文
源URL	[http://ir.xjipc.cas.cn/handle/365002/7844]
专题	新疆理化技术研究所_多语种信息技术研究室
作者单位	1.中国科学院大学 2.中国科学院新疆理化技术研究所 3.新疆民族语音语言信息处理实验室 4.中国科学院物联网研究发展中心 5.江苏中科西北星信息科技有限公司
推荐引用方式 GB/T 7714	陈光1,2,3,4,蒋同海1,5,王蒙1,3,4,等. 物联网系统时间自动机建模的研究与应用[J]. 计算机应用与软件,2021,38(6):84-93.
APA	陈光1,2,3,4,蒋同海1,5,王蒙1,3,4,唐新余1,3,4,&季文飞1,2,3,4.(2021).物联网系统时间自动机建模的研究与应用.计算机应用与软件,38(6),84-93.
MLA	陈光1,2,3,4,et al."物联网系统时间自动机建模的研究与应用".计算机应用与软件 38.6(2021):84-93.