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

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

https://software.aerospace.uoa.gr