Η SOLIDKOSMOS, ο πρώτος τεχνοβλαστός (spin-off) του Κέντρου Ερευνών του Πανεπιστημίου Πειραιώς, εξασφάλισε χρηματοδότηση ύψους €300.000 από το Corallia Ventures. Η επένδυση προορίζεται για την εμπορική αξιοποίηση μιας τεχνολογίας που επιτρέπει τον έλεγχο και την ενίσχυση της αξιοπιστίας κρίσιμων υπολογιστικών συστημάτων σε δορυφόρους, data centers, αμυντικές εφαρμογές και συστήματα τεχνητής νοημοσύνης.
Το SK-RAFT είναι ένα προηγμένο εργαλείο λογισμικού αυτοματισμού ηλεκτρονικού σχεδιασμού (Electronic Design Automation – EDA). Επιτρέπει την εισαγωγή και εξομοίωση σφαλμάτων σε πραγματικό υπολογιστικό υλικό, με στόχο την επαλήθευση της αξιοπιστίας και της ανθεκτικότητας των κρίσιμων συστημάτων. Η παγκόσμια αγορά εργαλείων EDA εκτιμάται σε δεκάδες δισεκατομμύρια δολάρια και αναπτύσσεται ταχέως, λόγω της αυξανόμενης πολυπλοκότητας των συστημάτων τεχνητής νοημοσύνης, των data centers και των διαστημικών υποδομών.
Η επένδυση θα επιταχύνει τη μετάβαση του SK-RAFT από μια ώριμη ερευνητική τεχνολογία σε ένα εμπορικά διαθέσιμο προϊόν διεθνούς εμβέλειας. Τα κεφάλαια θα χρηματοδοτήσουν την τεχνική του εξέλιξη, την υλοποίηση πιλοτικών εφαρμογών με πρώιμους πελάτες και την εμπορική ανάπτυξη της εταιρείας στις παγκόσμιες αγορές κρίσιμων υπολογιστικών συστημάτων.
Η πρόκληση της επαλήθευσης αξιοπιστίας σε κρίσιμες εφαρμογές
Καθώς η οικονομία και η κοινωνία βασίζονται ολοένα περισσότερο σε πολύπλοκα υπολογιστικά συστήματα, η αξιοπιστία τους αναδεικνύεται σε κρίσιμο παράγοντα για την ασφάλεια, τη λειτουργικότητα και την επιχειρησιακή συνέχεια. Από δορυφόρους και αεροσκάφη έως κέντρα δεδομένων, αυτόνομα οχήματα, συστήματα τεχνητής νοημοσύνης και ιατρικές συσκευές, ακόμη και ένα μεμονωμένο σφάλμα μπορεί να οδηγήσει σε λειτουργικές αστοχίες, οικονομικές απώλειες ή αποτυχία κρίσιμων αποστολών.
Για τον λόγο αυτό, οι κατασκευαστές αναπτύσσουν ολοένα πιο προηγμένους μηχανισμούς ανίχνευσης, απομόνωσης και ανάκαμψης από σφάλματα (Fault Detection, Isolation and Recovery – FDIR). Οι μηχανισμοί αυτοί πρέπει να επαληθεύονται συστηματικά μέσω ελεγχόμενης εισαγωγής σφαλμάτων σε πραγματικές υλοποιήσεις συστημάτων.
Ωστόσο, οι διαθέσιμες μέθοδοι παρουσιάζουν σημαντικούς περιορισμούς:
Προσομοιώσεις RTL (περιγραφής υλικού): Μπορούν να χρησιμοποιηθούν από τα πρώτα στάδια του σχεδιασμού, αλλά συχνά είναι χρονοβόρες και αδυνατούν να αποτυπώσουν πλήρως τη συμπεριφορά σύνθετων συστημάτων υλικού και λογισμικού.
Φυσικές δοκιμές εισαγωγής σφαλμάτων: Δοκιμές όπως η ακτινοβολία, η ηλεκτρομαγνητική παρεμβολή (EMI) ή το laser fault injection παρέχουν ιδιαίτερα αξιόπιστα αποτελέσματα, αλλά απαιτούν εξειδικευμένες εγκαταστάσεις, υψηλό κόστος και σημαντικό χρόνο προετοιμασίας.
Ως αποτέλεσμα, η επαλήθευση της ανθεκτικότητας των κρίσιμων συστημάτων παραμένει σήμερα μια σύνθετη, δαπανηρή και χρονοβόρα διαδικασία.
Επαλήθευση αξιοπιστίας σε πραγματικό υλικό με το SK-RAFT
Το SK-RAFT επιτρέπει την ελεγχόμενη εισαγωγή σφαλμάτων απευθείας σε πραγματικό υλικό, αξιοποιώντας διεπαφές και συναφείς μηχανισμούς αποσφαλμάτωσης (debugging) και ελέγχου. Με τον τρόπο αυτό, οι ομάδες ανάπτυξης μπορούν να εκτελούν εκτεταμένες καμπάνιες αξιολόγησης της ανθεκτικότητας των συστημάτων τους πάνω στην πραγματική υλοποίηση και στο φυσικό περιβάλλον δοκιμών τους, χωρίς την ανάγκη πρόσβασης σε εξειδικευμένες εγκαταστάσεις. Η προσέγγιση αυτή επιτρέπει τη συστηματική επαλήθευση μηχανισμών FDIR σε πολλαπλά στάδια του κύκλου ανάπτυξης, από τον έλεγχο επιμέρους υποσυστημάτων έως την τελική επικύρωση της λειτουργίας ολόκληρου του συστήματος.
Με αυτόν τον τρόπο, οι μηχανικοί εντοπίζουν έγκαιρα αδυναμίες και ευάλωτα σημεία της σχεδίασης, επαληθεύουν ότι οι μηχανισμοί προστασίας και ανάκαμψης λειτουργούν όπως προβλέπεται και μειώνουν σημαντικά τον κίνδυνο δαπανηρών ανασχεδιασμών σε προχωρημένα στάδια ανάπτυξης. Παράλληλα, το SK-RAFT λειτουργεί συμπληρωματικά προς τις φυσικές δοκιμές (ακτινοβολίας ή ηλεκτρομαγνητικής παρεμβολής), επιτρέποντας την καλύτερη προετοιμασία, βελτιστοποίηση και αποσφαλμάτωση των συστημάτων πριν από τη μετάβασή τους σε εξειδικευμένες εγκαταστάσεις. Έτσι, μειώνεται το κόστος και ο απαιτούμενος χρόνος δοκιμών, ενώ αυξάνεται η αποτελεσματικότητα των πειραματικών εκστρατειών.
Αξιοποίηση κεφαλαίων και στρατηγική ανάπτυξης
Η χρηματοδότηση θα μετασχηματίσει το SK-RAFT από μια τεχνολογία με ισχυρό ερευνητικό υπόβαθρο σε ένα πλήρως εμπορικό εργαλείο EDA. Τα κεφάλαια θα διατεθούν για:
Την επέκταση της υποστήριξης σε υπολογιστικές πλατφόρμες νέας γενιάς της AMD (συμπεριλαμβανομένης της οικογένειας AMD Versal).
Την υλοποίηση πιλοτικών έργων με πρώιμους πελάτες.
Την ανάπτυξη σχεδιάσεων αναφοράς (reference designs), τεχνικών επιδείξεων (demos) και εξειδικευμένου τεχνικού υλικού τεκμηρίωσης (application notes).
Οι δράσεις αυτές θα ενισχύσουν την αξιοποίηση του εργαλείου σε συστήματα βασισμένα σε FPGA, επεξεργαστές (CPUs) και επιταχυντές τεχνητής νοημοσύνης (AI accelerators), τα οποία χρησιμοποιούνται σε data centers, εφαρμογές edge computing, διαστημικά συστήματα και πλατφόρμες AI υψηλών επιδόσεων.
Αρχική αγορά-στόχος της SOLIDKOSMOS είναι οι αεροδιαστημικές εφαρμογές που βασίζονται σε FPGA και λειτουργούν σε περιβάλλοντα με ιδιαίτερα αυστηρές απαιτήσεις. Μακροπρόθεσμος στρατηγικός στόχος είναι η καθιέρωση του SK-RAFT ως διεθνώς αναγνωρισμένου εργαλείου EDA για την αξιολόγηση, επαλήθευση και ενίσχυση της αξιοπιστίας κρίσιμων υπολογιστικών συστημάτων στις αγορές της αεροδιαστημικής, της άμυνας, των data centers, της αυτοκινητοβιομηχανίας και της τεχνητής νοημοσύνης.
Δηλώσεις
Ο Δρ. Δημήτρης Αγιακάτσικας, Συνιδρυτής και CEO της SOLIDKOSMOS, δήλωσε:
«Καθώς τα σύγχρονα υπολογιστικά συστήματα αναλαμβάνουν ολοένα πιο κρίσιμες και αυτόνομες λειτουργίες, η αξιοπιστία τους μετατρέπεται σε στρατηγική απαίτηση. Από δορυφόρους και αμυντικά συστήματα έως κέντρα δεδομένων και εφαρμογές τεχνητής νοημοσύνης, η δυνατότητα πρόβλεψης, ανίχνευσης και διαχείρισης σφαλμάτων είναι καθοριστική για την ασφάλεια και την επιτυχία της αποστολής. Με το SK-RAFT δίνουμε στους μηχανικούς τη δυνατότητα να εισάγουν ελεγχόμενα σφάλματα σε πραγματικό υλικό, να αξιολογούν την ανθεκτικότητα των συστημάτων τους και να επαληθεύουν την αποτελεσματικότητα των μηχανισμών προστασίας πριν αυτά αναπτυχθούν στο πεδίο. Η επένδυση της Corallia Ventures μάς επιτρέπει να επιταχύνουμε τη μετάβαση μιας τεχνολογίας που γεννήθηκε μέσα από πολυετή έρευνα σε ένα διεθνώς ανταγωνιστικό εμπορικό προϊόν».
Ο Μιχάλης Ψαράκης, Καθηγητής του Πανεπιστημίου Πειραιώς, και Συνιδρυτής και CTO της SOLIDKOSMOS, δήλωσε:
«Η SOLIDKOSMOS γεννήθηκε μέσα από μια μακρόχρονη ερευνητική προσπάθεια στο Εργαστήριο Ενσωματωμένων Υπολογιστικών Συστημάτων του Πανεπιστημίου Πειραιώς, όπου εδώ και περισσότερα από 15 έτη αναπτύσσουμε τεχνολογίες αιχμής για την αξιοπιστία κρίσιμων υπολογιστικών συστημάτων. Η επένδυση της Corallia Ventures επιβεβαιώνει ότι η γνώση που παράγεται στα ελληνικά πανεπιστήμια μπορεί να μετασχηματιστεί σε καινοτόμες λύσεις με διεθνή απήχηση και πραγματική αξία για τη βιομηχανία. Για εμάς, η SOLIDKOSMOS αποτελεί και ένα όχημα μεταφοράς τεχνογνωσίας από την έρευνα στην αγορά, δημιουργώντας νέες προοπτικές για τους φοιτητές και τους ερευνητές μας».
Ο Καθηγητής Μιχαήλ Σφακιανάκης, Πρύτανης του Πανεπιστημίου Πειραιώς, δήλωσε:
«Η ίδρυση και η χρηματοδότηση της SOLIDKOSMOS, της πρώτης spin-off του Πανεπιστημίου Πειραιώς, αποτελεί ιστορικό ορόσημο για το Ίδρυμά μας. Αποδεικνύει έμπρακτα ότι η ακαδημαϊκή αριστεία και η πρωτογενής έρευνα που παράγεται στα εργαστήριά μας μπορούν να συνδεθούν επιτυχώς με την επιχειρηματικότητα και τη διεθνή αγορά υψηλής τεχνολογίας. Ως Πανεπιστήμιο, στηρίζουμε σταθερά τη δημιουργία καινοτόμων τεχνοβλαστών που ανοίγουν νέους δρόμους για τους ερευνητές μας, δημιουργούν θέσεις εργασίας υψηλής εξειδίκευσης στη χώρα μας και ενισχύουν τη θέση της Ελλάδας στον παγκόσμιο χάρτη της βαθιάς τεχνολογίας (deep-tech)».
Ο Dr. Jorge-A. Sanchez-P., Partner στο Corallia Ventures TT, δήλωσε:
«Η SOLIDKOSMOS αποτελεί ένα εξαιρετικό παράδειγμα του πώς η ελληνική ερευνητική αριστεία μπορεί να μετασχηματιστεί σε προϊόντα βαθιάς τεχνολογίας με παγκόσμια εμπορική προοπτική. Σε μια εποχή όπου η αξιοπιστία των υπολογιστικών συστημάτων καθίσταται κρίσιμος παράγοντας για το διάστημα, την άμυνα και την τεχνητή νοημοσύνη, η δυνατότητα έγκαιρης και ρεαλιστικής επαλήθευσης της ανθεκτικότητάς τους αποκτά ολοένα μεγαλύτερη αξία. Το SK-RAFT καλύπτει ένα ουσιαστικό τεχνολογικό κενό μεταξύ των παραδοσιακών προσομοιώσεων και των δαπανηρών φυσικών δοκιμών, επιτρέποντας την αξιολόγηση πάνω σε πραγματικό υλικό με μεγαλύτερη ταχύτητα, ακρίβεια και οικονομική αποδοτικότητα. Πιστεύουμε ότι η εταιρεία διαθέτει τα τεχνολογικά θεμέλια και τη διεθνή δυναμική για να εξελιχθεί σε σημαντικό παίκτη στον χώρο των τεχνολογιών αξιοπιστίας».
