hierarchically modeling the component-based real-time system with duration calculus

ISCAS OpenIR

	hierarchically modeling the component-based real-time system with duration calculus
	Jin Xianli; Ma Huadong
	2005
会议名称	2005 Fifth International Conference on Information, Communications and Signal Processing
会议录名称	2005 Fifth International Conference on Information, Communications and Signal Processing
页码	1411-1415
会议日期	40883
会议地点	Bangkok, Thailand
收录类别	ei
出版地	United States
ISBN	780392833
部门归属	(1) School of Computer Sci. Andtech, Beijing University of Posts and Telecommunications, Beijing 100876, China; (2) Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100080, China
摘要	This paper proposes a new method for hierarchically modeling the component-based real-time system using Duration Calculus (DC), a real time interval temporal logic. We first define the component using DC, and then describe the component composition and th
关键词	Computational Complexity Computer Simulation Hierarchical Systems Temporal Logic
语种	英语
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/12794
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Jin Xianli,Ma Huadong. hierarchically modeling the component-based real-time system with duration calculus[C]. United States,2005:1411-1415.