ETD system

Electronic theses and dissertations repository

 

Tesi etd-01252017-084948


Thesis type
Tesi di laurea magistrale
Author
POSCA, GABRIELE
URN
etd-01252017-084948
Title
Logica temporale e validazione HIL dell'elettronica di controllo di una vettura da Formula Uno
Struttura
INGEGNERIA DELL'INFORMAZIONE
Corso di studi
INGEGNERIA ROBOTICA E DELL'AUTOMAZIONE
Supervisors
relatore Prof. Landi, Alberto
controrelatore Prof. Saponara, Sergio
correlatore Ing. Balluchi, Andrea
correlatore Ing. Nunziata, Andrea
Parole chiave
  • monitor
  • testing
  • verifica
  • HIL
  • logica termporale
  • Formula Uno
Data inizio appello
23/02/2017;
Consultabilità
Parziale
Data di rilascio
23/02/2020
Riassunto analitico
Il tema di questo elaborato è il frutto del lavoro svolto come consulente dell'azienda Pure Power Control presso la Scuderia Ferrari. E' stato sviluppato un modello astratto di una vettura da F1, tramite Matlab-Simulink e Stateflow. Su tale modello è stata studiata l'applicabilità delle tecniche di veri fica espresse in logica temporale, introducendo il concetto dei Monitor. In collaborazione con il Control Group della Scuderia Ferrari, è stato sviluppato un sistema per l'automatizzazione dei test di verifica, comprendente la validazione HIL.
File