{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T22:27:06Z","timestamp":1693866426083},"reference-count":52,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1994,7,1]],"date-time":"1994-07-01T00:00:00Z","timestamp":773020800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[1994,7]]},"DOI":"10.1007\/bf01088621","type":"journal-article","created":{"date-parts":[[2005,2,8]],"date-time":"2005-02-08T10:10:59Z","timestamp":1107857459000},"page":"33-56","source":"Crossref","is-referenced-by-count":12,"title":["Monitoring distributed real-time systems"],"prefix":"10.1007","volume":"7","author":[{"given":"Ulrich","family":"Schmid","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1109\/REAL.1990.128736"},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1145\/70082.68190"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1109\/EMWRT.1989.43459","volume-title":"Proc. IEEE EUROMICRO Workshop on Real Time","author":"V. P. Banda","year":"1989","unstructured":"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."},{"key":"CR4","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/0164-1212(83)90011-0","volume":"3","author":"P. Bates","year":"1983","unstructured":"P. Bates and J. C. Wileden. High-level debugging of distributed systems: The behavioral abstraction approach.J. Syst. Software, 3:255?264, 1983.","journal-title":"J. Syst. Software"},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"Th. Bemmerl, R. Lindhof, and Th. Treml. Ein Monitorsystem zur verz\u00f6gerungsfreien \u00dcberwachung von Multiprozessoren. InProc. GI\/ITG Fachtagung Messung, Modellierung und Bewertung von Rechensystemen und Netzen, Braunschweig, pages 51?59, September 1989.","DOI":"10.1007\/978-3-642-75079-3_5"},{"key":"CR6","unstructured":"D. Bhatt, A. Ghonami, and R. Ramanujan. An instrumented testbed for real-time distributed systems development. InProc. IEEE Real-Time Syst. Symp., pages 241?250, December 1987."},{"issue":"5","key":"CR7","doi-asserted-by":"crossref","first-page":"725","DOI":"10.1109\/12.24274","volume":"38","author":"H. Burkhart","year":"1989","unstructured":"H. Burkhart and R. Millen. Performance-measurement tools in a multiprocessor environment.IEEE Trans. Comput., 38(5):725?737, May 1989.","journal-title":"IEEE Trans. Comput."},{"key":"CR8","unstructured":"S.-C. Cheng, J. A. Stankovic, and K. Ramamritham. Scheduling algorithms for hard real-time systems: A brief survey. In J. A. Stankovic and K. Ramamritham, editors,Tutorial: Hard Real-Time Systems, pages 150?173, IEEE Computer Society Press, 1988."},{"issue":"10","key":"CR9","doi-asserted-by":"crossref","first-page":"863","DOI":"10.1002\/spe.4380221005","volume":"22","author":"P. S. Dodd","year":"1992","unstructured":"P. S. Dodd and C. V. Ravishankar. Monitoring and debugging distributed real-time programs.Software-Practice and Experience, 22(10):863?877, October 1992.","journal-title":"Software-Practice and Experience"},{"issue":"1","key":"CR10","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1137\/0153018","volume":"53","author":"M. Drmota","year":"1993","unstructured":"M. Drmota and U. Schmid. Exponential limiting distributions in queueing systems with deadlines.SIAM J. Appl. Math., 53(1):301?318, 1993.","journal-title":"SIAM J. Appl. Math."},{"key":"CR11","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/0166-5316(91)90025-X","volume":"12","author":"O. Endriss","year":"1991","unstructured":"O. Endriss, M. Steinbrunn, and M. Zitterbart. NETMON-II a monitoring tool for distributed and multiprocessor systems.Performance Evaluation, 12:191?202, 1991.","journal-title":"Performance Evaluation"},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"W. F\u00f6ckler and N. R\u00fcssing. Aktuelle Probleme und L\u00f6sungen zur Leistungsanalyse von modernen Rechensystemen mit Hardware-Me\u00dfwerkzeugen. InProc. GI\/ITG Fachtagung Messung, Modellierung und Bewertung von Rechensystemen und Netzen, pages 39?50, September 1989.","DOI":"10.1007\/978-3-642-75079-3_4"},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"R. J. Fowler, T. J. LeBlanc, and J. M. Mellor-Crummey. An integrated approach to parallel program debugging and performance analysis on large-scale multiprocessors. InProc. ACM SIGPLAN and SIGOPS Workshop on Parallel and Distributed Debugging, pages 163?173, May 1988.","DOI":"10.1145\/69215.69231"},{"issue":"3","key":"CR14","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1002\/spe.4380160304","volume":"16","author":"J. Gait","year":"1986","unstructured":"J. Gait. A probe effect in concurrent programs.Software-Practice and Experience, 16(3):225?233, March 1986.","journal-title":"Software-Practice and Experience"},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"P. Gopinath and R. Gupta. Applying compiler techniques to scheduling in real-time systems. InProc. IEEE Real-Time Systems Symposium, pages 247?256, December 1990.","DOI":"10.1109\/REAL.1990.128755"},{"key":"CR16","doi-asserted-by":"crossref","unstructured":"M. M. Gorlick. The flight recorder: An architectural aid for system monitoring. InProc. ACM\/ONR Workshop on Parallel and Distributed Debugging, Santa Cruz\/California, pages 175?183, May 1991.","DOI":"10.1145\/122759.122775"},{"key":"CR17","doi-asserted-by":"crossref","unstructured":"V. J. Griswold. Core algorithms for autonomous monitoring of distributed systems. InProc. ACM\/ONR Workshop on Parallel and Distributed Debugging, pages 36?45, May 1991.","DOI":"10.1145\/122759.122762"},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"D. Haban and K. G. Shin. Application of real-time monitoring to scheduling tasks with random execution times. InProc. Real-Time Systems Symposium IEEE, Santa Monica, California, pages 172?181, 1989.","DOI":"10.1109\/REAL.1989.63568"},{"issue":"2","key":"CR19","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1109\/32.44382","volume":"16","author":"D. Haban","year":"1990","unstructured":"D. Haban and D. A. Wybranietz. A hybrid monitor for behavior and performance analysis of distributed systems.IEEE Trans. Soft. Eng., 16:2:197?211, February 1990.","journal-title":"IEEE Trans. Soft. Eng."},{"key":"CR20","doi-asserted-by":"crossref","unstructured":"W. Halang and A. Stoyenko.Constructing Predictable Real-Time Systems. Kluwer Academic Press, 1991.","DOI":"10.1007\/978-1-4615-4032-8"},{"key":"CR21","doi-asserted-by":"crossref","unstructured":"M. G. Harmon, T. P. Baker, and D. B. Whalley. A retargetable technique for predicting execution time. InProc. IEEE Real-Time Systems Symposium, pages 68?77, December 1992.","DOI":"10.1109\/REAL.1992.242675"},{"key":"CR22","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/BF02341922","volume":"1","author":"R. Henn","year":"1989","unstructured":"R. Henn. Feasible processor allocation in a hard-real-time environment.J. Real-Time Systems, 1:77?93, 1989.","journal-title":"J. Real-Time Systems"},{"key":"CR23","unstructured":"R. Hofmann, R. Klar, B. Mohr, A. Quick, and M. Siegle.Distributed Performance Monitoring: Methods, Tools, and Applications (manuscript submitted), 1991."},{"issue":"2","key":"CR24","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1145\/13677.22723","volume":"5","author":"J. Joyce","year":"1987","unstructured":"J. Joyce, G. Lomow, K. Slind, and B. Unger. Monitoring distributed systems.ACM Trans. Comput. Syst., 5(2):121?150, May 1987.","journal-title":"ACM Trans. Comput. Syst."},{"key":"CR25","doi-asserted-by":"crossref","unstructured":"C. Kilpatrick and K. Schwan. ChaosMON?Application-specific monitoring and display of performance information for parallel and distributed systems. InProc. ACM\/ONR Workshop on Parallel and Distributed Debugging, Santa Cruz\/California, pages 57?67, May 1991.","DOI":"10.1145\/127695.122764"},{"key":"CR26","doi-asserted-by":"crossref","unstructured":"A. Kishon, P. Hudak, and C. Consel. Monitoring semantics: A formal framework for specifying, implementing and reasoning about execution monitors. InProc. ACM SIGPLAN '91 Conf. on Programming Language Design and Implementation, Toronto\/Canada, pages 338?352, June 1991.","DOI":"10.1145\/113446.113474"},{"issue":"8","key":"CR27","doi-asserted-by":"crossref","first-page":"933","DOI":"10.1109\/TC.1987.5009516","volume":"36","author":"H. Kopetz","year":"1987","unstructured":"H. Kopetz and W. Ochsenreiter. Clock synchronization in distributed real-time systems.IEEE Trans. Comput., 36(8):933?940, August 1987.","journal-title":"IEEE Trans. Comput."},{"key":"CR28","doi-asserted-by":"crossref","unstructured":"H. Kopetz, A. Damm, C. Koza, M. Mulazzani, W. Schwabl, C. Senft, and R. Zainlinger. Distributed fault-tolerant real-time systems: The MARS approach.IEEE MIcro, February: 25?40, 1989.","DOI":"10.1109\/40.16792"},{"issue":"7","key":"CR29","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"L. Lamport. Time, clocks and the ordering of events in a distributed system.Comm. ACM, 21(7): 558?565, July 1978.","journal-title":"Comm. ACM"},{"issue":"4","key":"CR30","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1109\/TC.1987.1676929","volume":"C-36","author":"T. J. LeBlanc","year":"1987","unstructured":"T. J. LeBlanc and J. M. Mellor-Crummey. Debugging parallel programs with instant replay.IEEE Trans. Comput., C-36(4):471?482, April 1987.","journal-title":"IEEE Trans. Comput."},{"key":"CR31","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/0743-7315(90)90046-R","volume":"9","author":"T. J. LeBlanc","year":"1990","unstructured":"T. J. LeBlanc, J. M. Mellor-Crummey, and R. J. Fowler. Analyzing parallel program executions using multiple views.J. Par. Distr. Comput., 9:203?217, 1990.","journal-title":"J. Par. Distr. Comput."},{"key":"CR32","unstructured":"G. LeLann. Designing real-time dependable distributed systems.INRIA Rapports de Recherche, No. 1425, April 1991."},{"issue":"11","key":"CR33","doi-asserted-by":"crossref","first-page":"969","DOI":"10.1109\/32.177366","volume":"18","author":"Y. Liao","year":"1992","unstructured":"Y. Liao and D. Cohen. A specificational approach to high level program monitoring and measuring.IEEE Trans. Soft. Eng., 18(11):969?978, November 1992.","journal-title":"IEEE Trans. Soft. Eng."},{"key":"CR34","doi-asserted-by":"crossref","unstructured":"A. D. Malony and D. A. Reed. Models for performance perturbation analysis. InProc. ACM\/ONR Workshop on Parallel and Distributed Debugging, Santa Cruz\/California, pages 15?25, May 1991.","DOI":"10.1145\/122759.122760"},{"key":"CR35","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/0743-7315(90)90044-P","volume":"9","author":"D. C. Marinescu","year":"1990","unstructured":"D. C. Marinescu, J. E. Lumpp jr., T. L. Casavant, and H. J. Siegel. Models for monitoring and debugging tools for parallel and distributed software.J. Par. Distr. Comput., 9:171?184, 1990.","journal-title":"J. Par. Distr. Comput."},{"key":"CR36","doi-asserted-by":"crossref","unstructured":"K. Marzullo and G. Neiger. Detection of global state predicates. InProc. 5th. Int. Workshop on Distributed Algorithms (WDAG '91), pages 254?272, October 1991 (Springer LNCS no. 579).","DOI":"10.21236\/ADA243444"},{"issue":"4","key":"CR37","doi-asserted-by":"crossref","first-page":"593","DOI":"10.1145\/76894.76897","volume":"21","author":"C. E. McDowell","year":"1989","unstructured":"C. E. McDowell and D. P. Helmbold. Debugging concurrent programs.ACM Comput. Surv., 21(4):593?622, December 1989.","journal-title":"ACM Comput. Surv."},{"key":"CR38","doi-asserted-by":"crossref","unstructured":"A. Mink, R. Carpenter, G. Nacht, and J. Roberts. Multiprocessor performance-measurement instrumentation.Computer, September: 63?75, 1990.","DOI":"10.1109\/2.58219"},{"issue":"1","key":"CR39","first-page":"21","volume":"26","author":"C. M. Pancake","year":"1991","unstructured":"C. M. Pancake and S. Utter. A bibliography of parallel debuggers.1990 Edition, ACM SIGPLAN Notices, 26(1):21?37, January 1991.","journal-title":"1990 Edition, ACM SIGPLAN Notices"},{"issue":"6","key":"CR40","doi-asserted-by":"crossref","first-page":"756","DOI":"10.1109\/TSE.1984.5010304","volume":"SE-10","author":"B. Plattner","year":"1984","unstructured":"B. Plattner. Real-time execution monitoring.IEEE Trans. Soft. Eng., SE-10(6):756?764, November 1984.","journal-title":"IEEE Trans. Soft. Eng."},{"issue":"2","key":"CR41","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1109\/71.80146","volume":"1","author":"K. Ramamritham","year":"1990","unstructured":"K. Ramamritham and J. A. Stankovic. Efficient scheduling algorithms for real-time multiprocessor systems.IEEE Trans. Par. Distr. Syst., 1(2):184?194, April 1990.","journal-title":"IEEE Trans. Par. Distr. Syst."},{"key":"CR42","doi-asserted-by":"crossref","unstructured":"J. F. Ready. VRTX: A real-time operating system for embedded microprocessor applications.IEEE Micro, August: 8?17, 1986.","DOI":"10.1109\/MM.1986.304774"},{"key":"CR43","doi-asserted-by":"crossref","unstructured":"S. C. V. Raju, R. Rajkumar, and F. Jahanian. Monitoring timing constraints in distributed real-time systems. InProc. IEEE Real-Time Systems Symposium, pages 57?67, December 1992.","DOI":"10.1109\/REAL.1992.242676"},{"key":"CR44","doi-asserted-by":"crossref","unstructured":"R. V. Rubin, L. Rudolph, and D. Zernik. Debugging parallel programs in parallel. InProc. ACM SIGPLAN and SIGOPS Workshop on Parallel and Distributed Debugging, pages 216?225, May 1988.","DOI":"10.1145\/68210.69236"},{"key":"CR45","doi-asserted-by":"crossref","unstructured":"G. Schrott and T. Tempelmeier. Monitoring of real-time systems by a separate processor. InProc. IFAC\/IFIP Workshop on Real-Time Processing, pages 69?79, March 1983.","DOI":"10.1016\/S1474-6670(17)62599-0"},{"issue":"2","key":"CR46","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1145\/42186.42323","volume":"6","author":"R. Snodgrass","year":"1988","unstructured":"R. Snodgrass. A relational approach to monitoring complex systems.ACM Trans. Comput. Syst., 6(2):157?196, May 1988.","journal-title":"ACM Trans. Comput. Syst."},{"key":"CR47","doi-asserted-by":"crossref","unstructured":"M. Spezialetti and J. P. Kearns. A general methodology for the system state characterization of event recognitions. InProc. 9th Symposium on Reliable Distributed Systems, pages 175?184, October 1990.","DOI":"10.1109\/RELDIS.1990.93963"},{"key":"CR48","unstructured":"J. A. Stankovic and K. Ramamritham (eds.).Tutorial: Hard Real-Time Systems. IEEE Computer Society Press, 1988."},{"issue":"8","key":"CR49","doi-asserted-by":"crossref","first-page":"737","DOI":"10.1109\/32.83911","volume":"17","author":"A. D. Stoyenko","year":"1991","unstructured":"A. D. Stoyenko, V. C. Hamacher, and R. C. Holt. Analyzing hard-real-time programs for guaranteed schedulability.IEEE Trans. Soft. Eng., 17(8):737?750, August 1991.","journal-title":"IEEE Trans. Soft. Eng."},{"issue":"8","key":"CR50","doi-asserted-by":"crossref","first-page":"897","DOI":"10.1109\/32.57626","volume":"16","author":"J. J. P. Tsai","year":"1990","unstructured":"J. J. P. Tsai, K. Fang, H. Chen, and Y. Bi. A noninterference monitoring and replay mechanism for real-time software testing.IEEE Trans. Soft. Eng., 16(8):897?916, August 1990.","journal-title":"IEEE Trans. Soft. Eng."},{"key":"CR51","doi-asserted-by":"crossref","unstructured":"H. Tokuda, M. Kotera, and C. W. Mercer. A real-time monitor for a distributed real-time operation system. InProc. ACM SIGPLAN SIGOPS Workshop Parall. Distrib. Debugging, pages 68?77, January 1989.","DOI":"10.1145\/69215.69222"},{"key":"CR52","doi-asserted-by":"crossref","unstructured":"J. H. Wensley, L. Lamport, J. Goldberg, M. W. Green, K. N. Levitt, P. M. Melliar-Smith, R. E. Shostak, and C. B. Weinstock. SIFT: Design and analysis of a fault-tolerant computer for aircraft control. InProc. IEEE, pages 1240?1255, October 1978.","DOI":"10.1109\/PROC.1978.11114"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088621.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01088621\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088621","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T17:31:52Z","timestamp":1586107912000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01088621"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,7]]},"references-count":52,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1994,7]]}},"alternative-id":["BF01088621"],"URL":"https:\/\/doi.org\/10.1007\/bf01088621","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,7]]}}}