Title :
A denotational semantics of timed RSL using duration calculus
Author :
Li, Li ; Jifeng, He
Abstract :
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
Keywords :
process algebra; program verification; programming language semantics; Extended Duration Calculus; algebraic laws; denotational semantics; duration calculus; program transformation; real-time programs; timed RSL; Calculus; Computer science; Control systems; Embedded computing; Formal specifications; Hardware; Helium; Interactive systems; Power system modeling; Real time systems;
Conference_Titel :
Real-Time Computing Systems and Applications, 1999. RTCSA '99. Sixth International Conference on
Conference_Location :
Hong Kong
Print_ISBN :
0-7695-0306-3
DOI :
10.1109/RTCSA.1999.811304
