Ο Ιωσήφ Σηφάκης, ο Έλληνας ερευνητής που βραβεύτηκε με τη σημαντικότερη διεθνή διάκριση στο χώρο της πληροφορικής, το βραβείο A.M. Turing, μιλάει στον ελληνικό κόμβο της CORDIS, για το ερευνητικό του έργο, αλλά και για τις εξελίξεις στον τομέα του γενικότερα: για τη διείσδυση της τεχνολογίας στην καθημερινή ζωή, τους κινδύνους αλλά και τα οφέλη που συνεπάγεται, για τη συμβολή της πληροφορικής στα θέματα που μας απασχολούν σήμερα, όπως η οικολογία και η εξοικονόμηση ενέργειας, και για τις εκπληκτικές μελλοντικές εφαρμογές της νανοτεχνολογίας και των ενσωματωμένων συστημάτων. Ακόμη, ο Ι. Σηφάκης σχολιάζει τη θέση της έρευνας και της τεχνολογίας στην Ελλάδα και προτείνει μέτρα για την καλύτερη αξιοποίηση των σημαντικών πλεονεκτημάτων της χώρας, όπως είναι το εξαιρετικό ανθρώπινο δυναμικό της.
Απόσπασμα της συνέντευξης:
"Τι σημαίνει για σας και για το ερευνητικό σας έργο η βράβευσή σας με το βραβείο Turing;
Είναι μια διεθνής αναγνώριση, η μεγαλύτερη στον τομέα μου, και γι’ αυτό βέβαια είναι κάτι σημαντικό για μένα. Η αναγνώριση αυτή έρχεται μετά πολλά χρόνια, γιατί με το βραβείο αυτό αναγνωρίζεται το έργο που πραγματοποίησα κατά τη δεκαετία του 1980. Ασχολήθηκα με τον τομέα του model checking γύρω στα 15-20 χρόνια. Η πρώτη σχετική δημοσίευση ανακοινώθηκε το 1982, αν και τα αποτελέσματα είχαν βγει 3-4 χρόνια νωρίτερα. Δούλευα παράλληλα με τους άλλους δύο συναδέλφους με τους οποίους μοιραστήκαμε τώρα το βραβείο Turing. Παρόλο που δεν συνεργαστήκαμε ερευνητικά, κινητοποιήσαμε μαζί τους συναδέλφους ώστε να δημιουργήσουμε μια κοινότητα για το model checking.
Ποιες είναι οι βασικές αρχές του Μodel Checking;
H πληροφορική είναι μια επιστήμη 60 μόνο ετών και βρίσκεται ακόμα στον Μεσαίωνα της εξέλιξής της. Δεν υπάρχει μέθοδος για το σχεδιασμό των συστημάτων, τα οποία σχεδιάζονται εμπειρικά εν πολλοίς. Μάλιστα, όταν κάνουμε μεγάλα συστήματα, τα ρίσκα που παίρνουμε είναι μεγάλα. Σύμφωνα με τις στατιστικές, σε κάθε 100 έργα για μεγάλα συστήματα, 40 αποτυγχάνουν, 30 έχουν μέτρια επιτυχία και μόνο 30 θεωρούνται επιτυχημένα.
Η ιδέα πίσω από τη δουλειά που κάναμε με τους συναδέλφους είναι ότι αντί να αναπτύσσουμε ένα σύστημα και να προσπαθούμε μέσα από έλεγχο να επιβεβαιώσουμε ότι λειτουργεί σωστά, να δημιουργούμε ένα εικονικό πρωτότυπο (virtual prototype), το οποίο λέμε μοντέλο, και το οποίο μπορούμε να ελέγξουμε. Η μέθοδος λοιπόν του model checking συνίσταται στον έλεγχο ενός μοντέλου το οποίο αναπαριστά τη λειτουργία του συστήματος, με ορισμένες λειτουργικές απαιτήσεις που έχουμε από αυτό. Η έρευνα αφορούσε την ανάπτυξη αλγορίθμων που συγκρίνουν το μοντέλο με τις λειτουργικές απαιτήσεις και αποφασίζουν εάν οι απαιτήσεις αυτές ικανοποιούνται ή όχι. Και μάλιστα το μοντέλο ελέγχεται κατά τρόπο εξαντλητικό, μπορούμε να περιτρέξουμε δηλαδή όλες τις δυνατές καταστάσεις του συστήματος.[...]".
Πηγή: ΕΚΤ - CORDIS Ελληνικός Κόμβος Πληροφόρησης για Έρευνα και Καινοτομία, 22.08.08
Για το πλήρες κείμενο της συνέντευξης μπορείτε να επιλέξετε την ενότητα "Σχετικοί σύνδεσμοι".