Sistema ETD

banca dati delle tesi e dissertazioni accademiche elettroniche

 

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
Struttura
INGEGNERIA DELL'INFORMAZIONE
Corso di studi
COMPUTER ENGINEERING
Commissione
relatore Prof.ssa Bernardeschi, Cinzia
relatore Prof. Domenici, Andrea
Parole chiave
  • verification
  • safety critical systems
  • Formal methods
  • co-simulation
Data inizio appello
25/09/2015;
Disponibilità
parziale
Riassunto analitico
The objective of this thesis is the development of a library for PVSio-web prototyping tool to allow the co-simulation of safety critical systems. Case studies are shown in the fields of health care and avionics.
File