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
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;
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
DOI :
10.1109/CISE.2009.5364357
