{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,19]],"date-time":"2024-11-19T15:37:24Z","timestamp":1732030644212},"reference-count":28,"publisher":"Elsevier BV","issue":"9","license":[{"start":{"date-parts":[[2001,2,1]],"date-time":"2001-02-01T00:00:00Z","timestamp":980985600000},"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":["Microprocessors and Microsystems"],"published-print":{"date-parts":[[2001,2]]},"DOI":"10.1016\/s0141-9331(00)00099-5","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T14:37:42Z","timestamp":1027607862000},"page":"463-478","source":"Crossref","is-referenced-by-count":13,"title":["Testing distributed real-time systems"],"prefix":"10.1016","volume":"24","author":[{"given":"H.","family":"Thane","sequence":"first","affiliation":[]},{"given":"H.","family":"Hansson","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0141-9331(00)00099-5_BIB1","doi-asserted-by":"crossref","unstructured":"N.C. Audsley, A. Burns, R.I. Davis, K.W. Tindell, Fixed priority pre-emptive scheduling: a historical perspective, Real-Time Systems Journal 8 (2\/3) (1995) (Kluwer Academic, Dordrecht).","DOI":"10.1007\/BF01094342"},{"key":"10.1016\/S0141-9331(00)00099-5_BIB2","series-title":"Software Testing Techniques","author":"Beizer","year":"1990"},{"key":"10.1016\/S0141-9331(00)00099-5_BIB3","unstructured":"J. Chen, A. Burns, Asynchronous data sharing in muliprocessor real-time systems using process consensus, 10th Euromicro Workshop on Real-Time Systems, June 1998."},{"key":"10.1016\/S0141-9331(00)00099-5_BIB4","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1006\/jpdc.1996.0090","article-title":"An overview of RTT: a design framework for real-time systems","volume":"36","author":"Eriksson","year":"1996","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"10.1016\/S0141-9331(00)00099-5_BIB5","doi-asserted-by":"publisher","unstructured":"C. Eriksson, H. Thane, M. Gustafsson, A communication protocol for hard and soft real-time systems, Proceedings of the Eighth Euromicro Real-Time Workshop, L'Aquila Italy, June 1996.","DOI":"10.1109\/EMWRTS.1996.557878"},{"issue":"3","key":"10.1016\/S0141-9331(00)00099-5_BIB6","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1002\/spe.4380160304","article-title":"A probe effect in concurrent programs","volume":"16","author":"Gait","year":"1986","journal-title":"Software \u2014 Practice and Experience"},{"issue":"4","key":"10.1016\/S0141-9331(00)00099-5_BIB7","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1142\/S0218194095000241","article-title":"Reachability testing: an approach to testing concurrent software","volume":"5","author":"Hwang","year":"1995","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"key":"10.1016\/S0141-9331(00)00099-5_BIB8","doi-asserted-by":"crossref","unstructured":"H. Kopetz, Gr\u00fcH. nsteidl, TTP \u2014 a protocol for fault-tolerant real-time systems, IEEE Computer, January, 1994.","DOI":"10.1109\/2.248873"},{"issue":"8","key":"10.1016\/S0141-9331(00)00099-5_BIB9","doi-asserted-by":"publisher","first-page":"933","DOI":"10.1109\/TC.1987.5009516","article-title":"Clock synchronisation in distributed real-time systems","volume":"36","author":"Kopetz","year":"1987","journal-title":"IEEE Transactions on Computers"},{"issue":"9","key":"10.1016\/S0141-9331(00)00099-5_BIB10","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/40.16792","article-title":"Distributed fault-tolerant real-time systems: the MARS approach","author":"Kopetz","year":"1989","journal-title":"IEEE Micro"},{"key":"10.1016\/S0141-9331(00)00099-5_BIB11","doi-asserted-by":"publisher","unstructured":"H. Kopetz, J. Reisinger, The non-blocking write protocol nbw: a solution to a real-time synchronization problem, Proceedings of he 14th Real-Time Systems Symposium, 1993, pp. 131\u2013137.","DOI":"10.1109\/REAL.1993.393507"},{"key":"10.1016\/S0141-9331(00)00099-5_BIB12","volume":"vol. 5","author":"Laprie","year":"1992"},{"key":"10.1016\/S0141-9331(00)00099-5_BIB13","doi-asserted-by":"crossref","unstructured":"C.L. Lui, J.W. Layland, Scheduling algorithms for multiprogramming in a hard real-time environment, Journal of the ACM 20 (1) (1973).","DOI":"10.1145\/321738.321743"},{"issue":"4","key":"10.1016\/S0141-9331(00)00099-5_BIB14","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1145\/76894.76897","article-title":"Debugging concurrent programs","volume":"21","author":"McDowell","year":"1989","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/S0141-9331(00)00099-5_BIB15","unstructured":"J. Rushby, Formal methods and their role in the certification of critical systems, Proceedings of the 12th Annual Center for Software Reliability Workshop, Bruges, 12\u201315 September, Springer, Berlin, 1995, pp. 2\u201342 (ISBN 3-540-76034-2)."},{"key":"10.1016\/S0141-9331(00)00099-5_BIB16","unstructured":"J. Rushby, Formal specification and verification for critical systems: tools, achievements, and prospects, Advances in Ultra-Dependable Distributed Systems, IEEE Computer Society Press, 1995 (ISBN 0-8186-6287-5)."},{"key":"10.1016\/S0141-9331(00)00099-5_BIB17","doi-asserted-by":"publisher","unstructured":"K. Sandstr\u00f6m, C. Eriksson, G. Fohler, Handling interrupts with static scheduling in an automotive vehicle control system, Proceedings of the Fifth International Conference on Real-Time Computing Systems and Applications (RTCSA'98), October 1998, Japan.","DOI":"10.1109\/RTCSA.1998.726412"},{"issue":"2","key":"10.1016\/S0141-9331(00)00099-5_BIB18","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/BF01088802","article-title":"Fundamental issues in testing distributed real-time systems","volume":"7","author":"Sch\u00fctz","year":"1994","journal-title":"Real-Time Systems Journal"},{"key":"10.1016\/S0141-9331(00)00099-5_BIB19","doi-asserted-by":"publisher","unstructured":"J. Sifakis, S. Yovine, Compositional specification of timed systems, Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96, Grenoble, France, Lecture Notes in Computer Science, Springer, Berlin, vol. 1046, 1996, pp. 347\u2013359.","DOI":"10.1007\/3-540-60922-9_29"},{"key":"10.1016\/S0141-9331(00)00099-5_BIB20","doi-asserted-by":"publisher","unstructured":"H. Thane, H. Hansson, Handling interrupts in testing of distributed real-time systems, Proceedings of the Real-Time Computing Systems and Applications conference (RTCSA'99), Hong Kong, December, 1999.","DOI":"10.1109\/RTCSA.1999.811297"},{"key":"10.1016\/S0141-9331(00)00099-5_BIB21","doi-asserted-by":"publisher","unstructured":"H. Thane, H. Hansson, Towards systematic testing of distributed real-time systems, Proceedings of the 20th IEEE Real-Time Systems Symposium, Phoenix, Arizona, December 1999.","DOI":"10.1109\/REAL.1999.818863"},{"key":"10.1016\/S0141-9331(00)00099-5_BIB22","doi-asserted-by":"publisher","unstructured":"H. Thane, H. Hansson, Using deterministic replay for debugging of distributed real-time systems, Proceedings of the 12th Euromicro Conference on Real-Time Systems (ECRTS'00), Stockholm, June 2000.","DOI":"10.1109\/EMRTS.2000.854015"},{"key":"10.1016\/S0141-9331(00)00099-5_BIB23","unstructured":"H. Thane, Asterix the T-REX among real-time kernels, Timely, reliable, efficient and extraordinary, Technical Report, M\u00e4lardalen Real-Time Research Center, Department of Computer Engineering, M\u00e4lardalen University, 2000 (in preparation)."},{"key":"10.1016\/S0141-9331(00)00099-5_BIB24","unstructured":"H. Thane, Design for deterministic monitoring of distributed real-time systems, Technical Report, M\u00e4lardalen Real-Time Research Center, Department of Computer Engineering, M\u00e4lardalen University, 1999."},{"key":"10.1016\/S0141-9331(00)00099-5_BIB25","unstructured":"H. Thane, Monitoring, testing and debugging of distributed real-time systems, PhD Thesis, Royal Institute of Technology (KTH), Stockholm, Sweden, May 2000 (www.mrtc.mdh.se)."},{"issue":"2","key":"10.1016\/S0141-9331(00)00099-5_BIB26","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/BF01088855","article-title":"Analysis of hard real-time communications","volume":"9","author":"Tindell","year":"1995","journal-title":"Journal of Real-Time Systems"},{"issue":"3","key":"10.1016\/S0141-9331(00)00099-5_BIB27","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1109\/32.48943","article-title":"Scheduling processes with release times, deadlines, precedence, and exclusion, relations","volume":"16","author":"Xu","year":"1990","journal-title":"IEEE Transaction on Software Engineering"},{"key":"10.1016\/S0141-9331(00)00099-5_BIB28","doi-asserted-by":"publisher","unstructured":"R.-D. Yang, C.-G. Chung, Path analysis testing of concurrent programs, Information and software Technology 34 (1) (1992).","DOI":"10.1016\/0950-5849(92)90093-5"}],"container-title":["Microprocessors and Microsystems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0141933100000995?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0141933100000995?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,9]],"date-time":"2020-01-09T13:52:27Z","timestamp":1578577947000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0141933100000995"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,2]]},"references-count":28,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2001,2]]}},"alternative-id":["S0141933100000995"],"URL":"https:\/\/doi.org\/10.1016\/s0141-9331(00)00099-5","relation":{},"ISSN":["0141-9331"],"issn-type":[{"value":"0141-9331","type":"print"}],"subject":[],"published":{"date-parts":[[2001,2]]}}}