DocumentCode
3395829
Title
A denotational semantics of timed RSL using duration calculus
Author
Li, Li ; Jifeng, He
fYear
1999
fDate
1999
Firstpage
492
Lastpage
495
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/RTCSA.1999.811304
Filename
811304
Link To Document