A linear-history semantics for languages for distributed programming
Theoretical Computer Science
Real-time Euclid: a language for reliable real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Timing Issues in the Distributed Execution of Ada Programs
IEEE Transactions on Computers
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Full abstraction of a real-time denotational semantics for an OCCAM-like language
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Compositional semantics for real-time distributed computing
Information and Computation
Language Constructs for Specifying Concurrency in CDL
IEEE Transactions on Software Engineering
An operational semantics of real time design language RT-CDL
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Static Analysis of Real-Time Distributed Systems
IEEE Transactions on Software Engineering
Computer Languages
Specifying Concurrent Program Modules
ACM Transactions on Programming Languages and Systems (TOPLAS)
Toward a discipline of real-time programming
Communications of the ACM
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Applications of Temporal Logic to the Specification of Real-time Systems
Systems, Proceedings of a Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
An Interval-Based Temporal Logic
Proceedings of the Carnegie Mellon Workshop on Logic of Programs
The non-problem of nested monitor calls
ACM SIGOPS Operating Systems Review
Paradigms for the specification, design, and verification of real-time distributed systems
Paradigms for the specification, design, and verification of real-time distributed systems
Proofs of Networks of Processes
IEEE Transactions on Software Engineering
Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating Them
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
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 language features. The semantics employs Plotkin's labeled transition systems using the maximal parallelism model of Salwicki and Muldner. Our investigation reveals that the language features provided by RT-CDL are indeed suitable for a spectrum of real-time applications. We illustrate the features through an example of a dialling controller.