Λογισμικά-συστήματα βασίζονται όλο και περισσότερο την ασφάλεια και χρησιμοποιούνται συχνά για πολύ περισσότερο καιρό από ό, τι η προβλεπόμενη διάρκεια ζωής τους. Η ενεργοποίηση του λογισμικού να εξελιχθούν για να ανταποκριθούν στις νέες απαιτήσεις, τα πρότυπα χρήσης και τις απειλές, ενώ παραμένουν ασφαλείς είναι μια τεράστια και δαπανηρή πρόκληση, αλλά χρηματοδοτούμενοι από την ΕΕ ερευνητές αντιμετωπίζουν με μια ριζοσπαστική νέα προσέγγιση στην ανάπτυξη λογισμικού, την επαλήθευση και την ανάπτυξη του.
Aναλυτικά:
http://cordis.europa.eu/fetch?CALLER=OFFR_TM_EN&ACTION=D&RCN=9207