Environment Modeling during Model Checking of Cyberphysical Systems

doi:10.1109/MC.2021.3087631

	Environment Modeling during Model Checking of Cyberphysical Systems
	Guangyao Chen1 ; Zhihao Jiang2
	2021-09
发表期刊	COMPUTER (IF:2.0[JCR-2023],2.6[5-Year])
ISSN	0018-9162
EISSN	1558-0814
卷号	54 期号:9 页码:49-58
发表状态	已发表
DOI	10.1109/MC.2021.3087631
摘要	A domain-independent framework for the abstraction and refinement of the environment model is proposed to provide interpretable counterexamples while ensuring coverage of environment behaviors. A simple case study in the automotive domain is used to demonstrate the feasibility of the framework. © 1970-2012 IEEE.
关键词	Embedded systems Automotive domains Cyber physical systems (CPSs) Domain independents Environment modeling
URL	查看原文
收录类别	SCIE ; EI
语种	英语
WOS研究方向	Computer Science
WOS类目	Computer Science, Hardware & Architecture ; Computer Science, Software Engineering
WOS记录号	WOS:000690440300018
出版者	IEEE Computer Society
EI入藏号	20213510847032
EI主题词	Model checking
EI分类号	721.1 Computer Theory, Includes Formal Logic, Automata Theory, Switching Theory, Programming Theory
原始文献类型	Journal article (JA)
来源库	IEEE
引用统计	正在获取...
文献类型	期刊论文
条目标识符	https://kms.shanghaitech.edu.cn/handle/2MSLDSTB/133412
专题	信息科学与技术学院_硕士生信息科学与技术学院_博士生信息科学与技术学院_PI研究组_江智浩组
作者单位	1.ShanghaiTech University 2.ShanghaiTech University and Shanghai Engineering Research Center of Intelligent Vision and Imaging
第一作者单位	上海科技大学
第一作者的第一单位	上海科技大学
推荐引用方式 GB/T 7714	Guangyao Chen,Zhihao Jiang. Environment Modeling during Model Checking of Cyberphysical Systems[J]. COMPUTER,2021,54(9):49-58.
APA	Guangyao Chen,&Zhihao Jiang.(2021).Environment Modeling during Model Checking of Cyberphysical Systems.COMPUTER,54(9),49-58.
MLA	Guangyao Chen,et al."Environment Modeling during Model Checking of Cyberphysical Systems".COMPUTER 54.9(2021):49-58.