Modeling and verifying of CPS component services based on hybrid automata

CORC > 软件研究所 > 软件所图书馆 > 期刊论文

	Modeling and verifying of CPS component services based on hybrid automata
	Zhang, Jianning; Zhang, Guanquan; Yan, Rongjie; Zhu, Yi; Qi, Xingjun
刊名	International Journal of Multimedia and Ubiquitous Engineering
	2014
卷号	9 期号:6 页码:49-57
ISSN号	19750080
中文摘要	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
语种	英语
公开日期	2014-12-16
内容类型	期刊论文
版本	出版稿
源URL	[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.