Η κοινοπραξία θα προωθήσει θεμελιώδεις θεωρίες του μοντέλου επαλήθευση και ανάλυση δεδομένων. Σε αυτή την επίγεια εργασία, θα αναπτύξει μέθοδοι και εργαλεία για ορθές πρακτικές σχεδιασμού και ανάλυσης αξιόπιστα και ασφαλή συστήματα ΤΠΕ που επεξεργάζονται μεγάλους όγκους δεδομένων, όπως απαιτούνται από εφαρμογές σε τομείς υψηλής κοινωνικοοικονομικής συνάφειας και ρομποτικά συστήματα, eHealth και βιοϊατρικά συστήματα.