A Model of Heterogeneous Display Component for Cyber-Physical Systems Simulation
摘要
Cyber-Physical Systems (CPSs) modeling consists to release an executable system model. The modeling process is composed of steps where each step is the refinement of the previous step with more details and the last step is the validation step. The validation of system can be done formally or by simulation. Since CPSs are heterogeneous and combine physics and computations, the formal validation is often difficult to apply and the validation by simulation is the only method to verify the correctness of the modeling process. The simulation of CPSs generates heterogeneous output data. So, the display of heterogeneous output data involves the use specific display components (SDCs) where each SDC can display one and only one type of output data. Indeed, the presence of important number of SDCs makes the design task not easy, because the knowledge of SDCs is indispensable for the simulation, and it prevents the reusability. As solution, we propose in this paper a model of heterogeneous display component (HDC) that allows the designer to use only one component to display different types of output data.