Request to call you Back
What challenge can we help you solve ?
Στόχος του έργου ASSURED είναι η δημιουργία ενός πρωτοποριακού πλαισίου διασφάλισης σε χρόνο εκτέλεσης, βασισμένο σε πολιτικές και επίσημα επαληθευμένο, στον σύνθετο τομέα των κυβερνο-φυσικών συστημάτων (Cyber-Physical Systems - CPS). Καθώς αυξάνεται η ζήτηση για όλο και πιο αυτόνομα τέτοια συστήματα, αυξάνεται και η ανάγκη για μηχανισμούς πιστοποίησης που θα εξασφαλίζουν την ασφάλεια τους. Οι τρέχουσες μέθοδοι για την επικύρωση του λογισμικού και του υλισμικού (hardware) απαιτούν την διεξοδική δοκιμή κάθε πιθανού σενάριο κατάστασης ΠΡΙΝ αυτό το σύστημα τεθεί σε πραγματικές συνθήκες λειτουργίας. Σε αυτό το πλαίσιο, απαιτούνται καινοτόμες υπηρεσίες για να διασφαλίσουν ότι το αποτέλεσμα διεργασίας τέτοιων ελεγκτών δεν θέτει σε κίνδυνο το σύστημα ή τα άτομα που αλληλοεπιδρούν με αυτό, ειδικά για κρίσιμες για την ασφάλεια εφαρμογές, όπως αυτές που συμπεριλαμβάνονται στα πιλοτικά του έργου.
• Η βασική ιδέα του έργου είναι να αξιοποιηθούν και να ενισχυθούν οι τεχνικές πιστοποίησης και επαλήθευσης σε χρόνο εκτέλεσης, ώστε να επιτρέπουν στους έξυπνους (μη επαληθευμένους) ελεγκτές να δρουν μέσα σε ένα προκαθορισμένο πλαίσιο αποδεκτής συμπεριφοράς, και μια προσέγγιση διαχείρισης κινδύνου ώστε να μπορεί να επεκταθεί αυτό το πλαίσιο σε ένα μεγαλύτερο Σύστημα-Συστημάτων (System of Systems – SoS).
• Η διαφορετική προσέγγιση του ASSURED θα βασιστεί στον συντονισμό των πρακτόρων αξιόπιστου περιβάλλοντος εκτέλεσης (Trusted Execution Environment - TEE) που εγκαθίστανται εντός των συστημάτων. Η προσέγγιση αυτή περιλαμβάνει πολλές τεχνολογίες εφαρμόσιμες σε όλα τα κομμάτια του υπολογιστικού νέφους (cloud), από τις συσκευές άκρης (edge devices) έως τις πύλες (gateway). Τέτοιες τεχνολογίες περιλαμβάνουν: Υπολογιστικά περιβάλλοντα με έμφαση στα δεδομένα (Data Intensive Computing Environment – DICE) για την σύνδεση συσκευών σε υλικολογισμικό (firmware) / λογισμικό, περιβάλλοντα αξιόπιστης εκτέλεσης, επίσημη μοντελοποίηση πρωτοκόλλων και διαδικασιών λογισμικού, πιστοποίηση λογισμικού, τεχνολογία blockchain για κατανεμημένη επαλήθευση συναλλαγών μεταξύ στοιχείων συστημάτων και τεχνικές επιβεβαίωσης ελέγχου-ροής για ενίσχυση της λειτουργικής ορθότητας τέτοιων συσκευών .
Σύνδεση
