{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:21:41Z","timestamp":1775874101054,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":50,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,8,21]],"date-time":"2017-08-21T00:00:00Z","timestamp":1503273600000},"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":[[2017,8,21]]},"DOI":"10.1145\/3106237.3106278","type":"proceedings-article","created":{"date-parts":[[2017,8,2]],"date-time":"2017-08-02T19:36:18Z","timestamp":1501702578000},"page":"419-430","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":27,"title":["Model-level, platform-independent debugging in the context of the model-driven development of real-time systems"],"prefix":"10.1145","author":[{"given":"Mojtaba","family":"Bagherzadeh","sequence":"first","affiliation":[{"name":"Queen's University, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Hili","sequence":"additional","affiliation":[{"name":"Queen's University, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juergen","family":"Dingel","sequence":"additional","affiliation":[{"name":"Queen's University, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,8,21]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Workshop on Open Source for Model-Driven Engineering (OSS4MDE\u201916)","author":"Ahmadi Reza","year":"2016","unstructured":"Reza Ahmadi , Nicolas Hili , Leo Jweda , Nondini Das , Suchita Ganesan , and Juergen Dingel . 2016 . Run-time Monitoring of a Rover: MDE Research with Open Source Software and Low-cost Hardware . In Workshop on Open Source for Model-Driven Engineering (OSS4MDE\u201916) . Reza Ahmadi, Nicolas Hili, Leo Jweda, Nondini Das, Suchita Ganesan, and Juergen Dingel. 2016. Run-time Monitoring of a Rover: MDE Research with Open Source Software and Low-cost Hardware. In Workshop on Open Source for Model-Driven Engineering (OSS4MDE\u201916)."},{"key":"e_1_3_2_1_2_1","volume-title":"Efficient Debugging of Large Algorithmic Modelica Applications. IFAC Proceedings Volumes 45","author":"Asghar Adeel","year":"2012","unstructured":"Adeel Asghar , Adrian Pop , Martin Sj\u00f6lund , and Peter Fritzson . 2012 . Efficient Debugging of Large Algorithmic Modelica Applications. IFAC Proceedings Volumes 45 , 2 (2012), 1087\u20131090. Adeel Asghar, Adrian Pop, Martin Sj\u00f6lund, and Peter Fritzson. 2012. Efficient Debugging of Large Algorithmic Modelica Applications. IFAC Proceedings Volumes 45, 2 (2012), 1087\u20131090."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2015.34"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1231149"},{"key":"e_1_3_2_1_5_1","volume-title":"Retrieved","author":"Bagherzadeh Mojtaba","year":"2017","unstructured":"Mojtaba Bagherzadeh , Nicolas Hili , and Juergen Dingel . 2017. M Debugger Repository . ( 2017 ). Retrieved June 5, 2017. Mojtaba Bagherzadeh, Nicolas Hili, and Juergen Dingel. 2017. MDebugger Repository. (2017). Retrieved June 5, 2017."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2009.36"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976767.2976781"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297846.1297915"},{"key":"e_1_3_2_1_9_1","volume-title":"Retrieved","author":"FORTISS","year":"2016","unstructured":"FORTISS GMBH. 2016 . AF3. http:\/\/af3.fortiss.org\/. (2016) . Retrieved July 19, 2016. FORTISS GMBH. 2016. AF3. http:\/\/af3.fortiss.org\/. (2016). Retrieved July 19, 2016."},{"key":"e_1_3_2_1_10_1","unstructured":"Eclipse Foundation. 2016. Eclipse Papyrus for Real Time (Papyrus-RT). https: \/\/www.eclipse.org\/papyrus-rt. (2016). Retrieved: 2016-03-10.  Eclipse Foundation. 2016. Eclipse Papyrus for Real Time (Papyrus-RT). https: \/\/www.eclipse.org\/papyrus-rt. (2016). Retrieved: 2016-03-10."},{"key":"e_1_3_2_1_11_1","volume-title":"Rhapsody: A Complete Life-Cycle Model-Based Development System. In International Conference on Integrated Formal Methods. Springer, 1\u201310","author":"Gery Eran","year":"2002","unstructured":"Eran Gery , David Harel , and Eldad Palachi . 2002 . Rhapsody: A Complete Life-Cycle Model-Based Development System. In International Conference on Integrated Formal Methods. Springer, 1\u201310 . Eran Gery, David Harel, and Eldad Palachi. 2002. Rhapsody: A Complete Life-Cycle Model-Based Development System. In International Conference on Integrated Formal Methods. Springer, 1\u201310."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/RSP.2006.15"},{"key":"e_1_3_2_1_13_1","volume-title":"International Journal on Software Tools for Technology Transfer","author":"Graf Susanne","year":"2006","unstructured":"Susanne Graf , Ileana Ober , and Iulian Ober . 2006. A Real-Time Profile for UML . International Journal on Software Tools for Technology Transfer ( 2006 ). Susanne Graf, Ileana Ober, and Iulian Ober. 2006. A Real-Time Profile for UML. International Journal on Software Tools for Technology Transfer (2006)."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.585156"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/CIT.2010.323"},{"key":"e_1_3_2_1_16_1","unstructured":"Nicolas Hili Mojtaba Bagherzadeh Michal Pasternak and Juergen Dingel. 2017. A Model-Based Architecture for Interactive Run-Time Monitoring. (2017). Draft.  Nicolas Hili Mojtaba Bagherzadeh Michal Pasternak and Juergen Dingel. 2017. A Model-Based Architecture for Interactive Run-Time Monitoring. (2017). Draft."},{"key":"e_1_3_2_1_17_1","unstructured":"IBM. 2015. Rational Software Architect RealTime Edition v9.5.0 Product Documentation. http:\/\/www.ibm.com\/support\/knowledgecenter\/SS5JSH 9 .5.0. (2015).  IBM. 2015. Rational Software Architect RealTime Edition v9.5.0 Product Documentation. http:\/\/www.ibm.com\/support\/knowledgecenter\/SS5JSH 9 .5.0. (2015)."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"Retrieved: 2016-03-10.  Retrieved: 2016-03-10.","DOI":"10.1055\/s-0042-109035"},{"key":"e_1_3_2_1_19_1","volume-title":"Retrieved","author":"ITEMIS","year":"2016","unstructured":"ITEMIS AG. 2016 . Yakindu StateChart Tools. https:\/\/www.itemis.com\/en\/ yakindu\/statechart-tools. (2016) . Retrieved July 19, 2016. ITEMIS AG. 2016. Yakindu StateChart Tools. https:\/\/www.itemis.com\/en\/ yakindu\/statechart-tools. (2016). Retrieved July 19, 2016."},{"key":"e_1_3_2_1_20_1","volume-title":"Model-Based Debugging of Embedded Software Systems","author":"Iyenghar Padma","year":"2011","unstructured":"Padma Iyenghar , Elke Pulvermueller , Clemens Westerkamp , Michael Uelschen , and Juergen Wuebbelmann . 2011. Model-Based Debugging of Embedded Software Systems . Gesellschaft Informatik (GI)-Softwaretechnik (SWT) ( 2011 ). Padma Iyenghar, Elke Pulvermueller, Clemens Westerkamp, Michael Uelschen, and Juergen Wuebbelmann. 2011. Model-Based Debugging of Embedded Software Systems. Gesellschaft Informatik (GI)-Softwaretechnik (SWT) (2011)."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1879021.1879031"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976767.2976773"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/3104068.3104074"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69927-9_4"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/38807.38821"},{"key":"e_1_3_2_1_27_1","volume-title":"State Models and Java Programs","author":"Magee Jeff","unstructured":"Jeff Magee and Jeff Kramer . 1999. State Models and Java Programs . Wiley . Jeff Magee and Jeff Kramer. 1999. State Models and Java Programs. Wiley."},{"key":"e_1_3_2_1_28_1","unstructured":"Sergiy Migdalskiy. 2014.  Sergiy Migdalskiy. 2014."},{"key":"e_1_3_2_1_29_1","unstructured":"Physics Engine Development - Steam. http:\/\/media.steampowered.com\/apps\/valve\/2014\/ Sergiy M igdalskiy D ebugging T echniques.pdf. (2014).  Physics Engine Development - Steam. http:\/\/media.steampowered.com\/apps\/valve\/2014\/ Sergiy M igdalskiy D ebugging T echniques.pdf. (2014)."},{"key":"e_1_3_2_1_30_1","unstructured":"Retrieved August 5 2016.  Retrieved August 5 2016."},{"key":"e_1_3_2_1_31_1","volume-title":"The Modelica Language Specification Version 3.2 revision 2. https:\/\/www.modelica.org\/documents\/ModelicaSpec32Revision2.pdf. (2013). Retrieved","author":"Modelica Association","year":"2016","unstructured":"Modelica Association . 2013. The Modelica Language Specification Version 3.2 revision 2. https:\/\/www.modelica.org\/documents\/ModelicaSpec32Revision2.pdf. (2013). Retrieved August 5, 2016 . Modelica Association. 2013. The Modelica Language Specification Version 3.2 revision 2. https:\/\/www.modelica.org\/documents\/ModelicaSpec32Revision2.pdf. (2013). Retrieved August 5, 2016."},{"key":"e_1_3_2_1_32_1","volume-title":"UML Profile for Schedulability, Performance, and Time Specification","author":"OMG.","unstructured":"OMG. 2005. UML Profile for Schedulability, Performance, and Time Specification . http:\/\/www.omg.org\/spec\/SPTP\/. (2005). Retrieved: 2016-03-10. OMG. 2005. UML Profile for Schedulability, Performance, and Time Specification. http:\/\/www.omg.org\/spec\/SPTP\/. (2005). Retrieved: 2016-03-10."},{"key":"e_1_3_2_1_33_1","volume-title":"Trail: The Reflection API. https:\/\/ docs.oracle.com\/javase\/tutorial\/reflect\/.","author":"Oracle","year":"2015","unstructured":"Oracle and\/or its affiliates. 2015 . Trail: The Reflection API. https:\/\/ docs.oracle.com\/javase\/tutorial\/reflect\/. (2015). Retrieved August 5, 2016. Oracle and\/or its affiliates. 2015. Trail: The Reflection API. https:\/\/ docs.oracle.com\/javase\/tutorial\/reflect\/. (2015). Retrieved August 5, 2016."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001445"},{"key":"e_1_3_2_1_35_1","unstructured":"PLS Programmierbare Logik & Systeme GmbH. 2016. UDE Microcontroller Debugger. https:\/\/www.pls-mc.com\/universal-debug-engine-ude-andmicrocontroller-debugger-for-aurix-tricore-power-architecture-cortexmra a rm-7911-xe166xc2000-xscale-sh-2a c 166st10\/universal d ebug e ngine-a- 802.html. (2016). Retrieved August 5 2016.  PLS Programmierbare Logik & Systeme GmbH. 2016. UDE Microcontroller Debugger. https:\/\/www.pls-mc.com\/universal-debug-engine-ude-andmicrocontroller-debugger-for-aurix-tricore-power-architecture-cortexmra a rm-7911-xe166xc2000-xscale-sh-2a c 166st10\/universal d ebug e ngine-a- 802.html. (2016). Retrieved August 5 2016."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.3384\/ecp12076443"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-014-0399-z"},{"key":"e_1_3_2_1_38_1","volume-title":"Retrieved","author":"PRAGMADEV","year":"2016","unstructured":"PRAGMADEV SARL. 2016 . ProgmaDev. http:\/\/www.pragmadev.com. (2016) . Retrieved July 19, 2016. PRAGMADEV SARL. 2016. ProgmaDev. http:\/\/www.pragmadev.com. (2016). Retrieved July 19, 2016."},{"key":"e_1_3_2_1_39_1","volume-title":"Debugging with GDB. http: \/\/sourceware.org\/gdb\/current\/onlinedocs\/gdb.pdf .gz. (2016). Retrieved","author":"Richard Stallman Stan Shebs","year":"2016","unstructured":"Stan Shebs Richard Stallman , Roland Pesch . 2016. Debugging with GDB. http: \/\/sourceware.org\/gdb\/current\/onlinedocs\/gdb.pdf .gz. (2016). Retrieved August 5, 2016 . Stan Shebs Richard Stallman, Roland Pesch. 2016. Debugging with GDB. http: \/\/sourceware.org\/gdb\/current\/onlinedocs\/gdb.pdf .gz. (2016). Retrieved August 5, 2016."},{"key":"e_1_3_2_1_40_1","volume-title":"5th International MODELS Workshop on Models@runtime.","author":"Schwalb Tobias","year":"2010","unstructured":"Tobias Schwalb , Philipp Graf , and Klaus D M\u00fcller-Glaser . 2010 . Monitoring Executions on Reconfigurable Hardware at Model Level . In 5th International MODELS Workshop on Models@runtime. Tobias Schwalb, Philipp Graf, and Klaus D M\u00fcller-Glaser. 2010. Monitoring Executions on Reconfigurable Hardware at Model Level. In 5th International MODELS Workshop on Models@runtime."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.5555\/646905.710490"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-012-0261-0"},{"key":"e_1_3_2_1_43_1","volume-title":"Real-Time Object-Oriented Modeling","author":"Selic Bran","unstructured":"Bran Selic , Garth Gullekson , and Paul T Ward . 1994. Real-Time Object-Oriented Modeling . Vol. 2 . John Wiley & amp; Sons New York. Bran Selic, Garth Gullekson, and Paul T Ward. 1994. Real-Time Object-Oriented Modeling. Vol. 2. John Wiley & Sons New York."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.3384\/ecp14096195"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/358557.358572"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.5555\/838237.838487"},{"key":"e_1_3_2_1_47_1","volume-title":"Retrieved","author":"MathWorks The","year":"2016","unstructured":"The MathWorks , Inc. 2016 . Stateflow - MATLAB & Simulink. http:\/\/ www.mathworks.com\/products\/stateflow\/. (2016) . Retrieved July 19, 2016. The MathWorks, Inc. 2016. Stateflow - MATLAB & Simulink. http:\/\/ www.mathworks.com\/products\/stateflow\/. (2016). Retrieved July 19, 2016."},{"key":"e_1_3_2_1_48_1","volume-title":"Retrieved","author":"Embedded Systems Timing-Architects","year":"2016","unstructured":"Timing-Architects Embedded Systems Gmb H. 2016 . Timing Architects. http: \/\/www.timing-architects.com\/. (2016) . Retrieved July 19, 2016. Timing-Architects Embedded Systems GmbH. 2016. Timing Architects. http: \/\/www.timing-architects.com\/. (2016). Retrieved July 19, 2016."},{"key":"e_1_3_2_1_49_1","unstructured":"Willert Software Tools GmbH. 2016. Embedded UML Target Debugger. http:\/\/www.willert.de\/assets\/Datenblaetter\/DatS-Embedded-UML-Target-Debugger-V9.0-EN-2016.pdf. (2016). Retrieved August 5 2016.  Willert Software Tools GmbH. 2016. Embedded UML Target Debugger. http:\/\/www.willert.de\/assets\/Datenblaetter\/DatS-Embedded-UML-Target-Debugger-V9.0-EN-2016.pdf. (2016). Retrieved August 5 2016."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.5555\/1394966.1394970"},{"key":"e_1_3_2_1_51_1","volume-title":"Retrieved","year":"2016","unstructured":"xtUML.org. 2016 . xtUML - eXecutable Translatable UML with BridgePoint. https:\/\/xtuml.org. (2016) . Retrieved July 19, 2016. xtUML.org. 2016. xtUML - eXecutable Translatable UML with BridgePoint. https:\/\/xtuml.org. (2016). Retrieved July 19, 2016."}],"event":{"name":"ESEC\/FSE'17: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","location":"Paderborn Germany","acronym":"ESEC\/FSE'17","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3106237.3106278","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3106237.3106278","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:30:37Z","timestamp":1750217437000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3106237.3106278"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8,21]]},"references-count":50,"alternative-id":["10.1145\/3106237.3106278","10.1145\/3106237"],"URL":"https:\/\/doi.org\/10.1145\/3106237.3106278","relation":{},"subject":[],"published":{"date-parts":[[2017,8,21]]},"assertion":[{"value":"2017-08-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}