Modeling and verifying of CPS component services based on hybrid automata

ISCAS OpenIR

	Modeling and verifying of CPS component services based on hybrid automata
	Zhang, Jianning; Zhang, Guanquan; Yan, Rongjie; Zhu, Yi; Qi, Xingjun
	2014
发表期刊	International Journal of Multimedia and Ubiquitous Engineering
ISSN	19750080
卷号	9 期号:6 页码:49-57
摘要	In recent years, the modeling and verifying of Cyber-Physical System (CPS) is now an important aspect of CPS researches. Because of the CPS' complex architecture, it may suffer from the state-space explosion problem when we verify CPS models by model checking methods. Therefore, we offer a method which models CPS with Component Services. The method treats the CPS components as a service provider, and models component services to further simplify the system's state-space. We verify the correctness of this model and solve the synchronous/asynchronous communication problems. © 2014 SERSC. ; In recent years, the modeling and verifying of Cyber-Physical System (CPS) is now an important aspect of CPS researches. Because of the CPS' complex architecture, it may suffer from the state-space explosion problem when we verify CPS models by model checking methods. Therefore, we offer a method which models CPS with Component Services. The method treats the CPS components as a service provider, and models component services to further simplify the system's state-space. We verify the correctness of this model and solve the synchronous/asynchronous communication problems. © 2014 SERSC.
收录类别	EI
部门归属	(1) School of Computer Science and Technology, Soochow University, Suzhou, 215006, China; (2) State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Science, Beijing, 100190, China; (3) School of Computer Science and Technology, Jiangsu Normal University, Xuzhou, 221116, China
语种	英语
内容类型	期刊论文
版本	出版稿
URI标识	http://ir.iscas.ac.cn/handle/311060/17016
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Zhang, Jianning,Zhang, Guanquan,Yan, Rongjie,et al. Modeling and verifying of CPS component services based on hybrid automata[J]. International Journal of Multimedia and Ubiquitous Engineering,2014,9(6):49-57.
APA	Zhang, Jianning,Zhang, Guanquan,Yan, Rongjie,Zhu, Yi,&Qi, Xingjun.(2014).Modeling and verifying of CPS component services based on hybrid automata.International Journal of Multimedia and Ubiquitous Engineering,9(6),49-57.
MLA	Zhang, Jianning,et al."Modeling and verifying of CPS component services based on hybrid automata".International Journal of Multimedia and Ubiquitous Engineering 9.6(2014):49-57.