An Analysis-Agnostic System Model of the Intel Minifab

What if, instead of trying to model production systems using a simulation language, we first formally specified them by creating an analysis-agnostic system model (AASM) which could be developed collaboratively with the stakeholders and then be used as a simulation model requirements document, the benchmark for simulation model verification and a valuable asset for validation? This paper demonstrates an approach for creating an AASM for a wafer fab, using as the demonstration vehicle a famously simple yet intriguingly complex case study, the Intel Minifab case developed by Karl Kempf 25 years ago.