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

Wan Hai (1) , Huang Chongdi (1) , Wang Yuhui (1) , He Fei (1) , Gu Ming (1) , Chen Rui (2) , Marius Bozga (3)

1 THU - Tsinghua University [Beijing]
2 Beijing Institute of Control Engineering
3 VERIMAG - IMAG - VERIMAG

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.

Domaines: Systèmes embarqués

Wan Hai, Huang Chongdi, Wang Yuhui, He Fei, Gu Ming, et al.. Modeling and Validation of a Data Process Unit Control for Space Applications. Embedded Real-Time Software and Systems (ERTS^2 2012), Feb 2012, Toulouse, France. pp.6B-1. ⟨hal-00878708⟩