Design and model checking of timed automata oriented architecture for Internet of thing | |
Chen, G (Chen, Guang)[ 1,2,3,4 ]; Jiang, TH (Jiang, Tonghai)[ 1,5 ]; Wang, M (Wang, Meng)[ 1,3,4 ]; Tang, XY (Tang, Xinyu)[ 1,3,4 ]; Ji, WF (Ji, Wenfei)[ 1,2,3,4 ] | |
刊名 | INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS |
2020 | |
卷号 | 16期号:5页码:1-13 |
关键词 | Internet of thing architecture timed automata modeling model checking UPPAAL |
ISSN号 | 1550-1477 |
DOI | 10.1177/1550147720911008 |
英文摘要 | The architecture model of the Internet of thing system is the primary foundation for the design and implementation of the Internet of thing system. This article discusses the method and practice of time automaton modeling and model checking for the architecture of the Internet of thing system from the state and time dimensions. This article introduces the theory and method of modeling using time automata. And then, combined with the actual need of the elderly health cabin Internet of thing system, a dynamic and fault-tolerant time automaton model is established through a relatively complete architecture modeling. The model checking method verifies that the designed Internet of thing system has no deadlock system activity, service correctness, and timeliness correctness. The results of modeling experiments and model validation show that the reference model of time automata Internet of thing architecture established in this article can better reflect the nature of interaction with the physical world, heterogeneity and large-scale, dynamic, and incompleteness of the Internet of thing system. |
WOS记录号 | WOS:000536465500001 |
内容类型 | 期刊论文 |
源URL | [http://ir.xjipc.cas.cn/handle/365002/7374] |
专题 | 新疆理化技术研究所_多语种信息技术研究室 |
作者单位 | 1.Chinese Acad Sci, Xinjiang Lab Minor Speech & Language Informat Pro, Urumqi, Peoples R China 2.Chinese Acad Sci, Res & Dev Ctr IoT, Wuxi, Jiangsu, Peoples R China 3.Jiangsu CAS Nor West Star Informat Technol Co Ltd, Wuxi, Jiangsu, Peoples R China 4.Univ Chinese Acad Sci, Beijing, Peoples R China 5.Chinese Acad Sci, Xinjiang Tech Inst Phys & Chem, Urumqi 830011, Peoples R China |
推荐引用方式 GB/T 7714 | Chen, G ,Jiang, TH ,Wang, M ,et al. Design and model checking of timed automata oriented architecture for Internet of thing[J]. INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS,2020,16(5):1-13. |
APA | Chen, G ,Jiang, TH ,Wang, M ,Tang, XY ,&Ji, WF .(2020).Design and model checking of timed automata oriented architecture for Internet of thing.INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS,16(5),1-13. |
MLA | Chen, G ,et al."Design and model checking of timed automata oriented architecture for Internet of thing".INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS 16.5(2020):1-13. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论