Ο Ιωσήφ Σηφάκης θεωρείται μια διάνοια της επιστήμης της πληροφορικής που θα επιφέρει αλλαγές στον ψηφιακό κόσμο. Σε πρόσφατο συνέδριο στη Θεσσαλονίκη τιμήθηκε με το μετάλλιο Leonardo da Vinci ενώ ήδη από το 2007, μαζί με τους συνεργάτες του Έντμουντ Κλάρκ και τον Έρνεστ Άλλεν Έμερσον, έχει τιμηθεί με το διεθνές βραβείο Turing για τις εργασίες τους στον έλεγχο μοντέλων (Model Checking), που αξιοποιείται πλέον από τις ΙΒΜ, Intel, Microsoft, Google και την Airbus! Εργάζεται για το Εθνικό Κέντρο Επιστημονικών Ερευνών της Γαλλίας, είναι διευθυντής έρευνας στο CNRS και ιδρυτής του εργαστηρίου Verimag στη Grenoble.
Ο Σήφης Σηφάκης είναι ο επιστήμονας από τον οποίο η διεθνής επιστημονική κοινότητα αναμένει την τελειοποίηση των Ενσωματωμένων Συστημάτων που θα επιτρέψουν «Το Διαδίκτυο Αντικειμένων», το «Νέο Ιντερνετ», ενδεχομένως και τη σύγκλιση νανοτεχνολογίας, πληροφορικής, γνωσιολογίας ηλεκτρονικής και μοριακής βιολογίας , «ώστε να πετύχουμε τη βελτίωση των επιδόσεων του ανθρώπου συνδυάζοντας τεχνητή και φυσική νοημοσύνη»!
Ο Έλληνας καθηγητής θεωρεί πως πρέπει να δοθεί μεγαλύτερση σημασία σε κρατικό και ιδιαίτερα σε Ευρωπαικό επίπεδο στις ψηφιακές επικοινωνίες και την λειτουργία του Internet. Τονίζει πως το Ίντερνετ είναι ζωτικής σημασίας για την ασφάλεια κάθε χώρας. “Νομίζω ότι η Ε.Ε., η οποία είναι εντελώς απούσα, θα έπρεπε να ενδιαφέρεται για αυτό το ζήτημα”. Η υποδομή ελέγχεται από Αμερικανούς. Αν στείλετε ένα μήνυμα σε κάποιον στην Κίνα, αυτό περνάει από την Αμερική». Επίσης, ο διακεκριμένος ερευνητής μιλά και για το κυρίαρχο οικονομικό μοντέλο επένδυσης των επιχειρήσεων στο Διαδίκτυο και τις αλλαγές που μπορεί να επέλθουν σε μία ενδεχόμενη μεταβολή του.
Ας δούμε την πορεία του Ιωσήφ Σηφάκη έως τώρα
Σχετικά με το Model Checking
«Η αρχική ιδέα ήταν να βρούμε έναν τρόπο που θα μας επιτρέπει να φτιάξουμε συστήματα ασφαλή, που δεν κάνουν λάθη όταν δουλεύουν. Συστήματα όχι για τον προσωπικό υπολογιστή αλλά για συσκευές διαφόρων ειδών, μεγάλες, όπως τα αεροπλάνα, ή μικρές, όπως τα κινητά τηλέφωνα ή οι αισθητήρες. Το ζητούμενο είναι να φτιάξουμε ασφαλή συστήματα, σε μια εμπειρική επιστήμη.
Εξ ου και το όνομα, model checking: δηλαδή μια μέθοδος επαλήθευσης που συνίστανται στην ανάπτυξη ενός μοντέλου στο οποίο μπορούμε να εξετάσουμε τις λειτουργικές προδιαγραφές (operational requirements) και να αποφασίσουμε αν το μοντέλο τις ικανοποιεί, ικανοποιεί τις ανάγκες μας.
Η κατάσταση των συστημάτων καθορίζει πως συμπεριφέρεται το σύστημα αμέσως μετά. Είναι η μνήμη, το παρελθόν του. Και μπορεί να έχει μεγάλο αριθμό καταστάσεων.
Ένα παράδειγμα: στον προσωπικό υπολογιστή, υπάρχει η πιθανότητα αν πατήσεις 5 τυχαία πλήκτρα και το ποντίκι μαζί, ο υπολογιστής να κολλήσει και να πρέπει να κάνεις επανέναρξη. Υπάρχουν πάρα πολλές τέτοιες καταστάσεις, που δεν ελέγχονται. Εμείς κατορθώσαμε, βρήκαμε μέθοδο για τον έλεγχο σε συστήματα μέτριας και μεσαίας πολυπλοκότητας. Η intel χρησιμοποιεί αυτή την τεχνολογία για τους επεξεργαστές της, σε κάθε επεξεργαστή χωριστά - στους πολλαπλούς είναι δύσκολος ο έλεγχος».
Βασικές εφαρμογές των Ενσωματωμένων Συστημάτων σήμερα :
«Οι λεγόμενες Ενσωματωμένες Τεχνολογίες χαρακτηρίζουν την εξέλιξη της πληροφορικής και αποτελούν το 98% των τσιπς, δηλαδή των Ολοκληρωμένων Συστημάτων. Εμείς βλέπουμε μόνο το 2% των τσιπς. Το 98% είναι αθέατα, καθοριστικά, όμως, για το πώς δουλεύει το κάθε αντικείμενο. Πολύπλοκα Ενσωματωμένα Συστήματα υπάρχουν κρυμμένα σε μηχανήματα, όπως αεροπλάνα, τρένα, οικιακές συσκευές, τηλέφωνα, αυτοκίνητα (ένα αυτοκίνητο μπορεί να έχει μέχρι και 80 υπολογιστές) αλλά και σε ιατρικές συσκευές (τα ρομπότ πραγματοποιούν πιο ασφαλείς επεμβάσεις)».
Η πρόκληση
«Ξέρετε πόσο μεγάλη θα είναι η απλοποίηση της ζωής μας αν χρησιμοποιηθούν και αλλού οι υπολογιστές; Όμως, ακόμη δεν μπορούμε να προσφέρουμε αρκετή ασφάλεια ή το κόστος είναι απαγορευτικό σε κάποιες περιπτώσεις. Ακόμη, όμως, υπάρχουν συστήματα που δεν ξέρουμε πως να τα φτιάξουμε.
Δεν ξέρουμε να κάνουμε συστήματα των συστημάτων (Systems of Systems). Για παράδειγμα, δεν ξέρουμε πως να βάλουμε τεχνολογία αεροπλάνων στα αυτοκίνητα. Σήμερα, τα αεροπλάνα πετούν by wire, δηλαδή μεταξύ πιλότου και ηλεκτρομηχανικών μερών υπάρχει ένας υπολογιστής… Εκείνος που τελικά αποφασίζει είναι ο υπολογιστής, αφού ο πιλότος δώσει τα σχετικά στοιχεία.
Θα ήταν σπουδαίο να περάσουμε από το fly-by-wire στο drive-by-wire, δηλαδή να εφαρμόσουμε κάτι τέτοιο και στο αυτοκίνητο. Θα μας προστάτευε από πολλά πράγματα, αλλά έχει απαγορευτικό κόστος λόγω του testing που απαιτείται. Κάποτε, όμως, θα το κάνουμε. Όμως χρειάζονται τεράστιες επενδύσεις, χρειάζονται αυτόματοι αυτοκινητόδρομοι, χρειάζονται πολλά».
Επόμενος στόχος
« Τα Ε.Σ. να βοηθήσουν στη σύγκλιση νανοτεχνολογίας, πληροφορικής, γνωσιολογίας ηλεκτρονικής και μοριακής βιολογίας, ώστε να πετύχουμε τη βελτίωση των επιδόσεων του ανθρώπου συνδυάζοντας τεχνητή και φυσική νοημοσύνη ».
« Όπως τα κράτη ασχολούνται με τη ανάπτυξη του οδικού συστήματος, έτσι θα έπρεπε να νοιάζονται για την υποδομή του Ίντερνετ σε εθνικό επίπεδο, καθώς είναι ζωτικής σημασίας για την ασφάλεια της χώρας ».
«Η κακή χρήση του διαδικτύου δεν πρέπει να θέτει υπό αμφισβήτηση τις ατομικές μας ελευθερίες, χρειάζεται επαγρύπνηση για την προστασία των προσωπικών μας δεδομένων».
«Πολλοί δεν καταλαβαίνουν ότι πίσω από την ελευθερία που έχουμε σήμερα υπάρχει ένα συγκεκριμένο επιχειρηματικό μοντέλο.
Αυτή η ελευθερία είναι δοτή, καθώς εξαρτάται από το οικονομικό καθεστώς της άυλης οικονομίας. Αυτό που πρέπει να αναλογιστεί ο κόσμος είναι ότι η δοτή ελευθερία δεν είναι κατοχυρωμένη, κάτι που πρέπει να γίνει ίσως μέσω κυβερνήσεων και οργανισμών. Σήμερα η δυνατότητα να επικοινωνούμε και να συναλλασσόμαστε εξαρτάται από την καλή θέληση γιγάντων -όλοι τους Αμερικανοί*- που ελέγχουν την υποδομή αλλά και τις υπηρεσίες».
kathimerini.gr
