In this chapter, we have presented the design of a simulation model for MPI programs. We have described how the model may be executed in parallel using the conservative simulation protocol described in the previous chapter. We have shown results that validate the simulation model, and demonstrated the performance of the parallel simulation model, using a subset of the NAS Parallel Benchmarks, which are a widely accepted and used parallel benchmark suite.