RT-CDL: A Distributed Real-Time Design Language and Its Operational Semantics

@article{Liu1994RTCDLAD,
  title={RT-CDL: A Distributed Real-Time Design Language and Its Operational Semantics},
  author={Leo YuHsiang Liu and R. K. Shyamasundar},
  journal={Comput. Lang.},
  year={1994},
  volume={20},
  pages={1-23}
}
  • Leo YuHsiang Liu, R.K. Shyamasundar
  • Published in Comput. Lang. 1994
  • Computer Science
    • RT-CDL, real-time common design language, has been designed to support a compositional methodology for the development of reliable real-time reactive systems. The primary goal of the RT-CDL project is to provide a tool to bridge the gap between specification and realization of programs. The language is based on the event-action model and overcomes several limitations of existing real-time languages. In this paper, we discuss the formal operational semantics of RT-CDL as well as its interesting… CONTINUE READING
    View via Publisher
    Alternate Sources

    Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv

    Figures and Topics from this paper.

    Explore Further: Topics Discussed in This Paper

    Citations

    Publications citing this paper.

    An Actor-Based Framework for Real-Time Coordination

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 27 REFERENCES

    A introduction to compositional methods for concurrency and their application to real - time , SADHANA

    • J. Hooman, W. P. de Roever
    • Acad . Proc . Indian Acad . Sei .
    • 1992

    Compositional priority specification in real-time distributed systems

    Exception Handling in RT-CDL

    An operational semantics of real time design language RT-CDL

    Language Constructs for Specifying Concurrency in CDL*

    Paradigms for the specification, design, and verification of real time distributed systems

    Real-time Euclid: a language for reliable real-time systems

    Applications of Temporal Logic to the Specification of Real-time Systems

    Compositional Semantics for Real-Time Distributed Computing

    A Review of Ada Tasking