Modeling and Validation of a Data Process Unit Control for Space Applications

Data process unit (DPU) is a typical embedded system. It is widely used in space applications to collect data from sensors, process data and send the data to its upper master computer. In this paper, we use the BIP framework to model and validate a DPU system of a real space application. We first build the system model including the control software, hardware and the environment. Validation is by extensive simulation of a monitored system obtained as the composition of the DPU model with monitors. A monitor checks a requirement by continuously sensing the state of the model and reaching an error state if the requirement is violated. We checked fault-tolerance for di erent fault models and detected several errors that under some conditions, could correspond to real implementation errors.