Checking timing constraints in distributed object-oriented programs

  title={Checking timing constraints in distributed object-oriented programs},
  author={Martin Gergeleit and J{\"o}rg Kaiser and Hermann Streich},
  journal={OOPS Messenger},
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… CONTINUE READING
12 Citations
0 References
Similar Papers


Publications citing this paper.

Similar Papers

Loading similar papers…