{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T13:43:03Z","timestamp":1777902183085,"version":"3.51.4"},"reference-count":40,"publisher":"SAGE Publications","issue":"4","license":[{"start":{"date-parts":[[2010,3,12]],"date-time":"2010-03-12T00:00:00Z","timestamp":1268352000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["SIMULATION"],"published-print":{"date-parts":[[2011,4]]},"abstract":"<jats:p>Synthesizing an implementation from a model in a predictable way is one of the major challenges in real-time system design. In our previous work we addressed this problem by generating in real-time an execution path through a model and by synchronizing the model time with the physical time. The execution path as observed in model time has a time difference with the execution path as observed in physical time. This distance determines the extent to which real-time model properties are preserved in the implementation. The key contribution of this article is an analytical approach for calculating the distance between a model and a corresponding implementation. Based on this distance, the real-time properties of the implementation can be predicted from the model. A paper path of a printer is used as a case study to show the effectiveness of the technique.<\/jats:p>","DOI":"10.1177\/0037549710364204","type":"journal-article","created":{"date-parts":[[2010,3,12]],"date-time":"2010-03-12T20:35:41Z","timestamp":1268426141000},"page":"334-350","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":1,"title":["Error computation for predictable real-time software synthesis"],"prefix":"10.1177","volume":"87","author":[{"given":"Jeroen","family":"Voeten","sequence":"first","affiliation":[{"name":"Eindhoven University of Technology, Embedded Systems Institute, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands,"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oana","family":"Florescu","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, Embedded Systems Institute, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Jinfeng Huang","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, Embedded Systems Institute, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henk","family":"Corporaal","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, Embedded Systems Institute, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[2010,3,12]]},"reference":[{"key":"atypb1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"atypb2","volume-title":"A Calculus of Real Time Systems. Ph.D. thesis","author":"Yi W.","year":"1991"},{"key":"atypb3","volume-title":"International Workshop on Timed Petri Nets","author":"Stotts P."},{"key":"atypb4","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050010"},{"key":"atypb5","volume-title":"Formal Modeling and Analysis of Timed Systems: First International Workshop (FORMATS 2003)","author":"Amnell T."},{"issue":"3","key":"atypb6","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/S1389-1286(03)00247-0","volume":"42","author":"Glasser U.","year":"2003","journal-title":"Computer Networks: The International Journal of Computer and Telecommunications Networking"},{"key":"atypb7","volume-title":"Specification of Reactive Hardware\/Software Systems","author":"van der Putten P.","year":"1997"},{"key":"atypb8","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-007-9013-6"},{"key":"atypb9","volume-title":"Predictability in Real-Time Software Design","author":"Huang J.","year":"2005"},{"key":"atypb10","volume-title":"Proceedings of the Forum on Specification and Design Languages","author":"Florescu O."},{"key":"atypb11","volume-title":"Communication and Concurrency (Prentice Hall International Series in Computer Science)","author":"Milner R.","year":"1989"},{"key":"atypb12","volume-title":"Timed Processes: Models, Axioms and Decidability. Ph.D. thesis","author":"Chen L.","year":"1993"},{"key":"atypb13","volume-title":"Proceedings of the 11th European Simulation Symposium","author":"Voeten J."},{"key":"atypb14","volume-title":"Formal Techniques for Verification of Complex Real-Time Systems","author":"Geilen M.","year":"2002"},{"key":"atypb15","volume-title":"Proceedings of the 25th Euromicro Conference","author":"van Bokhoven L."},{"issue":"3","key":"atypb16","first-page":"62","volume":"29","author":"Lewis H.","year":"1998","journal-title":"ACM SIGACTNews"},{"key":"atypb17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5131-7"},{"key":"atypb18","volume-title":"Proceedings of the 42nd Design Automation Conference","author":"Gheorghita S."},{"key":"atypb19","volume-title":"Predictable Design for Real-Time Systems","author":"Florescu O.","year":"2007"},{"key":"atypb20","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-5316(02)00105-0"},{"key":"atypb21","volume-title":"Combinatorial Algorithms: Theory and Practice","author":"Reingold E.","year":"1977"},{"key":"atypb22","volume-title":"Eindhoven University of Technology","author":"Mechanical Engineering Department","year":"2007"},{"key":"atypb23","author":"Witvoet G.","year":"2005","journal-title":"Technical Report"},{"key":"atypb24","volume-title":"24. RTAI-the RealTime Application Interface for Linux","author":"Rtai.","year":"2007"},{"key":"atypb25","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2005.1388799"},{"key":"atypb26","volume-title":"Sheet Feedback Control Design in a Printer Paper Path","author":"Bukkems B.","year":"2007"},{"key":"atypb27","volume-title":"Proceedings of the 45th IEEE Conference on Decision and Control","author":"Cloosterman M."},{"key":"atypb28","volume-title":"Proceedings of the 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications","author":"Florescu O."},{"key":"atypb29","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1083"},{"key":"atypb30","volume-title":"Proceedings of the 5th Jerusalem Conference on Information Technology","author":"Henzinger T."},{"key":"atypb31","volume-title":"TAU Generation","author":"Telelogic.","year":"2007"},{"key":"atypb32","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008387132377"},{"key":"atypb33","volume-title":"Proceedings of the 10th International Conference on Real-Time and Embedded Computing Systems and Applications","author":"Huang J."},{"key":"atypb34","volume-title":"First Symposium on Quantitative Evaluation of Systems (QEST04)","author":"Gupta V."},{"key":"atypb35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_5"},{"key":"atypb36","volume-title":"Proceedings of the Third International Conference on Formal Modeling and Analysis of Timed Systems","author":"Henzinger TA"},{"key":"atypb37","volume-title":"Proceedings of the Forum on Specification and Design Languages","author":"Huang J."},{"key":"atypb38","volume-title":"http:\/\/www.timestool.com\/","author":"TIMES Tool.","year":"2007"},{"key":"atypb39","volume-title":"Proceedings of Formal Methods","author":"de Wulf M."},{"key":"atypb40","doi-asserted-by":"publisher","DOI":"10.1007\/11603009_21"}],"container-title":["SIMULATION"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0037549710364204","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0037549710364204","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T11:22:17Z","timestamp":1777634537000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.1177\/0037549710364204"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3,12]]},"references-count":40,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2011,4]]}},"alternative-id":["10.1177\/0037549710364204"],"URL":"https:\/\/doi.org\/10.1177\/0037549710364204","relation":{},"ISSN":["0037-5497","1741-3133"],"issn-type":[{"value":"0037-5497","type":"print"},{"value":"1741-3133","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,3,12]]}}}