作者其他论文
文献详情
A hierarchical verification procedure of timed Petri-Net model for real-time embedded systems
文献类型:会议
作者:Wang, Hanbo[1]  Zhou, Xingshe[2]  Dong, Yunwei[3]  Tang, Lei[4]  
机构:[1]School of Computer Science, Northwestern Polytechnical University, 710072, Xi'an, China
[2]School of Computer Science, Northwestern Polytechnical University, 710072, Xi'an, China
[3]School of Computer Science, Northwestern Polytechnical University, 710072, Xi'an, China
[4]School of Computer Science, Northwestern Polytechnical University, 710072, Xi'an, China
年:2010
通讯作者:Wang, H.
会议名称:2nd International Conference on Information Engineering and Computer Science, ICIECS 2010
会议地点:Wuhan, China
会议开始日期:2010-12-25
会议结束日期:2010-12-26
收录情况:EI(20110813673727)  
所属部门:计算机学院
人气指数:893
浏览次数:883
语言:外文
摘要:
A novel approach to verify the timed Petri-Net model is proposed in this paper. A non-instantaneous model is abstracted from the timed Petri-Net model in a hierarchical structure. The non-instantaneous model which is verified with a model-checking tool is used to reduce the state space of the timed Petri-Net model for verification with a satisfiability modulo theories solver. The proposed approach is applied in verifying the non-functional properties of real-time embedded systems. The timed Petr ...More
0
评论(0 条评论)
登录