{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:25:25Z","timestamp":1740122725222,"version":"3.37.3"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2016,9,1]],"date-time":"2016-09-01T00:00:00Z","timestamp":1472688000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100003593","name":"CNPq","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100003593","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Des Autom Embed Syst"],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1007\/s10617-016-9178-0","type":"journal-article","created":{"date-parts":[[2016,9,2]],"date-time":"2016-09-02T14:40:18Z","timestamp":1472827218000},"page":"289-309","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Testing real-time embedded systems using high level architecture"],"prefix":"10.1007","volume":"20","author":[{"given":"Jose Claudio V. S.","family":"Junior","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5215-443X","authenticated-orcid":false,"given":"Alisson V.","family":"Brito","sequence":"additional","affiliation":[]},{"given":"Luis Feliphe Silva","family":"Costa","sequence":"additional","affiliation":[]},{"given":"Tiago P.","family":"Nascimento","sequence":"additional","affiliation":[]},{"given":"Elmar Uwe Kurt","family":"Melcher","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,1]]},"reference":[{"key":"9178_CR1","doi-asserted-by":"publisher","unstructured":"AbouTrab MS, Brockway M, Counsell S, Hierons RM (2013) Testing real-time embedded systems using timed automata based approaches. J Syst Softw 86(5): 1209\u20131223. doi: 10.1016\/j.jss.2012.12.030 . http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0164121212003391","DOI":"10.1016\/j.jss.2012.12.030"},{"key":"9178_CR2","unstructured":"Accellera UVM (2011) Universal verification methodology i. 0 user\u2019s guide"},{"key":"9178_CR3","doi-asserted-by":"publisher","unstructured":"Bacic M (2005) On hardware-in-the-loop simulation. In: 44th IEEE conference on decision and control and 2005 European control conference. CDC-ECC \u201905. pp 3194\u20133198. doi: 10.1109\/CDC.2005.1582653","DOI":"10.1109\/CDC.2005.1582653"},{"key":"9178_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-0302-6","volume-title":"Writing testbenches: functional verification of HDL models","author":"J Bergeron","year":"2003","unstructured":"Bergeron J (2003) Writing testbenches: functional verification of HDL models, vol 2, 2nd edn. Kluwer Academic Publishers, Norwell","edition":"2"},{"key":"9178_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/0-387-31275-7","volume-title":"Writing testbenches using system Verilog","author":"J Bergeron","year":"2006","unstructured":"Bergeron J (2006) Writing testbenches using system Verilog. Springer, Heidelberg"},{"key":"9178_CR6","doi-asserted-by":"crossref","unstructured":"Brito AV, Negreiros ALV, Roth, C, Sander O (2013) Development and evaluation of distributed simulation of embedded systems using ptolemy and hla. In: 17th IEEE \/ ACM International symposium on distributed simulation and real time applications","DOI":"10.1109\/DS-RT.2013.28"},{"key":"9178_CR7","doi-asserted-by":"publisher","unstructured":"Depra D, Zatt B, Bampi S (2009) A method for hw functional verification through hw\/sw co-simulation in complex systems: H.264\/avc decoder as case study. In: Test workshop, 2009. LATW \u201909. 10th Latin American, pp 1\u20136. doi: 10.1109\/LATW.2009.4813807","DOI":"10.1109\/LATW.2009.4813807"},{"key":"9178_CR8","unstructured":"Fujimoto RM (ed) (2000) Parallel and distributed simulation systems. Wiley, New York. http:\/\/ptolemy.org\/books\/Systems"},{"key":"9178_CR9","doi-asserted-by":"publisher","unstructured":"IEEE (2010) IEEE standard for modeling and simulation (m&s) high level architecture (hla)\u2013 federate interface specification. IEEE Std 1516.1-2010 (Revision of IEEE Std 1516.1-2000) pp 1\u2013378. doi: 10.1109\/IEEESTD.2010.5557728","DOI":"10.1109\/IEEESTD.2010.5557728"},{"key":"9178_CR10","unstructured":"Junior JCVS, Brito AV, Nascimento, TP (2015) Verification of embedded system designs through hardware-software co-simulation. Int J Inf Electron Eng 5(1): 68. http:\/\/www.ijiee.org\/index.php?m=content&c=index&a=show&catid=49&id=548"},{"key":"9178_CR11","doi-asserted-by":"publisher","unstructured":"Junior, JCVS, Brito AV, Nascimento TP (2015) Testing real-time embedded systems with hardware-in-the-loop simulation using high level architecture. In: 2015 Brazilian symposium on computing systems engineering (SBESC), pp 142\u2013147. doi: 10.1109\/SBESC.2015.34","DOI":"10.1109\/SBESC.2015.34"},{"key":"9178_CR12","doi-asserted-by":"publisher","unstructured":"Loong WY, Long LZ, Hun LC (2011) A star path following mobile robot. In: 2011 4th International conference on mechatronics (ICOM), pp 1\u20137. doi: 10.1109\/ICOM.2011.5937169","DOI":"10.1109\/ICOM.2011.5937169"},{"issue":"4","key":"9178_CR13","doi-asserted-by":"crossref","first-page":"4385","DOI":"10.3390\/s110404385","volume":"11","author":"P Nebot","year":"2011","unstructured":"Nebot P, Torres-Sospedra J, Mart\u00ednez RJ (2011) A new hla-based distributed control architecture for agricultural teams of robots in hybrid applications with real and simulated devices or environments. Sensors 11(4):4385\u20134400","journal-title":"Sensors"},{"key":"9178_CR14","unstructured":"Negreiros ALVd, Brito AV (2012) The development of a methodology with a tool support to the distributed simulation of heterogeneous and complexes embedded systems. In: 2012 Brazilian symposium on computing system engineering (SBESC), IEEE, pp 37\u201342"},{"key":"9178_CR15","unstructured":"Nongnu: Pyhla python bindings for m&s hla (2014). http:\/\/www.nongnu.org\/certi\/PyHLA\/"},{"key":"9178_CR16","unstructured":"Noulard E, Rousselot JY, Siron P (2009) Certi, an open source rti, why and how. In: Spring simulation interoperability workshop, pp 23\u201327"},{"key":"9178_CR17","volume-title":"Functional verification coverage measurement and analysis","author":"A Piziali","year":"2004","unstructured":"Piziali A (2004) Functional verification coverage measurement and analysis, 1st edn. Kluwer Academic Publishers, Boston","edition":"1"},{"key":"9178_CR18","unstructured":"Ptolemaeus C (ed) (2014) System design, modeling, and simulation using ptolemy II. Ptolemy.org. http:\/\/ptolemy.org\/books\/Systems"},{"key":"9178_CR19","unstructured":"Shah SM, Irfan M (2005) Embedded hardware\/software verification and validation using hardware-in-the-loop simulation. In: Proceedings of the IEEE symposium on emerging technologies, IEEE, pp 494\u2013498"},{"key":"9178_CR20","unstructured":"Silva Costa LF, Nascimento TP, Brito AV (2015) Integration of robot operating system and ptolemy for design of real-time multi-robots environments. In: International embedded systems symposium (IESS), 2015, IFIP, pp 37\u201342"},{"key":"9178_CR21","doi-asserted-by":"publisher","unstructured":"Simo R, Santos, LHS, Brito AV (2015) An adaptive approach for real-time communication of multi-robots based on hla. In: Latin American network operations and management symposium (LANOMS), pp 92\u201398. doi: 10.1109\/LANOMS.2015.7332676","DOI":"10.1109\/LANOMS.2015.7332676"},{"key":"9178_CR22","doi-asserted-by":"crossref","unstructured":"Souza URF, Sperb JK, de Mello BA, Wagner FR (2003) Tangram-virtual integration of heterogeneous ip components in a distributed co-simulation environment. In: Proceedings 16th symposium on, integrated circuits and systems design, 2003. SBCCI 2003, IEEE, pp 125\u2013130","DOI":"10.1109\/SBCCI.2003.1232817"},{"key":"9178_CR23","doi-asserted-by":"publisher","unstructured":"Su K, Fu W (2011) Designing hardware-in-the-loop simulation system for missile with high level architecture. In: 2011 International conference on mechatronic science, Electric Engineering and Computer (MEC), pp 1525\u20131527. doi: 10.1109\/MEC.2011.6025763","DOI":"10.1109\/MEC.2011.6025763"},{"key":"9178_CR24","doi-asserted-by":"publisher","unstructured":"Wang X, Turner S, Low M, Gan BP (2004) Optimistic synchronization in hla based distributed simulation. In: 18th Workshop on parallel and distributed simulation, 2004. PADS 2004. pp 123\u2013130. doi: 10.1109\/PADS.2004.1301293","DOI":"10.1109\/PADS.2004.1301293"},{"key":"9178_CR25","unstructured":"Zatt B, Azevedo A, Agostini L, Bampi S (2006) Valida\u00e7\u00e3o de uma arquitetura para compensa\u00e7\u00e3o de movimento segundo o padr\u00e3o h. 264\/avc. In: XII IBERCHIP WORKSHOP, Costa Rica"}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-016-9178-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10617-016-9178-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-016-9178-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T17:54:35Z","timestamp":1498326875000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10617-016-9178-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,1]]},"references-count":25,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2016,12]]}},"alternative-id":["9178"],"URL":"https:\/\/doi.org\/10.1007\/s10617-016-9178-0","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"type":"print","value":"0929-5585"},{"type":"electronic","value":"1572-8080"}],"subject":[],"published":{"date-parts":[[2016,9,1]]}}}