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} }
One Citation
An Actor-Based Framework for Real-Time Coordination
- Computer Science
- 1997
The operational semantics based on RTsynchronizers and regular computational objects (modeled as actors) is defined and an algorithm for detecting infeasible real-time coordination constraints at source code level is developed.
References
SHOWING 1-10 OF 39 REFERENCES
An operational semantics of real time design language RT-CDL
- Computer ScienceIWSSD '89
- 1989
This work provides operational semantics for the language RT-CDL (Real Time Common Design Language) employing Plotkin’s labeled transition systems using the maximal paraheliim model of Salwicki and Miildner and shows how to model the behavior of non-buffered broadcasts, durational events, priority, interrupts, and preemptive commands through the semantics.
Paradigms for the specification, design, and verification of real-time distributed systems
- Computer Science
- 1989
This thesis proposes a real-time design language, RT-CDL, which is formally defined by an operational semantics and is expressive enough for users to specify various timing constraints and to write responsive programs, and provides a firm base for modular/hierarchical development of real- time programs.
Full abstraction of a real-time denotational semantics for an OCCAM-like language
- Computer SciencePOPL '87
- 1987
We present a fully abstract semantics for real-time distributed computing of the Ada and OCCAM kind in a denotational style. This semantics turns termination, communication along channels, and the…
Language Constructs for Specifying Concurrency in CDL*
- Computer ScienceIEEE Trans. Software Eng.
- 1989
The language provides a step towards integrating abstraction mechanisms and specification techniques, and some of the features in CDL* are compared to some the features available in other languages, including distributed programming languages.
Compositional priority specification in real-time distributed systems
- Computer Science
- 1992
A compositional denotational semantics for prioritized real-time distributed programming languages preserving the compositionality of the semantics and providing a clear distinction between the semantic model and the execution model is developed.
A compositional proof system for an occam-like real-time language
- Computer Science
- 1987
A compositional proof system is given for an Occam-like real-time programming language to specify and verify distributed synchronous message passing and an easy way of reasoning at parallel composition is put on.
Assessment of the real-time requirements for programming environments and languages
- Computer Science
- 1983
A ranking of these languages shows that modula 2, edison and pearl are among the best languages for real-time programming; Modula, ADA, concurrent Pascal and DP are also considered.
Static Analysis of Real-Time Distributed Systems
- Computer ScienceIEEE Trans. Software Eng.
- 1988
It is shown how to specify and verify various timing properties of real-time programs and how the method not only leads to efficient algorithms for the static analysis of CSP programs but also applies to many other languages.