Incarico di ricerca - Università degli Studi di Verona

Sintesi

L’incarico mira a sviluppare metodi e strumenti per specification mining e runtime verification di sistemi cyber-fisici human-centric in Industria 5.0. In particolare, l’attività riguarderà l’estrazione, formalizzazione e monitoraggio di proprietà temporali di correttezza, sicurezza e affidabilità a partire da dataset generati da dispositivi indossabili e sensori ambientali, nel contesto di digital twin applicate a...

Requisiti principali

• Other