ETD

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

Tesi etd-09082015-105051


Tipo di tesi
Tesi di laurea magistrale
Autore
MALLOZZI, PIERGIUSEPPE
URN
etd-09082015-105051
Titolo
Design and development of a co-simulation library for the PVSio-web prototyping tool
Dipartimento
INGEGNERIA DELL'INFORMAZIONE
Corso di studi
COMPUTER ENGINEERING
Relatori
relatore Prof.ssa Bernardeschi, Cinzia
relatore Prof. Domenici, Andrea
Parole chiave
  • Interoperable Systems
  • Formal Methods
  • Model-based engineering
  • Cyber-Physical Systems
  • Co-Simulation
  • Network Controller
Data inizio appello
25/09/2015
Consultabilità
Completa
Riassunto
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.
File