Runtime monitoring of timing constraints in distributed real-time systems
Purchase on Springer.com
$39.95 / €34.95 / £29.95*
Rent the article at a discountRent now
* Final gross prices may vary according to local VAT.
Embedded real-time systems often operate under strict timing and dependability constraints. To ensure responsiveness, these systems must be able to provide the expected services in a timely manner even in the presence of faults. In this paper, we describe a run-time environment for monitoring of timing constraints in distributed real-time systems. In particular, we focus on the problem of detecting violations of timing assertions in an environment in which the real-time tasks run on multiple processors, and timing constraints can be either inter-processor or intra-processor constraints. Constraint violations are detected at the earliest possible time by deriving and checking intermediate constraints from the user-specified constraints. If the violations must be detected as early as possible, then the problem of minimizing the number of messages to be exchanged between the processors becomes intractable. We characterize a sub-class of timing constraints that occur commonly in distributed real-time systems and whose message requirements can be minimized. We also take into account the drift among the various processor clocks when detecting a violation of a timing assertion. Finally, we describe a prototype implementation of a distributed run-time monitor.
- Arvind, K. 1989. A New Probabilistic Algorithm for Clock Synchronization,Proc. IEEE Real-Time Systems Symp., Santa Monica, pp. 330–339.
- Babaoglu, O. and Marzullo, K. 1993. Consistent Global States of Distributed Systems: Fundamental Concepts and Mechanism.in Distributed Systems, S. Mullender (editor), 2nd edition.
- Chandy, K. M. and Lamport, L. 1985. Distributed Snapshots: determining global states of distributed systems.ACM Transactions on Computer Systems.
- Chodrow, S., Jahanian, F. and Donner, M. 1991. Run-Time Monitoring of Real-Time Systems,Proc. IEEE Real-Time Systems Symp., pp. 74–83.
- Cristian, F. 1989. Probabilistic Clock Synchronization,Distributed Computing. 3: 146–158.
- Garey, M. R. and Johnson, D. S. 1979.Computers and Intractability: A Guide to the Theory of NP-Completeness, W. H. Freeman and Company.
- Garg, V. and Waldecker, B. 1992. Unstable Predicate Detection in Distributed Programs,Technical Report, University of Texas at Austin.
- Haban, D. and Shin, K. G. Dec. 1989. Application of Real-Time Monitoring to Scheduling Tasks with Random Execution Times,Proc. IEEE Real-Time Systems Symp., pp. 172–181.
- Haban, D. and Wybranietz, D.. Feb. 1990. A Hybrid Monitor for Behavior and Performance Analysis of Distributed Systems.IEEE Trans. on Software Eng. (16)2: 197–211.
- Jahanian, F. and Goyal, A. June 1990. A Formalism for Monitoring Real-Time Constraints at Run-time,Proc. IEEE Fault-Tolerant Computing Symp., pp. 148–155.
- Jahanian, F. and Rajkumar, R. May 1991. An Integrated Approach to Monitoring and Scheduling in Real-Time Systems,IEEE Workshop on Real-Time Operating Systems and Software.
- Kenny, K. B. and Lin, K.-J. May 1991. Building Flexible Real-Time Systems using the Flex Language.Computer, pp. 70–78.
- Kilpatrick, C., Schwan, K. and Ogle, D. March 1990. Using Languages for Capture, Analysis and Display of Performance Information for Parallel and Distributed Applications,International Conf. on Computer Languages.
- Koo, R. and Toueg, S. January 1987. Checkpointing and Rollback-recovery for Distributed Systems.IEEE Transactions on Software Engineering, pp. 23–31.
- Kopetz, H. and Verissimo, P. 1993. Real-Time and Dependability Concepts,Distributed Systems, S. Mullender(editor), 2nd Edition, pp. 411–46.
- Lundelius, J. and Lynch, N. 1984. An Upper and Lower Bound for Clock Synchronization,Information and Control 62, pp. 190–204.
- Marzullo, K. and Neiger, G. 1991. Detection of Global State predicates,Proc. of 5th International Workshop on Distributed Algorithms (WDAG-91), Delphi, Greece, Springer-Verlag.
- Marzullo, K. and Sabel, L. March 1992. Using Consistent Subcuts for Detecting Stable Properties,Technical Report Department of Computer Science, Cornell University.
- Raju, S. C. V. 1994. Using Assertions for Validating, Verifying and Monitoring Real-Time Systems,Ph.D. Thesis, University of Washington.
- Raju, S. C. V., Rajkumar, R., and Jahanian, F. December 1992. Monitoring Timing Constraints in Distributed Real-Time Systems,Proceedings of the 14th Real-Time Systems Symposium, pp. 57–67.
- Raju, S. C. V. and Shaw, A. C. February 1994. “A Prototyping Environment for Specifying, Executing and Checking Communicating Real-Time State Machines”,Software — Practice & Experience, pp. 175–195.
- Snodgrass, R. 1988. A Relational Approach to Monitoring Complex Systems.ACM Trans. on Computer Systems. (6)2: 157–196.
- Tarjan, R. E. 1983.Data Structures and Network Algorithms, Society for Industrial and Applied Mathematics.
- Tokuda, H., Koreta M. and Mercer, C. W. Jan. 1989. A Real-Time Monitor for a Distributed Real-Time Operating System,ACM Sigplan Notices. (24)1: 68–77.
- Tsai, J. P., Fang, K-Y and Chen, H-Y. 1990. A Noninvasive Architecture to Monitor Real-Time Distributed Systems,IEEE Computer. (23)3: 11–23.
- Runtime monitoring of timing constraints in distributed real-time systems
Volume 7, Issue 3 , pp 247-273
- Cover Date
- Print ISSN
- Online ISSN
- Kluwer Academic Publishers
- Additional Links
- Industry Sectors
- Author Affiliations
- 1. Department of Electrical Engineering and Computer Science, University of Michigan, 48109, Ann Arbor, MI
- 2. Software Engineering Institute, Carnegie-Mellon University, 15213, Pittsburgh, PA
- 3. Department of Computer Science and Engineering, University of Washington, 98195, Seattle, WA