{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,27]],"date-time":"2025-12-27T07:27:34Z","timestamp":1766820454664,"version":"3.38.0"},"reference-count":37,"publisher":"SAGE Publications","issue":"4","license":[{"start":{"date-parts":[[2016,8,11]],"date-time":"2016-08-11T00:00:00Z","timestamp":1470873600000},"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":[[2017,4]]},"abstract":"<jats:p> To this day, debugging support for the DEVS formalism has been provided, at best, in an ad-hoc way. The intricacies of dealing with the interplay of different notions of (simulated) time, formalism semantics, and user input have not been thoroughly investigated. This paper presents a visual modeling, simulation, and debugging environment for Parallel DEVS, which builds on a theoretical foundation for debugging DEVS models. We take inspiration from both code debugging and the simulation world to model our environment; we transpose a set of useful code debugging concepts onto Parallel DEVS, and combine those with simulation-specific operations, such as as-fast-as-possible simulation and (scaled) real-time execution. Apart from these common debugging operations, we introduce new features to the debugging of Parallel DEVS models, such as \u201cgod events,\u201d which can alter the model state during simulation, and reversible debugging, which allows one to go back in time. To achieve this, the PythonPDEVS simulator is deconstructed and reconstructed: the modal part of the simulator\u2013debugger, as well as the debugging operations, are modeled using the Statecharts formalism. These models are combined, resulting in a model of the timed, reactive behavior of a debuggable simulator for Parallel DEVS. The code for the simulator is automatically synthesized from this model. To improve usability, we combine the simulator with a visual modeling environment, allowing for visual and interactive live debugging. <\/jats:p>","DOI":"10.1177\/0037549716658360","type":"journal-article","created":{"date-parts":[[2016,8,3]],"date-time":"2016-08-03T00:44:20Z","timestamp":1470185060000},"page":"285-306","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":19,"title":["Debugging Parallel DEVS"],"prefix":"10.1177","volume":"93","author":[{"given":"Simon","family":"Van Mierlo","sequence":"first","affiliation":[{"name":"University of Antwerp, Belgium"}]},{"given":"Yentl","family":"Van Tendeloo","sequence":"additional","affiliation":[{"name":"University of Antwerp, Belgium"}]},{"given":"Hans","family":"Vangheluwe","sequence":"additional","affiliation":[{"name":"University of Antwerp, Belgium"},{"name":"McGill University, Canada"}]}],"member":"179","published-online":{"date-parts":[[2016,8,11]]},"reference":[{"key":"bibr1-0037549716658360","volume-title":"Software testing techniques","author":"Beizer B.","year":"1990","edition":"2"},{"volume-title":"Why programs fail: a guide to systematic debugging","year":"2005","author":"Zeller A.","key":"bibr2-0037549716658360"},{"key":"bibr3-0037549716658360","first-page":"10","author":"Vangheluwe H.","year":"2008","journal-title":"ECEASST"},{"key":"bibr4-0037549716658360","doi-asserted-by":"publisher","DOI":"10.1177\/0037549704050532"},{"first-page":"387","volume-title":"Proceedings of the 2014 symposium on theory of modeling and simulation\u2014DEVS","author":"Van Tendeloo Y","key":"bibr5-0037549716658360"},{"key":"bibr6-0037549716658360","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"first-page":"24","volume-title":"Proceedings of the ACM student research competition at MODELS 2015 co-located with the ACM\/IEEE 18th International Conference MODELS 2015","author":"Van Mierlo S","key":"bibr7-0037549716658360"},{"first-page":"107","volume-title":"Proceedings of the symposium on theory of modeling & simulation: DEVS integrative M&S symposium","author":"Van Mierlo S","key":"bibr8-0037549716658360"},{"volume-title":"MODELS\u201913 Demonstrations","author":"Syriani E","key":"bibr9-0037549716658360"},{"key":"bibr10-0037549716658360","volume-title":"Theory of modeling and simulation","author":"Zeigler BP","year":"2000","edition":"2"},{"key":"bibr11-0037549716658360","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.2000.900199"},{"first-page":"716","volume-title":"Proceedings of the 26th winter simulation conference","author":"Chow ACH","key":"bibr12-0037549716658360"},{"first-page":"157","volume-title":"Proceedings of the Fifth Annual Conference on AI, Simulation, and Planning in High Autonomy Systems","author":"Chow ACH","key":"bibr13-0037549716658360"},{"key":"bibr14-0037549716658360","unstructured":"Lewis B. Debugging backwards in time. arXiv Preprint 2003; cs\/0310016. http:\/\/arxiv.org\/abs\/cs\/0310016 ."},{"first-page":"419","volume-title":"Proceedings of the 37th winter simulation conference","author":"Allen NA","key":"bibr15-0037549716658360"},{"first-page":"445","volume-title":"Proceedings of the 2013 Summer Computer Simulation Conference","author":"Mustafiz S","key":"bibr16-0037549716658360"},{"first-page":"443","volume-title":"Proceedings of the 9th international Modelica conference","author":"Pop A","key":"bibr17-0037549716658360"},{"first-page":"17","volume-title":"Proceedings of the MODELS 2013 doctoral symposium co-located with the 16th international ACM\/IEEE conference on model driven engineering languages and systems (MODELS 2013)","author":"Corley J","key":"bibr18-0037549716658360"},{"first-page":"331","volume-title":"Proceedings of the 2012 IEEE international conference on industrial technology (ICIT)","author":"Krasnogolowy A","key":"bibr19-0037549716658360"},{"first-page":"1579","volume-title":"Proceedings of the 34th international conference on software engineering","author":"Mayerhofer T.","key":"bibr20-0037549716658360"},{"first-page":"1095","volume-title":"Proceedings of the 28th annual ACM symposium on applied computing. SAC \u201913","author":"Laurent Y","key":"bibr21-0037549716658360"},{"key":"bibr22-0037549716658360","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19440-5_17"},{"key":"bibr23-0037549716658360","first-page":"89","volume":"44","author":"Chi\u015f A","year":"2015","journal-title":"Comput Lang Syst Str"},{"first-page":"137","volume-title":"Proceedings of the 2015 ACM SIGPLAN international conference on software language engineering","author":"Bousse E","key":"bibr24-0037549716658360"},{"key":"bibr25-0037549716658360","doi-asserted-by":"publisher","DOI":"10.1177\/0037549715598570"},{"first-page":"747","volume-title":"2007 winter simulation conference","author":"Kemper P.","key":"bibr26-0037549716658360"},{"volume-title":"Parallel and distribution simulation systems","year":"1999","author":"Fujimoto RM.","key":"bibr27-0037549716658360"},{"key":"bibr28-0037549716658360","doi-asserted-by":"publisher","DOI":"10.1145\/3916.3988"},{"key":"bibr29-0037549716658360","doi-asserted-by":"publisher","DOI":"10.1145\/347823.347828"},{"key":"bibr30-0037549716658360","doi-asserted-by":"publisher","DOI":"10.1145\/238793.238818"},{"key":"bibr31-0037549716658360","unstructured":"Nutaro JJ. adevs. http:\/\/web.ornl.gov\/~1qn\/adevs\/ (2013, accessed 7 July 2016)."},{"volume-title":"Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium (TMS\/DEVS)","author":"Seo C","key":"bibr32-0037549716658360"},{"volume-title":"Proceedings of the 2009 Spring Simulation Multiconference","author":"Kim S","key":"bibr33-0037549716658360"},{"first-page":"367","volume-title":"Proceedings of the 2007 summer computer simulation conference","author":"Quesnel G","key":"bibr34-0037549716658360"},{"key":"bibr35-0037549716658360","unstructured":"Hwang MH. X-S-Y. https:\/\/code.google.com\/p\/x-s-y\/ (2012, accessed 7 July 2016)."},{"key":"bibr36-0037549716658360","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"bibr37-0037549716658360","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-011-0205-0"}],"container-title":["SIMULATION"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0037549716658360","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/full-xml\/10.1177\/0037549716658360","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0037549716658360","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,3]],"date-time":"2025-03-03T21:48:17Z","timestamp":1741038497000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.1177\/0037549716658360"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,8,11]]},"references-count":37,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2017,4]]}},"alternative-id":["10.1177\/0037549716658360"],"URL":"https:\/\/doi.org\/10.1177\/0037549716658360","relation":{},"ISSN":["0037-5497","1741-3133"],"issn-type":[{"type":"print","value":"0037-5497"},{"type":"electronic","value":"1741-3133"}],"subject":[],"published":{"date-parts":[[2016,8,11]]}}}