• Co-simulation
• Cyber-Physical Systems
• Dependability
• FMI
• Möbius
• Reliability
• System validation

Cyber-Physical Systems (CPSs) are characterized by digital components controlling physical equipment. Since physical systems often exhibit stochastic behavior, it is desirable to analyze such systems with tools capable of characterizing their dynamics with statistical methods.

Co-simulation is the joint simulation of independent sub-models each representing a component or subsystem of the overall system.
The main advantage of co-simulation with respect to traditional single paradigm simulation lies in the modeling flexibility it affords in composing large models out of sub-models, each expressed in the most appropriate formalism.

This thesis presents a methodology to include subsystems of Cyber-Physical Systems represented as Stochastic Activity Networks into the INTO-CPS co-simulation framework. Stochastic Activity Network features related to stochastic models are studied in order to allow a complete integration of Stochastic Activity Networks into a co-simulation framework.
In particular, this methodology has been used to study statistical properties of a system where a component is subject to random failure.