Abstract
This work proposes an environment for testing of heterogeneous embedded systems by means of distributed co-simulation. The test occurs in real-time, co-simulating the system software and hardware platform using the high level architecture (HLA) as a middleware. The novelty of this approach is not only providing support for simulations, but allowing the synchronous integration of heterogeneous simulators with a physical real-time environment. In this work we use the Ptolemy framework as a simulation platform. The approach of co-simulation based on HLA allows different simulators and physical devices to inter-operate, for example robots can operate and be tested with a Ptolemy simulations. Case studies are presented to prove the concept, showing the successful integration between Ptolemy and the HLA and test systems using Robot-in-the-loop. The integration of real-time devices through robot operating system was also presented. The approach proved to be able to detect logical and physical design flaws.
Similar content being viewed by others
References
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–1223. doi:10.1016/j.jss.2012.12.030. http://www.sciencedirect.com/science/article/pii/S0164121212003391
Accellera UVM (2011) Universal verification methodology i. 0 user’s guide
Bacic M (2005) On hardware-in-the-loop simulation. In: 44th IEEE conference on decision and control and 2005 European control conference. CDC-ECC ’05. pp 3194–3198. doi:10.1109/CDC.2005.1582653
Bergeron J (2003) Writing testbenches: functional verification of HDL models, vol 2, 2nd edn. Kluwer Academic Publishers, Norwell
Bergeron J (2006) Writing testbenches using system Verilog. Springer, Heidelberg
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
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 ’09. 10th Latin American, pp 1–6. doi:10.1109/LATW.2009.4813807
Fujimoto RM (ed) (2000) Parallel and distributed simulation systems. Wiley, New York. http://ptolemy.org/books/Systems
IEEE (2010) IEEE standard for modeling and simulation (m&s) high level architecture (hla)– federate interface specification. IEEE Std 1516.1-2010 (Revision of IEEE Std 1516.1-2000) pp 1–378. doi:10.1109/IEEESTD.2010.5557728
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
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–147. doi:10.1109/SBESC.2015.34
Loong WY, Long LZ, Hun LC (2011) A star path following mobile robot. In: 2011 4th International conference on mechatronics (ICOM), pp 1–7. doi:10.1109/ICOM.2011.5937169
Nebot P, Torres-Sospedra J, Martínez 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–4400
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–42
Nongnu: Pyhla python bindings for m&s hla (2014). http://www.nongnu.org/certi/PyHLA/
Noulard E, Rousselot JY, Siron P (2009) Certi, an open source rti, why and how. In: Spring simulation interoperability workshop, pp 23–27
Piziali A (2004) Functional verification coverage measurement and analysis, 1st edn. Kluwer Academic Publishers, Boston
Ptolemaeus C (ed) (2014) System design, modeling, and simulation using ptolemy II. Ptolemy.org. http://ptolemy.org/books/Systems
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–498
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–42
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–98. doi:10.1109/LANOMS.2015.7332676
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–130
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–1527. doi:10.1109/MEC.2011.6025763
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–130. doi:10.1109/PADS.2004.1301293
Zatt B, Azevedo A, Agostini L, Bampi S (2006) Validação de uma arquitetura para compensação de movimento segundo o padrão h. 264/avc. In: XII IBERCHIP WORKSHOP, Costa Rica
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Junior, J.C.V.S., Brito, A.V., Costa, L.F.S. et al. Testing real-time embedded systems using high level architecture. Des Autom Embed Syst 20, 289–309 (2016). https://doi.org/10.1007/s10617-016-9178-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10617-016-9178-0