Model checking statistico per software di controllo in robot autonomi

Gruppo Scientifico-Disciplinare

09/IINF-05 - Sistemi di Elaborazione delle Informazioni

Descrizione

Il programma prevede la realizzazione di strumenti software basati su metodi statistici di tipo Monte Carlo per la verifica automatica di software (c.d. model cheker statistici) di controllo in robot autonomi utilizzando logiche temporali per la descrizione dei requisiti.Di tali strumentidovranno essere sviluppate le giustificazioni teoriche, gli algoritmi e le euristiche di funzionamento,le implementazioni e le valutazioni sperimentali atte a determinarne le prestazioni rispetto a metodi alternativi.L’obiettivo del progetto è la realizzazione model Checker statistici che siano dimostrabilmente superiori nella verifica di software di controllo per robot autonomi rispetto a soluzioni alternative presenti allo stato dell’arte.Il candidato dovrà presentare una proposta progettuale secondo i seguenti elementi: Breve analisi dello stato dell’arte nella verifica delle proprietà dei software di controllo per robot autonomi

Compenso

54,910 Euro

Sito web del bando

http://www.unige.it/concorsi/assricerca/

Numero posti

1

Durata massima

24.0

Ente finanziatore

Università degli Studi di Genova

Come candidarsi

https://concorsi.unige.it/home

Modalità di selezione