WP2.B Trustworthiness of smart and autonomous systems

Per essere utilizzati nella vita quotidiana, i sistemi intelligenti e autonomi devono essere affidabili. Oltre a garantire la qualità, in molti ambiti applicativi i sistemi intelligenti e autonomi devono aderire alla certificazione delle proprietà del software. I sistemi spaziali hanno requisiti di affidabilità e resilienza estremamente esigenti.

L'introduzione delle tecnologie di Machine Learning e Intelligenza Artificiale tra le applicazioni software di bordo conferirà ancora maggiore importanza ai requisiti di affidabilità e resilienza. La potenza computazionale aggiuntiva fornita dai nuovi processori spaziali, eventualmente combinata con coprocessori dedicati, permetterà di offrire servizi aggiuntivi a bordo per migliorare l'autonomia della navicella spaziale e l'affidabilità e la resilienza del sistema seguendo un approccio di manutenzione predittiva e sfruttando le tecniche di V&V (Verifica e Validazione).

Un obiettivo specifico di questo compito è l'integrazione senza soluzione di continuità delle pratiche correnti di sviluppo del software dei sistemi autonomi con flussi di verifica precisi per raggiungere l'affidabilità. Esempi di tecniche che prevediamo di investigare includono tecniche di analisi statica, approcci basati su modelli e (semi)automatici alla verifica del software, test del software sia in produzione che sul campo.