A konzorcium elő fogja mozdítani a modell ellenõrzési és adatelemzési alapelméleteit. Ezen a földmunkán a módszereket és eszközöket fejleszti ki a megbízható és biztonságos IKT-rendszerek tervezésének és elemzésének helyes gyakorlatához, amely nagy adatmennyiségeket dolgoz ki, ahogy azt a nagy társadalmi-gazdasági jelentőséggel bíró területekre irányuló alkalmazások és a robotrendszerek, az eHealth&##10;és az orvosbiológiai rendszerek is megkövetelik.