Checking timing constraints in distributed object-oriented programs
- 1 January 1996
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN OOPS Messenger
- Vol. 7 (1) , 51-58
- https://doi.org/10.1145/227986.227995
Abstract
In real-time systems design-assumptions can be divided into functional and temporal assumptions. While checks for functional correctness are already addressed by some modern programming languages (e.g. Eiffel's pre- and postconditions), checks for temporal correctness are usually out of the scope of the existing programming or runtime systems. Our work in the DIRECT [GKS94] project tries to fill this gap. A methodology for specifying and checking timing constraints in an object-oriented environment is presented. The approach extends previous work on RTL[JM86] (Real-Time Logic) based monitors towards an object-oriented responsive system. The paper focuses on how object-orientation can be utilized to simplify the specification and the checking of timing constraints and how this can be integrated into an existing programming language like C++.Keywords
This publication has 8 references indexed in Scilit:
- Run-time monitoring of real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A formalism for monitoring real-time constraints at run-timePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Runtime monitoring of timing constraints in distributed real-time systemsReal-Time Systems, 1994
- Concurrency annotations in C++ACM SIGPLAN Notices, 1994
- The evolution and state-of-the-art of real-time languagesJournal of Systems and Software, 1992
- JEWEL: design and implementation of a distributed measurement systemIEEE Transactions on Parallel and Distributed Systems, 1992
- Object-oriented real-time language design: constructs for timing constraintsPublished by Association for Computing Machinery (ACM) ,1990
- A Graph-Theoretic Approach for Timing Analysis and its ImplementationIEEE Transactions on Computers, 1987