A Framework For The Simulation Of Complex Real-Time Systems

Simulation is often used in the analysis of complex computing systems. The design and validation of complex real-time systems demands capabilities not found in existing simulation environments. We categorize these capabilities into three major functional areas: search control, the execution engine, and output analysis. Search control is an imporant topic often treated lightly in simulation environments for real-time systems. The search controller chooses values for variable input parameters and launches simulation sto determine the performance of the system under different sets of parameter values. The search control framework presented in this thesis allows both conventional design and search and also validation searc