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

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.