Safety analysis of timing properties in real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
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
A graph-theoretic approach for timing analysis and its implementation
IEEE Transactions on Computers - Special Issue on Real-Time Systems
Object-oriented real-time language design: constructs for timing constraints
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
The evolution and state-of-the-art of real-time languages
Journal of Systems and Software
Analysis of inheritance anomaly in object-oriented concurrent programming languages
Research directions in concurrent object-oriented programming
Concurrency annotations in C++
ACM SIGPLAN Notices
Runtime monitoring of timing constraints in distributed real-time systems
Real-Time Systems - Special issue on responsive computer systems
JEWEL: Design and Implementation of a Distributed Measurement System
IEEE Transactions on Parallel and Distributed Systems
VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |
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++.