Monitoring distributed real-time systems-Reference-Cited by-同舟云学术

Monitoring distributed real-time systems

Published:1994-07 Issue:1 Volume:7 Page:33-56
ISSN:0922-6443
Container-title:Real-Time Systems
language:en
Short-container-title:Real-Time Syst

Author:

Schmid Ulrich

Publisher

Springer Science and Business Media LLC

Subject

Electrical and Electronic Engineering,Control and Optimization,Computer Networks and Communications,Computer Science Applications,Modeling and Simulation,Control and Systems Engineering

Link

http://link.springer.com/content/pdf/10.1007/BF01088621.pdf

Reference52 articles.

1. R. K. Abbott and H. Garcia-Molina. Scheduling I/O requests with deadlines: A performance evaluation. InProc. IEEE Real-Time Syst. Symp., pagers 113?124, December 1990.

2. Z. Aral, I. Gertner, and G. Schaffer. Efficient debugging primitives for multiprocessors. InProc. 3rd Int. Conf. on Architectural Support for Programming Languages and Operating Systems (ASPLOS), pages 87?95, April 1989.

3. V. P. Banda and R. A. Volz. Architectural support for debugging and monitoring real-time software. InProc. IEEE EUROMICRO Workshop on Real Time, Villa Olmo, Como/Italy, pages 200?210, June 1989.

4. P. Bates and J. C. Wileden. High-level debugging of distributed systems: The behavioral abstraction approach.J. Syst. Software, 3:255?264, 1983.

5. Th. Bemmerl, R. Lindhof, and Th. Treml. Ein Monitorsystem zur verzögerungsfreien Überwachung von Multiprozessoren. InProc. GI/ITG Fachtagung Messung, Modellierung und Bewertung von Rechensystemen und Netzen, Braunschweig, pages 51?59, September 1989.

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Runtime Verification of Component-Based Embedded Software;Computer and Information Sciences II;2011

2. Optimal Instrumentation of Data-flow in Concurrent Data Structures;Lecture Notes in Computer Science;2011

3. Requirements-based monitors for real-time systems;IEEE Transactions on Software Engineering;2002

4. Checking the Temporal Behaviour of Distributed and Parallel Embedded Systems;Design and Analysis of Distributed Embedded Systems;2002

5. Dynamic analysis for locating product features in Ada code;ACM SIGAda Ada Letters;2001-12