Skip to main content
Log in

Testing real-time embedded systems using high level architecture

  • Published:
Design Automation for Embedded Systems Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13
Fig. 14
Fig. 15
Fig. 16

Similar content being viewed by others

References

  1. 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

  2. Accellera UVM (2011) Universal verification methodology i. 0 user’s guide

  3. 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

  4. Bergeron J (2003) Writing testbenches: functional verification of HDL models, vol 2, 2nd edn. Kluwer Academic Publishers, Norwell

    Book  MATH  Google Scholar 

  5. Bergeron J (2006) Writing testbenches using system Verilog. Springer, Heidelberg

    Book  Google Scholar 

  6. 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

  7. 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

  8. Fujimoto RM (ed) (2000) Parallel and distributed simulation systems. Wiley, New York. http://ptolemy.org/books/Systems

  9. 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

  10. 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

  11. 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

  12. 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

  13. 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

    Article  Google Scholar 

  14. 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

  15. Nongnu: Pyhla python bindings for m&s hla (2014). http://www.nongnu.org/certi/PyHLA/

  16. Noulard E, Rousselot JY, Siron P (2009) Certi, an open source rti, why and how. In: Spring simulation interoperability workshop, pp 23–27

  17. Piziali A (2004) Functional verification coverage measurement and analysis, 1st edn. Kluwer Academic Publishers, Boston

    Google Scholar 

  18. Ptolemaeus C (ed) (2014) System design, modeling, and simulation using ptolemy II. Ptolemy.org. http://ptolemy.org/books/Systems

  19. 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

  20. 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

  21. 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

  22. 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

  23. 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

  24. 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

  25. 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

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Alisson V. Brito.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10617-016-9178-0

Keywords

Navigation