Verification of Devices for Ambient Assisted Living through Hardware-Software Co-simulation

This work proposes an environment for verification of devices for Ambient Assisted Living and embedded systems through Hardware-in-the-Loop co-simulation. The verification occurs on realtime between the system software and hardware platform using the High Level Architecture (HLA) as a middleware between the hardware device and the simulated model. The novelty of this approach is not only provide support for simulations, but also allow the synchronous integration with any physical hardware devices. In this paper we use the Ptolemy as a simulation platform, the integration of HLA with Ptolemy and the hardware models open a vast set of applications, like the test of many devices at same time, running the same, or different applications or modules, the usage of Ptolemy for real-time control of embedded systems and the distributed execution of different embedded devices for performance improvement or collaborative execution. A case study is presented to prove the concept, showing the successful integration between Ptolemy framework with an implementation using Atmel and ARM micro-controllers.