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

  title={RT-CDL: A Distributed Real-Time Design Language and Its Operational Semantics},
  author={Leo Yuhsiang Liu and R. K. Shyamasundar},
  journal={Comput. Lang.},
1 Citations

Figures from this paper

An Actor-Based Framework for Real-Time Coordination

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.



An operational semantics of real time design language RT-CDL

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.

Exception Handling in RT-CDL

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

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

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*

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

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

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

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

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.