Validation of Model-Based Testing in Hardware in the Loop Platform

Control systems are ubiquitous and often at the core of Cyber-Physical Systems, like cars and aeroplanes. They are implemented as embedded software, that interacts in closed loop with the physical world through sensors and actuators. As a consequence, the software cannot just be tested in isolation. To close the loop in a testing environment and root causing failure generated by different parts of the system, executable models are used to abstract specific components. Different testing setups can be implemented by abstracting different elements: the most common ones are model-in-the-loop, software-in-the-loop, hardware-in-the-loop, and real-physics-in-the-loop. In this paper, we discuss the properties of these setups and the types of faults they can expose. We develop a comprehensive case study using the Crazyflie, a drone whose software and hardware are open-source. We implement all the most common testing setups and ensure the consistent injection of faults in each of them. We inject faults in the control system and we compare with the nominal performance of the non-faulty software. Our results show the specific capabilities of the different setups in exposing faults. Contrary to intuition and previous literature, we show that the setups do not belong to a strict hierarchy and they are best designed to maximize the differences across them rather than to be as close as possible to reality.

show abstract

Validation of Model-Based Testing in Hardware in the Loop Platform

Cited by 3 publications

References 14 publications

Development of simulation platform for physicochemical regenerative environment control and life support system in space station

Development of simulation platform for physicochemical regenerative environment control and life support system in space station

Construction method and implementation of hardware-in-the-loop real-time dynamic simulation platform for airborne environment control system

Testing Abstractions for Cyber-Physical Control Systems

Contact Info

Product

Resources

About