Testing Real-Time Embedded Systems with Hardware-in-the-Loop Simulation Using High Level Architecture

  • José Cláudio Vieira S. Junior UFPB
  • Alisson V. Brito UFPB
  • Tiago P. Nascimento UFPB

Resumo


This work presents a technique for testing real-time embedded systems using Hardware-in-the-Loop (HIL) simulation, exploiting High-Level Architecture (HLA) standard for interoperability and synchronization of heterogeneous architectures. The proposed testing approach uses the Ptolemy framework to verify in real-time models running in hardware against their respective reference models developed in Ptolemy. The approach consisted in the development of new actors in Ptolemy responsible for the integration with HLA and the verification process, and a software interface to be deployed in the hardware under verification. As proof of concept, the proposed approach was applied for the testing of a simple mobile robot navigation algorithm. All data collected by sensors and the respective reactions are transferred in real-time to Ptolemy, which performs the verification against a reference model. Such technique allows different Models of Computation (MoC) to be used as reference models in Ptolemy to verify different hardware architectures synchronously based on HLA.
Palavras-chave: Testing, Hardware, Embedded systems, Computational modeling, Real-time systems, Synchronization, Computer architecture, Real-Time, Embedded Systems, Hardware-in-the-Loop, High-Level Architecture
Publicado
03/11/2015
S. JUNIOR, José Cláudio Vieira; BRITO, Alisson V.; NASCIMENTO, Tiago P.. Testing Real-Time Embedded Systems with Hardware-in-the-Loop Simulation Using High Level Architecture. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SISTEMAS COMPUTACIONAIS (SBESC), 5. , 2015, Foz do Iguaçu/PR. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2015 . p. 1846-1987. ISSN 2237-5430.