{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:39:59Z","timestamp":1750307999343,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,7,17]],"date-time":"2006-07-17T00:00:00Z","timestamp":1153094400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,7,17]]},"DOI":"10.1145\/1147249.1147253","type":"proceedings-article","created":{"date-parts":[[2006,10,18]],"date-time":"2006-10-18T22:04:00Z","timestamp":1161209040000},"page":"28-38","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Architecture-driven platform independent deterministic replay for distributed hard real-time systems"],"prefix":"10.1145","author":[{"given":"Holger","family":"Giese","sequence":"first","affiliation":[{"name":"University of Paderborn, Paderborn, Germany"}]},{"given":"Stefan","family":"Henkler","sequence":"additional","affiliation":[{"name":"University of Paderborn, Paderborn, Germany"}]}],"member":"320","published-online":{"date-parts":[[2006,7,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945454"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008185530601"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134297"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337205"},{"key":"e_1_3_2_1_5_1","volume-title":"Stanley Thornes","author":"Bradley D.","year":"2000","unstructured":"D. Bradley , D. Seward , D. Dawson , and S. Burge . Mechatronics . Stanley Thornes , 2000 . D. Bradley, D. Seward, D. Dawson, and S. Burge. Mechatronics. Stanley Thornes, 2000."},{"key":"e_1_3_2_1_6_1","volume-title":"Testing Embedded Software","author":"Broekman B.","year":"2003","unstructured":"B. Broekman and E. Notenboom . Testing Embedded Software . Addison-Wesley , 2003 . B. Broekman and E. Notenboom. Testing Embedded Software. Addison-Wesley, 2003."},{"key":"e_1_3_2_1_7_1","volume-title":"Proc. of 1st International Conference on Informatics in Control, Automation and Robotics (ICINCO 2004","author":"Burmester S.","year":"2004","unstructured":"S. Burmester , H. Giese , and O. Oberschelp . Hybrid UML Components for the Design of Complex Self-optimizing Mechatronic Systems. In H. Araujo, A. Vieira, J. Braz, B. Encarnacao, and M. Carvalho, editors , Proc. of 1st International Conference on Informatics in Control, Automation and Robotics (ICINCO 2004 ), Setubal, Portugal, pages 222--229. INSTICC Press , August 2004 . S. Burmester, H. Giese, and O. Oberschelp. Hybrid UML Components for the Design of Complex Self-optimizing Mechatronic Systems. In H. Araujo, A. Vieira, J. Braz, B. Encarnacao, and M. Carvalho, editors, Proc. of 1st International Conference on Informatics in Control, Automation and Robotics (ICINCO 2004), Setubal, Portugal, pages 222--229. INSTICC Press, August 2004."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/11581741_4"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/11538097_4"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/11538097_4"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380221005"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.542297"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029920"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940078"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/776816.776878"},{"key":"e_1_3_2_1_18_1","volume-title":"Real-Time Systems: Design Principles for Distributed Embedded Applications. 395","author":"Kopetz H.","year":"1997","unstructured":"H. Kopetz . Real-Time Systems: Design Principles for Distributed Embedded Applications. 395 . Kluwer International Series in Engineering and Computer Science, 1997 . H. Kopetz. Real-Time Systems: Design Principles for Distributed Embedded Applications. 395. Kluwer International Series in Engineering and Computer Science, 1997."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1987.1676929"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/76894.76897"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.1271170"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1083217.1083223"},{"key":"e_1_3_2_1_23_1","volume-title":"July","author":"Object Management Group","year":"2004","unstructured":"Object Management Group . UML 2.0 Superstructure Specification . OMG Document formal\/05-04-01 , July 2004 . URL : http:\/\/www.omg.org\/cgi-bin\/doc?formal\/05-07-04. Object Management Group. UML 2.0 Superstructure Specification. OMG Document formal\/05-04-01, July 2004. URL: http:\/\/www.omg.org\/cgi-bin\/doc?formal\/05-07-04."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/243327.243605"},{"key":"e_1_3_2_1_25_1","volume-title":"Kluwer Academic Publishers","author":"Sch\u00fctz W.","year":"1993","unstructured":"W. Sch\u00fctz . The Testability of Distributed Real-Time Systems . Kluwer Academic Publishers , Norwell, MA, USA , 1993 . W. Sch\u00fctz. The Testability of Distributed Real-Time Systems. Kluwer Academic Publishers, Norwell, MA, USA, 1993."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01088802"},{"key":"e_1_3_2_1_28_1","volume-title":"Testing and Debugging of Distributed Real-Time Systems. Masterthesis","author":"Thane H.","year":"2000","unstructured":"H. Thane . Monitoring , Testing and Debugging of Distributed Real-Time Systems. Masterthesis , Royal Institute of Technology Stockholm, Sweden, Mechatronic Labor, Department of Machine Design , 2000 . H. Thane. Monitoring, Testing and Debugging of Distributed Real-Time Systems. Masterthesis, Royal Institute of Technology Stockholm, Sweden, Mechatronic Labor, Department of Machine Design, 2000."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.57626"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/645608.662015"}],"event":{"name":"ISSTA06: International Symposium on Software Testing and Analysis 2006","acronym":"ISSTA06","location":"Portland Maine"},"container-title":["Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1147249.1147253","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1147249.1147253","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:06:24Z","timestamp":1750259184000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1147249.1147253"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,7,17]]},"references-count":27,"alternative-id":["10.1145\/1147249.1147253","10.1145\/1147249"],"URL":"https:\/\/doi.org\/10.1145\/1147249.1147253","relation":{},"subject":[],"published":{"date-parts":[[2006,7,17]]},"assertion":[{"value":"2006-07-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}