Modeling Timing Behavior for Cyber-Physical Systems
Hanbo Wang, Xingshe Zhou, Yunwei Dong, Lei Tang · 2009
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.