logo SBA

ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Tesi etd-11202018-162613


Tipo di tesi
Tesi di laurea magistrale
Autore
CRESCITELLI, VIVIANA
Indirizzo email
viviana.crescitelli@gmail.com
URN
etd-11202018-162613
Titolo
Co-Simulation of Cyber Physical Systems with Stochastic Behavior
Dipartimento
INGEGNERIA DELL'INFORMAZIONE
Corso di studi
EMBEDDED COMPUTING SYSTEMS
Relatori
relatore Prof.ssa Bernardeschi, Cinzia
Parole chiave
  • Co-simulation
  • Cyber-Physical Systems
  • Dependability
  • FMI
  • Möbius
  • Reliability
  • System validation
Data inizio appello
11/12/2018
Consultabilità
Completa
Riassunto
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.
File