Towards a framework for more robust validation and verification of simulation models for systems of systems

Abstract

We present a framework for verification and validation of simulation models of System of Systems that is based on an existing framework for modeling and simulation. The framework addresses problems arising especially in recently emerging Systems of Systems such as cyber-physical autonomous cooperative systems. The design of such systems presents challenges to the currently employed independent use of simplified models for formal verification or brute-force simulations which are severely limited in the range of conditions they can test. The proposed framework is applied to integration of formal analytic and simulation verification methods where there is a need to have confidence that the properties proved for idealized abstract models also hold in more realistic models which gave rise to the abstractions. Taking both logical and probabilistic perspectives clarifies the situation and suggests where more research is needed.