A Denotational Semantics of Timed RSL Using Duration Calculus

Authors:
Li Li;He Jifeng
Affiliations:
-;-
Venue:
RTCSA '99 Proceedings of the Sixth International Conference on Real-Time Computing Systems and Applications
Year:
1999

Citing 0
Cited 5

Towards a Time Model for Circus

ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
A Complete Fragment of Higher-Order Duration µ-Calculus

FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Applicative modelling with RAISE

Domain modeling and the duration calculus
Reasoning about QoS Contracts in the Probabilistic Duration Calculus

Electronic Notes in Theoretical Computer Science (ENTCS)
Integrating variants of DC

ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing

Quantified Score

Hi-index	0.00

Visualization

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.