Επιστημονικός Υπεύθυνος: Νικόλαος Βώρος, Καθηγητής
Φορέας Χρημοατοδότησης: Horizon 2020
Χρονική Διάρκεια: 01/01/2020 – 31/08/2023
Ιστοσελίδα: http://www.xandar-project.eu/
Σύντομη Περιγραφή: Οι εξελίξεις των δικτύων ενσωματωμένων συστημάτων επόμενης γενιάς έχουν δημιουργήσει την ανάγκη για τεχνολογίες λογισμικού που διευκολύνουν την ταχεία δημιουργία πρωτοτύπων και την υψηλή απόδοση, ενώ ταυτόχρονα ενισχύουν την ανθεκτικότητα των συστημάτων δημιουργώντας, διατηρώντας την αξιοπιστία και διασφαλίζοντας την ασφάλεια και προστασία του συστήματος. Ωστόσο, η μεγάλη εξάρτηση από τη Μηχανική Μάθηση και την Τεχνητή Νοημοσύνη για το σχεδιασμό και την ανάπτυξη δικτύου ενσωματωμένων συστημάτων επόμενης γενιάς επιφέρει μια σειρά από σοβαρές προκλήσεις σχεδιασμού λογισμικού και υλικού, όπως εμπιστοσύνη, ασφάλεια, αξιοπιστία και λειτουργική ασφάλεια. Πρωταρχικά παραδείγματα είναι αυτόνομα οχήματα που είναι επιρρεπή σε διάφορες ευπάθειες ασφάλειας που θα μπορούσαν να οδηγήσουν σε σοβαρά περιστατικά που προκαλούν σωματική βλάβη και βλάβη στο φυσικό περιβάλλον και στο ευρύ κοινό. Νέες προσεγγίσεις που μειώνουν το κόστος ανάπτυξης και ελαχιστοποιούν τον κίνδυνο που προκαλείται από την αποτυχία υλικού και λογισμικού τέτοιων αυτόνομων και έξυπνων συστημάτων που αναπτύσσονται σε περιβάλλοντα κρίσιμα για την ασφάλεια είναι απαραίτητες προκειμένου να διατηρηθούν ζωτικές υπηρεσίες και εμπιστοσύνη του κοινού σε αυτά. Το XANDAR θα προσφέρει μια ώριμη αλυσίδα εργαλείων λογισμικού (από τη ανάλυση απαιτήσεων έως την πραγματική ενσωμάτωση κώδικα στο στόχο, συμπεριλαμβανομένης της επαλήθευσης και επικύρωσης) που ικανοποιεί τις ανάγκες του κλάδου για ταχεία πρωτοτυποποίηση διαλειτουργικών και αυτόνομων ενσωματωμένων συστημάτων. Ξεκινώντας από μια αρχιτεκτονική συστήματος που βασίζεται σε μοντέλα, το XANDAR θα αξιοποιήσει νέες αυτόματες τεχνικές σύνθεσης μοντέλων και παραλληλισμού λογισμικού για να επιτύχει συγκεκριμένες μη λειτουργικές απαιτήσεις, θέτοντας τα θεμέλια για ένα νέο σε πραγματικό χρόνο, ασφάλεια και ασφάλεια με κατασκευή (X-by-Construction) πρότυπο. Για πρώτη φορά, η δημιουργία κώδικα καθοδηγούμενης από XbC για μη ντετερμινιστικές εφαρμογές μηχανικής μάθησης/τεχνητής νοημοσύνης θα συνδυαστεί με νέους μηχανισμούς παρακολούθησης σε χρόνο εκτέλεσης ώστε να διασφαλιστεί η αποτυχία λειτουργίας λόγω σφαλμάτων που συμβαίνουν σε χρόνο εκτέλεσης και σφαλμάτων που εκμεταλλεύονται κενά ασφάλειας του συστήματος.