Model-Based Testing Applied to Software Components of Satellite Simulators

Figure 5

Physical architecture—DCS example.