{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:27:24Z","timestamp":1750307244821,"version":"3.41.0"},"reference-count":22,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2012,2,16]],"date-time":"2012-02-16T00:00:00Z","timestamp":1329350400000},"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":["SIGOPS Oper. Syst. Rev."],"published-print":{"date-parts":[[2012,2,16]]},"abstract":"<jats:p>Identifying errors in early design phases leads to a decrease in the repairing cost compared to the situation in which such problems are discovered only in advanced design phases. This work is a first step toward an automatic verification approach for embedded and real-time systems' high-level specifications, such as UML models. This paper presents a model-driven framework to simulate system's behavior already in early design phases, prior to the implementation phase. More specifically, the mentioned framework simulates the behavior specified within UML models, generating a trace of executed actions for the selected behaviors. The achieved results show that early simulation of UML models is practicable, opening room for its usage in different CASE tools for early verification and validation of embedded and real-time systems.<\/jats:p>","DOI":"10.1145\/2146382.2146396","type":"journal-article","created":{"date-parts":[[2012,2,22]],"date-time":"2012-02-22T18:42:36Z","timestamp":1329936156000},"page":"73-81","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Support for early verification of embedded real-time systems through UML models simulation"],"prefix":"10.1145","volume":"46","author":[{"given":"Marco A.","family":"Wehrmeister","sequence":"first","affiliation":[{"name":"Santa Catarina State University, Joinville, Brazil"}]},{"given":"Joao G.","family":"Packer","sequence":"additional","affiliation":[{"name":"Santa Catarina State University, Joinville, Brazil"}]},{"given":"Luis M.","family":"Ceron","sequence":"additional","affiliation":[{"name":"Santa Catarina State University, Joinville, Brazil"}]}],"member":"320","published-online":{"date-parts":[[2012,2,16]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Testing Embedded Software","author":"Broekman B. M.","year":"2002","unstructured":"B. M. Broekman and E. Notenboom . Testing Embedded Software . Addison-Wesley , Boston, USA , 2002 . B. M. Broekman and E. Notenboom. Testing Embedded Software. Addison-Wesley, Boston, USA, 2002."},{"key":"e_1_2_1_2_1","volume-title":"Real-Time Systems and Programming Languages: Ada","author":"Burns A.","year":"2009","unstructured":"A. Burns and A. Wellings . Real-Time Systems and Programming Languages: Ada , Real-Time Java and C\/Real-Time POSIX. Addison-Wesley , USA , 4 th edition, 2009 . A. Burns and A. Wellings. Real-Time Systems and Programming Languages: Ada, Real-Time Java and C\/Real-Time POSIX. Addison-Wesley, USA, 4th edition, 2009.","edition":"4"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1463788.1463799"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297846.1297915"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/647245.719465"},{"key":"e_1_2_1_6_1","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/978-3-540-76811-1_4","volume-title":"Early Aspects: Current Challenges and Future Directions","author":"Freitas E. P.","year":"2007","unstructured":"E. P. Freitas DERAF: A high-level aspects framework for distributed embedded real-time systems design . In Early Aspects: Current Challenges and Future Directions , pages 55 -- 74 . Springer , Berlin , 2007 . E. P. Freitas et al. DERAF: A high-level aspects framework for distributed embedded real-time systems design. In Early Aspects: Current Challenges and Future Directions, pages 55--74. Springer, Berlin, 2007."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1370731.1370749"},{"key":"e_1_2_1_8_1","volume-title":"Design patterns: elements of reusable object-oriented software","author":"Gamma E.","year":"1995","unstructured":"E. Gamma , R. Helm , R. Johnson , and J. Vlissides . Design patterns: elements of reusable object-oriented software . Addison-Wesley , Boston, USA , 1995 . E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design patterns: elements of reusable object-oriented software. Addison-Wesley, Boston, USA, 1995."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.898830"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053381"},{"key":"e_1_2_1_11_1","series-title":"Lecture Notes in Computer Science","first-page":"514","volume-title":"J. B\u00e9zivin and P.-A","author":"Mellor S.","year":"1999","unstructured":"S. Mellor , S. Tockey , R. Arthaud , and P. Leblanc . An action language for uml: Proposal for a precise execution semantics . In J. B\u00e9zivin and P.-A . Muller, editors, The Unified Modeling Language. UML'98: Beyond the Notation, volume 1618 of Lecture Notes in Computer Science , pages 514 -- 514 . Springer Berlin \/ Heidelberg , 1999 . S. Mellor, S. Tockey, R. Arthaud, and P. Leblanc. An action language for uml: Proposal for a precise execution semantics. In J. B\u00e9zivin and P.-A. Muller, editors, The Unified Modeling Language. UML'98: Beyond the Notation, volume 1618 of Lecture Notes in Computer Science, pages 514--514. Springer Berlin \/ Heidelberg, 1999."},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2010.5549590"},{"key":"e_1_2_1_13_1","volume-title":"UML profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE)","author":"OMG.","year":"2011","unstructured":"OMG. UML profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE) , 2011 . http:\/\/www.omg.org\/spec\/MARTE\/1.1. OMG. UML profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE), 2011. http:\/\/www.omg.org\/spec\/MARTE\/1.1."},{"key":"e_1_2_1_14_1","unstructured":"OMG. Unified Modeling Language 2011. http:\/\/www.omg.org\/spec\/UML\/2.4.  OMG. Unified Modeling Language 2011. http:\/\/www.omg.org\/spec\/UML\/2.4."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1698759.1698760"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.58"},{"key":"e_1_2_1_17_1","volume-title":"Proc. of 10th IASTED Software Engineering Applications","author":"Wada H.","year":"2006","unstructured":"H. Wada Design and implementation of the matilda distributed uml virtual machine . In Proc. of 10th IASTED Software Engineering Applications . ACTA Press , 2006 . H. Wada et al. Design and implementation of the matilda distributed uml virtual machine. In Proc. of 10th IASTED Software Engineering Applications. ACTA Press, 2006."},{"key":"e_1_2_1_18_1","volume-title":"Verlagshaus Monsenstein und Vannerdat OHG","author":"Wehrmeister M. A.","year":"2009","unstructured":"M. A. Wehrmeister . An Aspect-Oriented Model-Driven Engineering Approach for Distributed Embedded Real-Time Systems . Verlagshaus Monsenstein und Vannerdat OHG , M\u00fcnster , 2009 . M. A. Wehrmeister. An Aspect-Oriented Model-Driven Engineering Approach for Distributed Embedded Real-Time Systems. Verlagshaus Monsenstein und Vannerdat OHG, M\u00fcnster, 2009."},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2007.17"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.67"},{"key":"e_1_2_1_21_1","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1007\/978-3-642-04284-3_4","volume-title":"Analysis, Architectures and Modelling of Embedded Systems","author":"Wehrmeister M. A.","year":"2009","unstructured":"M. A. Wehrmeister An infrastructure for UML-based code generation tools . In Analysis, Architectures and Modelling of Embedded Systems , volume 310\/2009 , pages 32 -- 43 . Springer , Boston , 2009 . M. A. Wehrmeister et al. An infrastructure for UML-based code generation tools. In Analysis, Architectures and Modelling of Embedded Systems, volume 310\/2009, pages 32--43. Springer, Boston, 2009."},{"volume-title":"June","year":"2010","key":"e_1_2_1_22_1","unstructured":"Wind River. The Crisis of Complexity: A Wind River Market Survey of Device Software Testing Trends and Quality Concerns in the Embedded Industry. White paper , June 2010 . http:\/\/www.windriver.com\/products\/test_management\/survey-0610.pdf. Wind River. The Crisis of Complexity: A Wind River Market Survey of Device Software Testing Trends and Quality Concerns in the Embedded Industry. White paper, June 2010. http:\/\/www.windriver.com\/products\/test_management\/survey-0610.pdf."}],"container-title":["ACM SIGOPS Operating Systems Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2146382.2146396","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2146382.2146396","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:52:02Z","timestamp":1750243922000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2146382.2146396"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,2,16]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,2,16]]}},"alternative-id":["10.1145\/2146382.2146396"],"URL":"https:\/\/doi.org\/10.1145\/2146382.2146396","relation":{},"ISSN":["0163-5980"],"issn-type":[{"type":"print","value":"0163-5980"}],"subject":[],"published":{"date-parts":[[2012,2,16]]},"assertion":[{"value":"2012-02-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}