Abstract: Simulation is an essential tool for the design of complex engineered systems. From early in the life cycle of a system, models at different levels of abstraction and approximation are combined to make decisions about the system under design. Validity is typically described as creating a correct model to represent the actual system (under design) accurately. This is different to verification which focuses on the proper implementation.
In this presentation, we relate different concepts of validity. We look at the techniques that the community produced to check the validity of the system. Afterwards, we look at the different threats to the validity of a (co-)simulation and some opportunities that arise when we explicitly reason on the validity of simulation models. Finally, we survey some of the contributions of that work on capturing the validity of simulation models.