• Co-Simulation
• Cyber-Physical Systems
• Formal Methods
• Interoperable Systems
• Model-based engineering
• Network Controller

Cyber-physical systems are distributed systems of interacting hardware, software, humans and physical world components. Cyber-physical systems are often used in transportation, healthcare, and other safety-critical application fields, thus requiring high levels of resilience and safety. On the other hand, due to the integration of computational and physical com- ponents, simulation and analysis of these engineered systems is a challenge.
In this thesis, a set of libraries has been developed for the co-simulation of cyber-physical systems in the Prototype Verification System (PVS) formal verification environment. The library is part of the core co-simulation engine, responsible for the coordination and con- trol of many different models, each developed in their own environment. Case studies are reported in three different scenarios: a Pacemaker-Heart model, an Interoperable Medical Device prototype and a Traffic Collision Avoidance system.