Chapter Conclusions 5.1 Summary This thesis has proposed a framework for the formalization and characterization of simulation performance. The proposed framework provides a basis for understanding and analyzing simulation performance from the simulation problem to the simulation implementation. Figure 5.1 summarizes the proposed framework. We formalize simulation event orderings that provide the theoretical foundation for simulation performance analysis based on the partially ordered set (poset). We characterize simulation performance in three layers: physical system, simulation model and simulator. Our analysis focuses on time (event parallelism) and space (memory requirement) performance. Because of the different definitions of time used at different layers, a normalization process is required to allow time performance comparison across layers. Event parallelism depends on event dependency and time. We have proposed a time independent measure called strictness for quantifying the degree of event dependency of a simulation event ordering, 145 Chapter 5. Conclusions 146 and a relation called stricter to compare the degree of event dependency of simulation event orderings. Poset Πprob Perf Mprob Perf Comparison Simulation Model Πord Normalization Event Ordering Physical System Mord Perf Πsync Simulator Perf Msync, Mtot, Mshr, Mdst Strictness (ς) Stricter ( . dependency of simulation event orderings. Figure 5. 1: Framework for Formalization and Characterization of Simulation Performance In summary, this thesis offers three main contributions: formalization. 1 45 Chapter 5 Conclusions 5. 1 Summary This thesis has proposed a framework for the formalization and characterization of simulation performance. The proposed framework. formalization of event orderings, time and space performance characterization, and strictness measurement. 5. 1.1 Formalization of Simulation Event Orderings We have proposed the formalization