TY - GEN
T1 - A denotational semantics of timed RSL using duration calculus
AU - Li, Li
AU - Jifeng, He
N1 - Publisher Copyright:
© 1999 IEEE.
PY - 1999
Y1 - 1999
N2 - This paper provides a denotational semantics to a subset of Timed RAISE Specification Language (RSL) using Extended Duration Calculus (EDC) model. We use some novel features of EDC which play the vital role in formalizing real-Time programs and verification of real-Time properties. Some characteristic algebraic laws of Timed RSL is presented, which can be proved from the denotational semantics, and be used in program transformation and optimization.
AB - This paper provides a denotational semantics to a subset of Timed RAISE Specification Language (RSL) using Extended Duration Calculus (EDC) model. We use some novel features of EDC which play the vital role in formalizing real-Time programs and verification of real-Time properties. Some characteristic algebraic laws of Timed RSL is presented, which can be proved from the denotational semantics, and be used in program transformation and optimization.
UR - https://www.scopus.com/pages/publications/84947803035
U2 - 10.1109/RTCSA.1999.811304
DO - 10.1109/RTCSA.1999.811304
M3 - 会议稿件
AN - SCOPUS:84947803035
T3 - Proceedings - 6th International Conference on Real-Time Computing Systems and Applications, RTCSA 1999
SP - 492
EP - 495
BT - Proceedings - 6th International Conference on Real-Time Computing Systems and Applications, RTCSA 1999
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 6th International Conference on Real-Time Computing Systems and Applications, RTCSA 1999
Y2 - 13 December 1999 through 15 December 1999
ER -