DocumentCode
2834786
Title
Modeling Timing Behavior for Cyber-Physical Systems
Author
Wang Hanbo ; Zhou Xingshe ; Dong Yunwei ; Tang Lei
Author_Institution
Sch. of Comput. Sci., Northwestern Polytech. Univ., Xi´an, China
fYear
2009
fDate
11-13 Dec. 2009
Firstpage
1
Lastpage
4
Abstract
In this paper temporal semantics based on the Duration Calculus are put into the Architecture Analysis and Design Language, furthermore the timing component is proposed to model the timing behavior of systems including software and hardware separately. Some important time-dependent properties of performance-critical systems are classified and the system specification in the modeling language into which is put temporal semantics can be specified with the Duration Calculus.
Keywords
process algebra; specification languages; timing; Architecture Analysis and Design Language; cyber-physical systems; duration calculus; modeling language; performance-critical systems; temporal semantics; time-dependent properties; timing behavior modeling; Calculus; Computer architecture; Computer science; Control systems; Hardware; Medical control systems; Physics computing; Process control; Software systems; Timing;
fLanguage
English
Publisher
ieee
Conference_Titel
Computational Intelligence and Software Engineering, 2009. CiSE 2009. International Conference on
Conference_Location
Wuhan
Print_ISBN
978-1-4244-4507-3
Electronic_ISBN
978-1-4244-4507-3
Type
conf
DOI
10.1109/CISE.2009.5364357
Filename
5364357
Link To Document