{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T18:41:47Z","timestamp":1649184107042},"reference-count":34,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2003,6,1]],"date-time":"2003-06-01T00:00:00Z","timestamp":1054425600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Performance Evaluation"],"published-print":{"date-parts":[[2003,6]]},"DOI":"10.1016\/s0166-5316(02)00203-1","type":"journal-article","created":{"date-parts":[[2003,5,13]],"date-time":"2003-05-13T02:21:32Z","timestamp":1052792492000},"page":"1-21","source":"Crossref","is-referenced-by-count":1,"title":["Automatic response performance monitoring for real-time software with nondeterministic behaviors"],"prefix":"10.1016","volume":"53","author":[{"given":"Barry R.","family":"Pekilis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rudolph E.","family":"Seviora","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0166-5316(02)00203-1_BIB1","unstructured":"F. Belina, D. Hogrefe, A. Sarma, SDL with Applications from Protocol Specification, Prentice-Hall, Englewood Cliffs, NJ, 1991."},{"key":"10.1016\/S0166-5316(02)00203-1_BIB2","unstructured":"D. Hatley, I. Pirbhai, Strategies for Real-time System Specification, Dorset House, 1987."},{"key":"10.1016\/S0166-5316(02)00203-1_BIB3","unstructured":"J. Kurose, K. Ross, Computer Networking: A Top-Down Approach Featuring The Internet, Addison-Wesley, Reading, MA, 2001."},{"key":"10.1016\/S0166-5316(02)00203-1_BIB4","unstructured":"L. Motus, M. Rodd., Timing Analysis of Real-time Software, Elsevier, Amsterdam, 1994."},{"key":"10.1016\/S0166-5316(02)00203-1_BIB5","unstructured":"J. Tsai, S. Yang (Eds.), Monitoring and Debugging of Distributed Real-time Systems, IEEE Computer Society, 1995."},{"key":"10.1016\/S0166-5316(02)00203-1_BIB6","unstructured":"K. Turner (Ed.), Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL, Wiley, New York, 1993."},{"key":"10.1016\/S0166-5316(02)00203-1_BIB7","doi-asserted-by":"crossref","unstructured":"A. Bakic, M. Mutka, D. Rover, BRISK: A Portable and Flexible Distributed Instrumentation System, Software Practice and Experience, Wiley, New York, October 2000, pp. 1353\u20131373.","DOI":"10.1002\/1097-024X(200010)30:12<1353::AID-SPE335>3.0.CO;2-T"},{"key":"10.1016\/S0166-5316(02)00203-1_BIB8","doi-asserted-by":"crossref","unstructured":"D. Dvorak, B. Kuipers, Process monitoring and diagnosis: a model-based approach, IEEE Expert, June 1991, pp. 67\u201374.","DOI":"10.1109\/64.87688"},{"key":"10.1016\/S0166-5316(02)00203-1_BIB9","doi-asserted-by":"crossref","unstructured":"D. Ingham, S. Shrivastava, F. Panzieri, Constructing dependable Web services, IEEE Internet Computing, January\u2013February 2000, pp. 25\u201333.","DOI":"10.1109\/4236.815846"},{"key":"10.1016\/S0166-5316(02)00203-1_BIB10","doi-asserted-by":"crossref","unstructured":"K. Kenny, L. Lin, Measuring and analyzing real-time performance, IEEE Software, September 1991, pp. 41\u201349.","DOI":"10.1109\/52.84215"},{"key":"10.1016\/S0166-5316(02)00203-1_BIB11","doi-asserted-by":"crossref","unstructured":"A. Mitschele, B. M\u00fcller-Clostermann, Performance engineering of SDL\/MSC systems, Computer Networks 31 (1999) 1801\u20131815.","DOI":"10.1016\/S1389-1286(99)00061-4"},{"key":"10.1016\/S0166-5316(02)00203-1_BIB12","doi-asserted-by":"crossref","unstructured":"B. Plattner, Real-time Execution monitoring, IEEE Transactions on Software Engineering, November 1984, pp. 756\u2013764.","DOI":"10.1109\/TSE.1984.5010304"},{"key":"10.1016\/S0166-5316(02)00203-1_BIB13","unstructured":"P. Saffache, V. Bic, Performance for real-time applications in telecom, Annual Review for Communications, International Engineering Consortium, July 1997, pp. 1081\u20131085."},{"key":"10.1016\/S0166-5316(02)00203-1_BIB14","doi-asserted-by":"crossref","unstructured":"B. Schroeder, On-line monitoring: a tutorial, IEEE Computer, June 1995, pp. 72\u201378.","DOI":"10.1109\/2.386988"},{"key":"10.1016\/S0166-5316(02)00203-1_BIB15","doi-asserted-by":"crossref","unstructured":"S. Sankar, M. Mandal, Concurrent run-time monitoring of formally specified programs, IEEE Computer, March 1993, pp. 32\u201341.","DOI":"10.1109\/2.204684"},{"key":"10.1016\/S0166-5316(02)00203-1_BIB16","doi-asserted-by":"crossref","unstructured":"T. Savor, R. Seviora, Toward automatic detection of software failures, IEEE Computer, August 1998, pp. 1\u20137.","DOI":"10.1109\/2.707619"},{"key":"10.1016\/S0166-5316(02)00203-1_BIB17","doi-asserted-by":"crossref","unstructured":"C-K. Tham, Y. Jiang, C.-C. Ko, Monitoring QoS distribution in multimedia networks, Int. J. Network Manage., March\u2013April 2000, pp. 75\u201390.","DOI":"10.1002\/(SICI)1099-1190(200003\/04)10:2<75::AID-NEM355>3.0.CO;2-#"},{"key":"10.1016\/S0166-5316(02)00203-1_BIB18","doi-asserted-by":"crossref","unstructured":"J. Tsai, K.-Y. Fang, H.-Y. Chen, Y.-D. Bi, A noninterference monitoring and replay mechanism for real-time software testing and debugging, IEEE Transactions on Software Engineering, August 1990, pp. 897\u2013916.","DOI":"10.1109\/32.57626"},{"key":"10.1016\/S0166-5316(02)00203-1_BIB19","doi-asserted-by":"crossref","unstructured":"C.M. Woodside, C. Schramm, Complex performance measurements with NICE (Notation for Interval Combinations and Events), Software Practice and Experience, December 1994, pp. 1121\u20131144.","DOI":"10.1002\/spe.4380241203"},{"key":"10.1016\/S0166-5316(02)00203-1_BIB20","doi-asserted-by":"crossref","unstructured":"M. Woodside, C. Hrischuk, B. Selic, S. Bayarov, Automated performance modeling of software generated by a design environment, Performance Evaluation 45 (2001) 107\u2013123.","DOI":"10.1016\/S0166-5316(01)00033-5"},{"key":"10.1016\/S0166-5316(02)00203-1_BIB21","doi-asserted-by":"crossref","unstructured":"M. Hlady, et al., A. Vorobiev, An approach to automatic detection of software failures, in: Proceedings of the Sixth International Symposium on Software Reliability Engineering, ISSRE\u201995, IEEE, October 1995, pp. 314\u2013323.","DOI":"10.1109\/ISSRE.1995.497672"},{"key":"10.1016\/S0166-5316(02)00203-1_BIB22","unstructured":"T. Kaldma, et al., Specification and analysis of timing properties in CONRAD, in: Proceedings of the 19th Workshop on Real-time Programming (WRTP), IFAC\/IFIP, 1994, pp. 53\u201359."},{"key":"10.1016\/S0166-5316(02)00203-1_BIB23","doi-asserted-by":"crossref","unstructured":"L. Motus, Time concepts in real-time software, in: Proceedings of the Workshop on Real-time Programming, IFAC, June 1992, pp. 1\u201310.","DOI":"10.1016\/B978-0-08-041894-0.50004-6"},{"key":"10.1016\/S0166-5316(02)00203-1_BIB24","doi-asserted-by":"crossref","unstructured":"B. Pekilis, R. Seviora, Detection of response time failures of real-time software, in: Proceedings of the Eighth International Symposium on Software Reliability Engineering, ISSRE\u201997, IEEE, November 1997, pp. 38\u201347.","DOI":"10.1109\/ISSRE.1997.630846"},{"key":"10.1016\/S0166-5316(02)00203-1_BIB25","unstructured":"B. Pehrson, Abstraction by structural reduction, in: Proceedings of the International Symposium of Protocol Specification, Testing, and Verification, IFIP WG 6.1, North-Holland, Amsterdam, 1983, pp. 87\u201394"},{"key":"10.1016\/S0166-5316(02)00203-1_BIB26","doi-asserted-by":"crossref","unstructured":"J. Rosenberg, H. Schulzrinne, Internet telephony gateway location, in: Proceedings of INFOCOM\u201998, IEEE, March 1998, pp. 488\u2013496.","DOI":"10.1109\/INFCOM.1998.665066"},{"key":"10.1016\/S0166-5316(02)00203-1_BIB27","doi-asserted-by":"crossref","unstructured":"P. Utton, H. Heath, Performance Prediction: an industry perspective, in: Proceedings of the Ninth International Conference, Computer Performance Evaluation, Modeling Techniques and Tools, Springer, Berlin, June 1997, pp. 1\u20135.","DOI":"10.1007\/BFb0022192"},{"key":"10.1016\/S0166-5316(02)00203-1_BIB28","doi-asserted-by":"crossref","unstructured":"D. Wybanietz, D. Haban, Monitoring and performance measuring distributed systems during operation, Performance Evaluation Review: Measurement and Modeling of Computer Systems, ACM, May 1988, pp. 197\u2013206.","DOI":"10.1145\/1007771.55618"},{"key":"10.1016\/S0166-5316(02)00203-1_BIB29","unstructured":"Y. Yemini, G. Goldszmidt, S. Yemini, Network management by delegation, in: Proceedings of the Second International Symposium on Integrated Network Management, IFIP\/IEEE, 1991, pp. 95\u2013107."},{"key":"10.1016\/S0166-5316(02)00203-1_BIB30","unstructured":"K. Delgadillo, Cisco Distributed Director, White Paper, Cisco Systems, 1999, pp. 1\u201319. http:\/\/www.cisco.com\/warp\/public\/cc\/pd\/cxsr\/dd\/tech\/dd_wp.htm."},{"key":"10.1016\/S0166-5316(02)00203-1_BIB31","unstructured":"ARM, Application Response Measurement Issues 3.0\u2014Java Binding, Technical Standard, The Open Group, October 2001."},{"key":"10.1016\/S0166-5316(02)00203-1_BIB32","unstructured":"ITU-T, Recommendation Z.100-4: Functional Specification and Description Language, 1999."},{"key":"10.1016\/S0166-5316(02)00203-1_BIB33","unstructured":"ITU-T, Recommendation Q.541-Q.543: Exchange Design Objectives, 1993."},{"key":"10.1016\/S0166-5316(02)00203-1_BIB34","unstructured":"B. Pekilis, Automatic monitoring of response performance in soft real-time systems using reduced-specification models, Technical Report, Bell Canada Software Reliability Laboratory, University of Waterloo, 2000."}],"container-title":["Performance Evaluation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0166531602002031?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0166531602002031?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,17]],"date-time":"2020-03-17T19:43:09Z","timestamp":1584474189000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0166531602002031"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,6]]},"references-count":34,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2003,6]]}},"alternative-id":["S0166531602002031"],"URL":"https:\/\/doi.org\/10.1016\/s0166-5316(02)00203-1","relation":{},"ISSN":["0166-5316"],"issn-type":[{"value":"0166-5316","type":"print"}],"subject":[],"published":{"date-parts":[[2003,6]]}}}