Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Checking timing constraints in distributed object-oriented programs

Checking timing constraints in distributed object-oriented programs 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 RTLJM86 (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++. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png ACM SIGPLAN OOPS Messenger Association for Computing Machinery

Checking timing constraints in distributed object-oriented programs

Download PDF
8 pages

Loading next page...
 
/lp/association-for-computing-machinery/checking-timing-constraints-in-distributed-object-oriented-programs-9gNI6xsr6Z
Publisher
Association for Computing Machinery
Copyright
Copyright © 1996 by ACM Inc.
ISSN
1055-6400
DOI
10.1145/227986.227995
Publisher site
See Article on Publisher Site

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 RTLJM86 (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++.

Journal

ACM SIGPLAN OOPS Messenger – Association for Computing Machinery

Published: Jan 1, 1996

There are no references for this article.