Reconciling interoperability with efficient Verification and Validation within open source simulation environments
A Cyber–Physical System (CPS) comprises physical as well as software subsystems. Simulation-
based approaches are typically used to support design and Verification and Validation (V&V)
of CPSs in several domains such as: aerospace, defence, automotive, smart grid and healthcare.
Accordingly, many simulation-based tools are available to support CPS design. This, on one
side, enables designers to choose the toolchain that best suits their needs, on the other side