{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T23:12:37Z","timestamp":1649027557611},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2005,7,1]],"date-time":"2005-07-01T00:00:00Z","timestamp":1120176000000},"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":[[2005,7]]},"DOI":"10.1007\/s11241-005-2745-2","type":"journal-article","created":{"date-parts":[[2005,8,30]],"date-time":"2005-08-30T15:20:39Z","timestamp":1125415239000},"page":"163-185","source":"Crossref","is-referenced-by-count":0,"title":["Integrating On-Line Performance Visualization and Real-Time System Design"],"prefix":"10.1007","volume":"30","author":[{"given":"Aleksandar M.","family":"Baki\u0107","sequence":"first","affiliation":[]},{"given":"Matt W.","family":"Mutka","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,8,16]]},"reference":[{"key":"2745_CR1","unstructured":"Aggoun, A., et al. 1997. ECLiPSe User Manual. Technical report, Centre for Planning and Resource Control, Imperial College."},{"key":"2745_CR2","unstructured":"Baki\u0107, A. M. and Mutka, M. W. 1999. A compiler-based approach to design and engineering of complex real-time systems. In Proc. 19th IEEE ICDCS."},{"key":"2745_CR3","doi-asserted-by":"crossref","unstructured":"Baki\u0107, A. M., Mutka, M. W., and Rover, D. T. 1999a. BRISK: A portable and flexible distributed instrumentation system. In Proc. IEEE IPPS\/SPDP.","DOI":"10.1145\/281035.281050"},{"key":"2745_CR4","doi-asserted-by":"crossref","unstructured":"Baki\u0107, A. M., Mutka M. W., and Rover, D. T. 1999b. An on-line performance visualization technology. In Proc. IEEE Heterogeneous Computing Workshop.","DOI":"10.1109\/HCW.1999.765110"},{"key":"2745_CR5","unstructured":"Baki\u0107, V. and Stockman, G. 1999. Menu selection by facial aspect. In Proc. 12th Conference on Vision Interface."},{"key":"2745_CR6","unstructured":"Barabanov, M. 1997. A Linux-based real-time operating system. Master's thesis, New Mexico Tech."},{"key":"2745_CR7","doi-asserted-by":"crossref","unstructured":"Bobrow, D., DiMichiel, L., Gabriel, R., Keene, S., Kiczales, G., and Moon, D. 1988. A common lisp object system specification: X3J13 Document 88\u2013002R. SIGPLAN Notices 23.","DOI":"10.1145\/885631.885632"},{"key":"2745_CR8","unstructured":"Bothner, P. 1998. Kawa\u2013-Compiling dynamic languages to Java VM. In Proc. USENIX Annual Technical Conference."},{"issue":"4","key":"2745_CR9","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1093\/comjnl\/38.4.271","volume":"38","author":"S. Chatterjee","year":"1995","unstructured":"Chatterjee, S. and Strosnider, J. 1995. Distributed pipeline scheduling: A framework for distributed, heterogeneous real-time system design. The Computer Journal 38(4), 271\u2013285.","journal-title":"The Computer Journal"},{"key":"2745_CR10","doi-asserted-by":"crossref","unstructured":"Chodrow, S. E., Jahanian, F., and Donner, M., 1991. Run-time monitoring of real-time systems. In Proceedings of the Real-Time Systems Symposium, pp. 74\u201383.","DOI":"10.1109\/REAL.1991.160360"},{"key":"2745_CR11","doi-asserted-by":"crossref","unstructured":"Frick, Ludwig, M. 1994. A fast adaptive layout algorithm for unidirected graphs. In Proceedings of Graph Drawing.","DOI":"10.1007\/3-540-58950-3_393"},{"key":"2745_CR12","unstructured":"Gerber, R., Hong, S., Kang, D., and Saksena, M. 1996. Formal Methods in Real-Time Computing, John Wiley & Sons, pp. 237\u2013265."},{"issue":"1","key":"2745_CR13","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1145\/227986.227995","volume":"7","author":"M. Gergeleit","year":"1996","unstructured":"Gergeleit, M., Kaiser, J., and Streich, H. 1996. Checking timing constraints in distributed object-oriented programs. OOPS Messenger 7(1): 51\u201358.","journal-title":"OOPS Messenger"},{"key":"2745_CR14","unstructured":"Goldfarb, C. F. 1990. The SGML Handbook. Oxford University Press."},{"key":"2745_CR15","unstructured":"Gu, W., Eisenhauer, G., Kramer, E., Schwan, K., Stasko, J., and Vetter, J. 1994a. Falcon: On-line Monitoring and Steering of Large-Scale Parallel Programs. Technical Report GIT-CC-94\u201321, Georgia Institute of Technology."},{"key":"2745_CR16","doi-asserted-by":"crossref","unstructured":"Gu, W., Vetter, J., and Schwan, K. 1994b. An annotated bibliography of interactive program steering. Technical report, College of Computing, Georgia Institute of Technology.","DOI":"10.1145\/185009.185038"},{"key":"2745_CR17","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19\/20","author":"J. Jaffar","year":"1994","unstructured":"Jaffar, J. and Maher, M. J. 1994. Constraint logic programming: A Survey. Journal of Logic Programming 19\/20: 503\u2013581.","journal-title":"Journal of Logic Programming"},{"key":"2745_CR18","doi-asserted-by":"crossref","unstructured":"Jahanian, F. and Goyal, A. 1990. A formalism for monitoring real-time constraints at run-time. In Proceedings of the IEEE Fault-Tolerant Computing Symposium, pp. 148\u2013155.","DOI":"10.1109\/FTCS.1990.89350"},{"issue":"9","key":"2745_CR19","doi-asserted-by":"crossref","first-page":"890","DOI":"10.1109\/TSE.1986.6313045","volume":"SE-12","author":"F. Jahanian","year":"1986","unstructured":"Jahanian, F. and Mok, A. 1986. Safety analysis of timing properties in real-time systems. IEEE Transactions on Software Engineering SE-12(9): 890\u2013904.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2745_CR20","doi-asserted-by":"crossref","unstructured":"Jahanian, F. and Mok, A. K. 1987. A graph-theoretic approach for timing analysis and its implementation. IEEE Transactions on Computers C\u201336(8).","DOI":"10.1109\/TC.1987.5009519"},{"issue":"3","key":"2745_CR21","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/BF01088521","volume":"7","author":"F. Jahanian","year":"1994","unstructured":"Jahanian, F., Rajkumar, R., and Raju, S. 1994. Runtime monitoring of timing constraints in distributed real-time systems. Real-Time Systems 7(3): 247\u2013274.","journal-title":"Real-Time Systems"},{"key":"2745_CR22","unstructured":"Libes, D. 1994. Exploring Expect. O'Reilly & Associates ISBN 1\u201356592\u2013090\u20132."},{"key":"2745_CR23","unstructured":"Lord, T.: 1995. An Anatomy of Guile\/The Interface to Tcl\/Tk. In Proc. Usenix Tcl\/Tk Workshop."},{"key":"2745_CR24","doi-asserted-by":"crossref","unstructured":"Ren, S., Agha, G. A., and Saito, M. 1996. A modular approach for programming distributed real-time systems. Journal of Parallel and Distributed Computing, Special Issue on Object-Oriented Real-Time Systems 36(1): 4\u201312.","DOI":"10.1006\/jpdc.1996.0086"},{"key":"2745_CR25","unstructured":"R\u00f6mer, K. and Puder, A. 1997. MICO: CORBA 2.0 Implementation. Technical report, Computer Science Department, University of Frankfurt, Germany. [Online] Available http:\/\/diamant-atm.vsb.cs.uni-frankfurt.de\/~mico\/."},{"key":"2745_CR26","unstructured":"Rubini, A. 1998. Linux Device Drivers. O'Reilly & Associates."},{"key":"2745_CR27","doi-asserted-by":"crossref","unstructured":"Saksena, M. and Hong, S. 1996. An engineering approach to decomposing end-to-end delays on a distributed real-time system. In Proceedings of the IEEE Workshop on Parallel and Distributed Real-Time Systems, pp. 244\u2013251.","DOI":"10.1109\/WPDRTS.1996.557688"},{"key":"2745_CR28","unstructured":"Schrod, J. 1995. SGML Transformations in LISP. Technical report, Computer Science Department, Technical University of Darmstadt."},{"issue":"12","key":"2745_CR29","doi-asserted-by":"crossref","first-page":"1407","DOI":"10.1109\/12.338100","volume":"43","author":"M. Spuri","year":"1994","unstructured":"Spuri, M. and Stankovic, J. A. 1994. How to integrate precedence constraints and shared resources in real-time scheduling. IEEE Transactions on Computers 43(12): 1407\u20131412.","journal-title":"IEEE Transactions on Computers"},{"issue":"3","key":"2745_CR30","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1142\/S021819409600017X","volume":"6","author":"D. A. Stuart","year":"1996","unstructured":"Stuart, D. A., Mok, A. K., and Jahanian, F. 1996. A methodology and support tools for analysis of real-time specifications. International Journal of Software Engineering and Knowledge Engineering 6(3): 401\u2013426.","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"key":"2745_CR31","unstructured":"Tammet, T. 1995. Hobbit: A Scheme-to-C Compiler. Technical report, Department of Computing Science, Chalmers University of Technology, University of G\u00f6teborg, Sweden. [Online] Available http:\/\/www-swiss.ai.mit.edu~jaffer\/Hobbit.html."},{"key":"2745_CR32","unstructured":"Tri-Pacific-Software, 1998. PERTS: The art of modeling real-time systems. [Online] Available http:\/\/www.tripac.com\/perts\/."},{"key":"2745_CR33","doi-asserted-by":"crossref","unstructured":"van Tilborg, A. M. and Koob, G. M. (eds.). 1991. Foundations of Real-Time Computing: Scheduling and Resource Management, Kluwer Academic Publishers, p. 7.","DOI":"10.1007\/978-1-4615-3956-8"},{"key":"2745_CR34","doi-asserted-by":"crossref","unstructured":"Welch, L. R., Ravindran, B., Shirazi, B. A., and Bruggeman, C. 1998. Specification and modeling of dynamic, distributed real-time systems. In Proceedings of the 19th IEEE Real-Time Systems Symposium.","DOI":"10.1109\/REAL.1998.739732"},{"key":"2745_CR35","doi-asserted-by":"crossref","unstructured":"Wilner, D. 1995. WindView: A tool for understanding real-time embedded software through system vizualization. In Proc. ACM SIGPLAN Workshop on Languages, Compilers, & Tools for Real-Time Systems. pp, 117\u2013123.","DOI":"10.1145\/216636.216674"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-005-2745-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11241-005-2745-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-005-2745-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,9]],"date-time":"2020-04-09T07:31:45Z","timestamp":1586417505000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11241-005-2745-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,7]]},"references-count":35,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2005,7]]}},"alternative-id":["2745"],"URL":"https:\/\/doi.org\/10.1007\/s11241-005-2745-2","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,7]]}}}