{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T06:10:52Z","timestamp":1740809452056,"version":"3.38.0"},"reference-count":55,"publisher":"SAGE Publications","issue":"12","license":[{"start":{"date-parts":[[2022,5,21]],"date-time":"2022-05-21T00:00:00Z","timestamp":1653091200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"funder":[{"DOI":"10.13039\/501100002322","name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior","doi-asserted-by":"publisher","award":["1835-14-9"],"award-info":[{"award-number":["1835-14-9"]}],"id":[{"id":"10.13039\/501100002322","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000038","name":"natural sciences and engineering research council of canada","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["SIMULATION"],"published-print":{"date-parts":[[2022,12]]},"abstract":"<jats:p> The design of embedded real-time systems (RTS) is challenging due to the criticality of the timing constraints of these systems. Various informal and formal methods for RTS design have been proposed, both in the design space and the real-time execution at the hardware level, but many of these methods are not effective when the complexity of the system scales up. Here, we discuss a new method to integrate a modeling (and simulation) formalism that allows designing complex systems specifications for real-time constraints called Imprecise-DEVS (I-DEVS), and the mapping of such high-level models into a real-time task model. This method allows analyzing real-time constraints both at the high level of modeling as well as the low level of the tasks executed by the processing units and the Operating System. A new method to study the schedulability of the task models is proposed. The method provides a design analysis space from the model level, up to the individual tasks, with a focus on the schedulability of real-time constraints under transient overloading conditions. <\/jats:p>","DOI":"10.1177\/00375497221099548","type":"journal-article","created":{"date-parts":[[2022,5,21]],"date-time":"2022-05-21T10:07:59Z","timestamp":1653127679000},"page":"1143-1159","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":0,"title":["Integrating I-DEVS and schedulability methods for analyzing real-time systems constraints"],"prefix":"10.1177","volume":"98","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3430-809X","authenticated-orcid":false,"given":"Braulio A","family":"Mello","sequence":"first","affiliation":[{"name":"Federal University of Fronteira Sul, Brazil"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3366-9184","authenticated-orcid":false,"given":"Gabriel A","family":"Wainer","sequence":"additional","affiliation":[{"name":"Systems and Computer Engineering Department, Carleton University, Canada"}]}],"member":"179","published-online":{"date-parts":[[2022,5,21]]},"reference":[{"key":"bibr1-00375497221099548","volume-title":"Real-time systems","author":"Liu J.","year":"2000","edition":"1"},{"key":"bibr2-00375497221099548","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505146"},{"first-page":"216","volume-title":"29th international conference on real-time networks and systems","author":"Haur I","key":"bibr3-00375497221099548"},{"key":"bibr4-00375497221099548","doi-asserted-by":"publisher","DOI":"10.1145\/1978802.1978814"},{"key":"bibr5-00375497221099548","doi-asserted-by":"publisher","DOI":"10.1145\/2597457.2597458"},{"first-page":"1","volume-title":"Spring simulation multiconference (SpringSim \u201910)","author":"Moallemi M","key":"bibr6-00375497221099548"},{"key":"bibr7-00375497221099548","volume-title":"Multifacetted modelling and discrete event simulation","author":"Zeigler B.","year":"1984","edition":"1"},{"key":"bibr8-00375497221099548","volume-title":"Theory of modeling and simulation: integrating discrete event and continuous complex dynamic systems","author":"Zeigler B","year":"2000","edition":"2"},{"key":"bibr9-00375497221099548","doi-asserted-by":"publisher","DOI":"10.1109\/5.259428"},{"first-page":"132","volume-title":"IEEE 27th international symposium on fault tolerant computing","author":"Ramanathan P.","key":"bibr10-00375497221099548"},{"first-page":"210","volume-title":"IEEE 8th real-time systems symposium","author":"Lin K","key":"bibr11-00375497221099548"},{"key":"bibr12-00375497221099548","doi-asserted-by":"publisher","DOI":"10.1109\/2.76287"},{"first-page":"95","volume-title":"Symposium on theory of modeling & simulation: DEVS integrative M&S symposium","author":"Moallemi M","key":"bibr13-00375497221099548"},{"key":"bibr14-00375497221099548","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2831"},{"key":"bibr15-00375497221099548","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2009.58"},{"key":"bibr16-00375497221099548","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-0676-1"},{"key":"bibr17-00375497221099548","doi-asserted-by":"publisher","DOI":"10.1007\/BF00365519"},{"key":"bibr18-00375497221099548","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347389"},{"key":"bibr19-00375497221099548","unstructured":"Alshareef A, Sarjoughian H. Simulation, model checking, and execution of activity models. arXiv:2105.11851v1 [cs.SE], 2021, https:\/\/arxiv.org\/abs\/2105.11851"},{"first-page":"67","volume-title":"International conference on tools and algorithms for the construction and analysis of systems","author":"Fersman E","key":"bibr20-00375497221099548"},{"key":"bibr21-00375497221099548","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1177\/0037549711424424","volume":"89","author":"Saadawi H","year":"2013","journal-title":"Simul: T Soc Mod Sim"},{"key":"bibr22-00375497221099548","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"bibr23-00375497221099548","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1223647"},{"key":"bibr24-00375497221099548","first-page":"1","volume":"12","author":"Zhang F","year":"2013","journal-title":"ACM T Embed Comput S"},{"key":"bibr25-00375497221099548","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2874637"},{"key":"bibr26-00375497221099548","doi-asserted-by":"publisher","DOI":"10.1023\/B:TIME.0000045315.61234.1e"},{"key":"bibr27-00375497221099548","doi-asserted-by":"publisher","DOI":"10.1145\/181492.181495"},{"key":"bibr28-00375497221099548","doi-asserted-by":"publisher","DOI":"10.1023\/B:TIME.0000048932.30002.d9"},{"key":"bibr29-00375497221099548","doi-asserted-by":"publisher","DOI":"10.1109\/5.259426"},{"first-page":"120","volume-title":"24th IEEE real-time systems symposium","author":"Baker T.","key":"bibr30-00375497221099548"},{"first-page":"279","volume-title":"23rd IEEE real-time systems symposium","author":"Bernat G","key":"bibr31-00375497221099548"},{"first-page":"215","volume-title":"22nd IEEE real-time systems symposium (RTSS 2001)","author":"Edgar S","key":"bibr32-00375497221099548"},{"first-page":"10","volume-title":"21st international workshop on software and compilers for embedded systems","author":"Becker M","key":"bibr33-00375497221099548"},{"first-page":"316","volume-title":"12th international conference on computational intelligence and communication networks (CICN)","author":"Meng F","key":"bibr34-00375497221099548"},{"key":"bibr35-00375497221099548","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2020.3013095"},{"first-page":"35","volume-title":"22nd international conference on real-time networks and systems","author":"Sun Y","key":"bibr36-00375497221099548"},{"first-page":"156","volume-title":"IEEE real-time and embedded technology and applications symposium (RTAS)","author":"Guo Z","key":"bibr37-00375497221099548"},{"key":"bibr38-00375497221099548","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/29.5.390"},{"first-page":"21","volume-title":"IEEE\/ACM 1st international workshop on software qualities and their dependencies (SQUADE)","author":"Moghadam M","key":"bibr39-00375497221099548"},{"key":"bibr40-00375497221099548","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99849-7_14"},{"first-page":"159","volume-title":"26th international conference on real-time networks and systems","author":"Huang L","key":"bibr41-00375497221099548"},{"key":"bibr42-00375497221099548","doi-asserted-by":"publisher","DOI":"10.1177\/0037549709340729"},{"first-page":"1","volume-title":"55th ACM\/ESDA\/IEEE design automation conference (DAC)","author":"Huang L","key":"bibr43-00375497221099548"},{"key":"bibr44-00375497221099548","first-page":"900","volume":"4","author":"Guo C","year":"2013","journal-title":"J Emerg Trends Comput Inf Sci"},{"key":"bibr45-00375497221099548","first-page":"1","volume":"25","author":"Esmaili A","year":"2020","journal-title":"ACM T Des Automat El"},{"first-page":"231","volume-title":"3rd international conference on future internet of things and cloud","author":"Stavrinides G","key":"bibr46-00375497221099548"},{"key":"bibr47-00375497221099548","doi-asserted-by":"publisher","DOI":"10.1145\/3404888"},{"key":"bibr48-00375497221099548","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008262409521"},{"key":"bibr49-00375497221099548","doi-asserted-by":"publisher","DOI":"10.1016\/j.simpat.2013.07.004"},{"first-page":"1","volume-title":"Symposium on theory of modeling and simulation","author":"Mello B","key":"bibr50-00375497221099548"},{"key":"bibr51-00375497221099548","doi-asserted-by":"publisher","DOI":"10.1145\/1027794.1027797"},{"first-page":"331","volume-title":"22nd international conference on real-time networks and systems","author":"Nasri M","key":"bibr52-00375497221099548"},{"first-page":"227","volume-title":"33rd annual simulation symposium (SS 2000)","author":"Kim K","key":"bibr53-00375497221099548"},{"first-page":"271","volume-title":"41st annual simulation symposium","author":"Shang H","key":"bibr54-00375497221099548"},{"first-page":"157","volume-title":"Fifth annual conference on AI, and planning in high autonomy systems","author":"Chow A","key":"bibr55-00375497221099548"}],"container-title":["SIMULATION"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/00375497221099548","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/full-xml\/10.1177\/00375497221099548","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/00375497221099548","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T02:50:10Z","timestamp":1740797410000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.1177\/00375497221099548"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,21]]},"references-count":55,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2022,12]]}},"alternative-id":["10.1177\/00375497221099548"],"URL":"https:\/\/doi.org\/10.1177\/00375497221099548","relation":{},"ISSN":["0037-5497","1741-3133"],"issn-type":[{"type":"print","value":"0037-5497"},{"type":"electronic","value":"1741-3133"}],"subject":[],"published":{"date-parts":[[2022,5,21]]}}}