ETD system

Electronic theses and dissertations repository

 

Tesi etd-09082015-105051


Thesis type
Tesi di laurea magistrale
Author
MALLOZZI, PIERGIUSEPPE
URN
etd-09082015-105051
Title
Design and development of a co-simulation library for the PVSio-web prototyping tool
Struttura
INGEGNERIA DELL'INFORMAZIONE
Corso di studi
COMPUTER ENGINEERING
Supervisors
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;
Consultabilità
Parziale
Data di rilascio
25/09/2018
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