To Space Software Group του Τμήματος Αεροδιαστημικής Επιστήμης και Τεχνολογίας του Εθνικού και Καποδιστριακού Πανεπιστημίου Αθηνών βασίζεται στην υπόθεση ότι η έρευνα αιχμής στην μηχανική λογισμικού είναι απολύτως απαραίτητη για την επόμενη γενιά αεροδιαστημικών εφαρμογών, οι οποίες είναι όλο και περισσότερο βασισμένες σε λογισμικό. Ταυτόχρονα, η έρευνα στη μηχανική λογισμικού μπορεί να επωφεληθεί από την έκθεση σε έναν τόσο σημαντικό τομέα δραστηριότητας όπως είναι η αεροδιαστημική, όπου κυριαρχούν αυστηρές απαιτήσεις και ανάγκες ορθότητας του λογισμικού.

Ως εκ τούτου, το Space Software Group ασχολείται με διάφορες πτυχές της μηχανικής αξιόπιστων συστημάτων λογισμικού που αφορούν το σχεδιασμό, τη μοντελοποίηση και την επαλήθευση τους. Ενεργά ερευνητικά ενδιαφέροντα περιλαμβάνουν εφαρμογές τυπικών μεθόδων, κατανεμημένα και edge συστήματα καθώς και αυτο-προσαρμοζόμενα συστήματα.

To Space Software Group λειτουργεί ίδιες private cloud compute υποδομές, και ηγείται του συστήματα λογισμικού του επίγειου τμήματος της αποστολής ERMIS, συμπεριλαμβανομένων compute pipelines και mission control systems. Για περισσότερα για την ομάδα μας, ερευνητικές και διδακτικές μας δραστηριότητες, επισκεφθείτε:

https://software.aerospace.uoa.gr