{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:13:26Z","timestamp":1750306406877,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,6,10]],"date-time":"2015-06-10T00:00:00Z","timestamp":1433894400000},"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":[[2015,6,10]]},"DOI":"10.1145\/2769458.2769465","type":"proceedings-article","created":{"date-parts":[[2015,6,17]],"date-time":"2015-06-17T15:39:45Z","timestamp":1434555585000},"page":"101-112","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Towards a DEVS-based Operating System"],"prefix":"10.1145","author":[{"given":"Daniella","family":"Niyonkuru","sequence":"first","affiliation":[{"name":"Carleton University, Ottawa, ON, Canada"}]},{"given":"Gabriel","family":"Wainer","sequence":"additional","affiliation":[{"name":"Carleton University, Ottawa, ON, Canada"}]}],"member":"320","published-online":{"date-parts":[[2015,6,10]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Advanced Real-Time Simulation Laboratory. 2013. Line Tracking Robot on Lego Hardware. Video. Retrieved March 1 2015 from https:\/\/www.youtube.com\/watch?v=mTtlSV7WbuI  Advanced Real-Time Simulation Laboratory. 2013. Line Tracking Robot on Lego Hardware. Video. Retrieved March 1 2015 from https:\/\/www.youtube.com\/watch?v=mTtlSV7WbuI"},{"key":"e_1_3_2_1_2_1","unstructured":"Advanced Real-Time Simulation Laboratory. 2015. Line Tracking Robot on STM32 (Early Debug Version). Video. Retrieved March 1 2015 from https:\/\/www.youtube.com\/watch?v=X2itlznkoVw  Advanced Real-Time Simulation Laboratory. 2015. Line Tracking Robot on STM32 (Early Debug Version). Video. Retrieved March 1 2015 from https:\/\/www.youtube.com\/watch?v=X2itlznkoVw"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1177\/0037549710368029"},{"volume-title":"Proceeding of 1998 Summer Simulation Conference (Reno, NV, USA, July 19 - 22). SCSC '98. Society for Computer Simulation International","author":"Cho S. M.","key":"e_1_3_2_1_4_1","unstructured":"Cho , S. M. and Kim , T. G . 1998. Real-Time DEVS Simulation: Concurrent, Time-Selective Execution of Combined RT-DEVS Model and Interactive Environment . In Proceeding of 1998 Summer Simulation Conference (Reno, NV, USA, July 19 - 22). SCSC '98. Society for Computer Simulation International , Vista, CA. 410--415. Cho, S. M. and Kim, T. G. 1998. Real-Time DEVS Simulation: Concurrent, Time-Selective Execution of Combined RT-DEVS Model and Interactive Environment. In Proceeding of 1998 Summer Simulation Conference (Reno, NV, USA, July 19 - 22). SCSC '98. Society for Computer Simulation International, Vista, CA. 410--415."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1177\/0037549703038880"},{"volume-title":"Readings in hardware\/software co-design, De Micheli G., Ernst R","author":"Edwards S.","key":"e_1_3_2_1_6_1","unstructured":"Edwards , S. , Lavagno , L. , Lee , E. A. , and Sangiovanni-Vincentelli , A. 2001. Design of embedded systems: formal models, validation, and synthesis . In Readings in hardware\/software co-design, De Micheli G., Ernst R . and Wolf W. (Eds.). Kluwer Academic Publishers , Norwell, MA, USA , 86--107. Edwards, S., Lavagno, L., Lee, E. A., and Sangiovanni-Vincentelli, A. 2001. Design of embedded systems: formal models, validation, and synthesis. In Readings in hardware\/software co-design, De Micheli G., Ernst R. and Wolf W. (Eds.). Kluwer Academic Publishers, Norwell, MA, USA, 86--107."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-009-0085-4"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the 2001 IEEE Systems, Man, and Cybernetics Conference","author":"Hu X.","year":"2001","unstructured":"Hu , X. , Zeigler B.P. and Couretas J . 2001. DEVS-On-A-Chip: implementing DEVS in embedded java on a tiny internet interface for scalable factory automation . In Proceedings of the 2001 IEEE Systems, Man, and Cybernetics Conference ( Tucson, AZ, USA, July 14 - 18 , 2001 ). IEEE, New York, NY, 3051--3056. Hu, X., Zeigler B.P. and Couretas J. 2001. DEVS-On-A-Chip: implementing DEVS in embedded java on a tiny internet interface for scalable factory automation. In Proceedings of the 2001 IEEE Systems, Man, and Cybernetics Conference (Tucson, AZ, USA, July 14 - 18, 2001). IEEE, New York, NY, 3051--3056."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:JINT.0000010805.84283.b6"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2005.851283"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Li Q. and Yao C. 2003. Real-Time Concepts for Embedded Systems. CMP Books San Francisco CA.   Li Q. and Yao C. 2003. Real-Time Concepts for Embedded Systems. CMP Books San Francisco CA.","DOI":"10.1201\/9781482280821"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.simpat.2013.07.004"},{"key":"e_1_3_2_1_13_1","unstructured":"Sloss A. Symes D. and Wright C. 2004. ARM system developer's guide. Elsevier\/ Morgan Kaufman San Francisco CA.   Sloss A. Symes D. and Wright C. 2004. ARM system developer's guide. Elsevier\/ Morgan Kaufman San Francisco CA."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.482"},{"volume-title":"Discrete-event modeling and simulation: a practitioner's approach","author":"Wainer G. A.","key":"e_1_3_2_1_15_1","unstructured":"Wainer , G. A. 2009. Discrete-event modeling and simulation: a practitioner's approach , CRC Press , Boca Raton, FL . Wainer, G. A. 2009. Discrete-event modeling and simulation: a practitioner's approach, CRC Press, Boca Raton, FL."},{"volume-title":"A Model-Driven Technique for Development of Embedded Systems Based on the DEVS Formalism","author":"Wainer G. A.","key":"e_1_3_2_1_16_1","unstructured":"Wainer , G. A. , Glinsky E. and MacSween P. 2005. A Model-Driven Technique for Development of Embedded Systems Based on the DEVS Formalism . In Model-Driven Software Development, Beydeda S., Book M. and Gruhn, V. (Eds.). Springer , Berlin, Heidelberg , 363--383. Wainer, G. A., Glinsky E. and MacSween P. 2005. A Model-Driven Technique for Development of Embedded Systems Based on the DEVS Formalism. In Model-Driven Software Development, Beydeda S., Book M. and Gruhn, V. (Eds.). Springer, Berlin, Heidelberg, 363--383."},{"key":"e_1_3_2_1_17_1","unstructured":"Wainer G. and Castro R. 2011. DEMES: a Discrete-Event Methodology for Modeling and Simulation of Embedded Systems. Modeling and Simulation Magazine. 2 (April 2011) 65--73.  Wainer G. and Castro R. 2011. DEMES: a Discrete-Event Methodology for Modeling and Simulation of Embedded Systems. Modeling and Simulation Magazine. 2 (April 2011) 65--73."},{"volume-title":"Proceedings of the 2007 Summer Computer Simulation Conference (San Diego, CA, USA, July 15 - 18, 2007). SCSC '07. Society for Computer Simulation International","author":"Yu H. Y.","key":"e_1_3_2_1_18_1","unstructured":"Yu , H. Y. , and Wainer , G . 2007. eCD++: an engine for executing DEVS models in embedded platforms . In Proceedings of the 2007 Summer Computer Simulation Conference (San Diego, CA, USA, July 15 - 18, 2007). SCSC '07. Society for Computer Simulation International , Vista, CA, 323--330. Yu, H. Y., and Wainer, G. 2007. eCD++: an engine for executing DEVS models in embedded platforms. In Proceedings of the 2007 Summer Computer Simulation Conference (San Diego, CA, USA, July 15 - 18, 2007). SCSC '07. Society for Computer Simulation International, Vista, CA, 323--330."}],"event":{"name":"SIGSIM-PADS '15: SIGSIM Principles of Advanced Discrete Simulation","sponsor":["SIGSIM ACM Special Interest Group on Simulation and Modeling"],"location":"London United Kingdom","acronym":"SIGSIM-PADS '15"},"container-title":["Proceedings of the 3rd ACM SIGSIM Conference on Principles of Advanced Discrete Simulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2769458.2769465","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2769458.2769465","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:07:37Z","timestamp":1750223257000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2769458.2769465"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6,10]]},"references-count":18,"alternative-id":["10.1145\/2769458.2769465","10.1145\/2769458"],"URL":"https:\/\/doi.org\/10.1145\/2769458.2769465","relation":{},"subject":[],"published":{"date-parts":[[2015,6,10]]},"assertion":[{"value":"2015-06-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}