ΜΕΓΑΛΗ ΕΥΘΥΝΗ ΝΑ ΕΙΣΑΙ ΑΠΟ ΤΟΥΤΟ ΤΟ ΝΗΣΙ

O Ηρακλειώτης επιστήμονας που θα αλλάξει τον (ψηφιακό) κόσμο!


Θεωρείται ως μια διάνοια της επιστήμης της πληροφορικής. Η καταγωγή του είναι από το Ηράκλειο της Κρήτης στο οποίο γεννήθηκε και μεγάλωσε.
Πρόκειται για το Σήφη Σηφάκη ο οποίος ζει στη Γαλλία και εργάζεται για το Εθνικό Κέντρο Επιστημονικών Ερευνών στο εργαστήριο VERIMAG κοντά στη Γκρενόμπλ, του οποίου είναι ιδρυτής.
Ο κ. Σηφάκης πρόσφατα έλαβε άλλη μια τιμητική διάκριση και τιμήθηκε με το μετάλλιο Leonardo da Vinci.
Είναι ο επιστήμονας από τον οποίο η διεθνής επιστημονική κοινότητα αναμένει την τελειοποίηση των Ενσωματωμένων Συστημάτων που θα επιτρέψουν «Το Διαδίκτυο Αντικειμένων», το «Νέο Ιντερνετ», ενδεχομένως και τη σύγκλιση νανοτεχνολογίας, πληροφορικής, γνωσιολογίας ηλεκτρονικής και μοριακής βιολογίας, «ώστε να πετύχουμε τη βελτίωση των επιδόσεων του ανθρώπου συνδυάζοντας τεχνητή και φυσική νοημοσύνη»!
Ηδη, από το 2007, μαζί με τους συνεργάτες του Έντμουντ Κλάρκ και τον Έρνεστ Άλλεν Έμερσον, έχει τιμηθεί με το διεθνές βραβείο Α.Μ.Turing.
Το βραβείο Turing θεωρείται το «Νόμπελ Πληροφορικής» και από το 1956 απονέμεται κάθε χρόνο σε πρόσωπα που είχαν μια ιδιαίτερη συμβολή στη εξέλιξη της επιστήμης.
Το βραβείο το πήρε για τις εργασίες τους στον έλεγχο μοντέλων (Model Checking), που αξιοποιείται πλέον από τις ΙΒΜ, Intel, Microsoft, Google και την Airbus!
Ονομάζεται Ιωσήφ (Σήφης) Σηφάκης. Εργάζεται για το Εθνικό Κέντρο Επιστημονικών Ερευνών της Γαλλίας, είναι διευθυντής έρευνας στο CNRS και ιδρυτής του εργαστηρίου Verimag στη Γκρενόμπλ.
Η αποστολή του δρος Σηφάκη είναι, μέσω του Model Checking, να διασφαλίσει την ασφαλή και απρόσκοπτη «συνεργασία» μεταξύ διαδικτύου και Ενσωματωμένων Συστημάτων.
Τι είναι το Model Checking 
«Η αρχική ιδέα ήταν να βρούμε έναν τρόπο που θα μας επιτρέπει να φτιάξουμε συστήματα ασφαλή, που δεν κάνουν λάθη όταν δουλεύουν.
Συστήματα όχι για τον προσωπικό υπολογιστή αλλά για συσκευές διαφόρων ειδών, μεγάλες, όπως τα αεροπλάνα, ή μικρές, όπως τα κινητά τηλέφωνα ή οι αισθητήρες.
Το ζητούμενο είναι να φτιάξουμε ασφαλή συστήματα, σε μια εμπειρική επιστήμη.
Η πρόκληση
«Ξέρετε πόσο μεγάλη θα είναι η απλοποίηση της ζωής μας αν χρησιμοποιηθούν και αλλού οι υπολογιστές; Όμως, ακόμη δεν μπορούμε να προσφέρουμε αρκετή ασφάλεια ή το κόστος είναι απαγορευτικό σε κάποιες περιπτώσεις. Ακόμη, όμως, υπάρχουν συστήματα που δεν ξέρουμε πως να τα φτιάξουμε.
Ας πούμε, θα θέλαμε ένα σύστημα ελέγχου της παγκόσμιας εναερίου κυκλοφορίας, εντελώς αυτόματο. Η χρήση του εναερίου χώρου είναι πρόβλημα που η λύση του θα σήμαινε οικονομία -αφού θα καταναλώνονταν λιγότερα καύσιμα-, λιγότερες καθυστερήσεις, μεγαλύτερη ασφάλεια. Θα θέλαμε ένα σύστημα ελέγχου εναέριας κυκλοφορίας εντελώς αυτόματο.
Η διαδρομή του αεροσκάφους σήμερα είναι στατικά προσδιορισμένη. Αυτό που χρειάζεται είναι ένα σύστημα με το οποίο να σηκώνεται το αεροπλάνο και να βρίσκει με τρόπο δυναμικό το δρόμο του. Οι Αμερικάνοι έχουν ξοδέψει τα τελευταία 10 χρόνια πάνω από 5 δισεκατομμύρια δολάρια σε αυτό, και τελικά δεν προχωρήσανε διότι δεν υπάρχουν εγγυήσεις ασφάλειας.
Δεν ξέρουμε, λοιπόν, πως να το κάνουμε αυτό, δεν ξέρουμε να κάνουμε συστήματα των συστημάτων (Systems of Systems). Δεν ξέρουμε πως να βάλουμε τεχνολογία αεροπλάνων στα αυτοκίνητα. Σήμερα, τα αεροπλάνα πετούν by wire, δηλαδή μεταξύ πιλότου και ηλεκτρομηχανικών μερών υπάρχει ένας υπολογιστής. Αυτό πρώτη φορά έγινε με τα Airbus 320. Εκείνος που τελικά αποφασίζει είναι ο υπολογιστής, αφού ο πιλότος δώσει τα σχετικά στοιχεία.
Θα ήταν σπουδαίο να περάσουμε από το fly-by-wire στο drive-by-wire, δηλαδή να εφαρμόσουμε κάτι τέτοιο και στο αυτοκίνητο. Θα μας προστάτευε από πολλά πράγματα, αλλά έχει απαγορευτικό κόστος λόγω του testing που απαιτείται. Κάποτε, όμως, θα το κάνουμε. Όμως χρειάζονται τεράστιες επενδύσεις, χρειάζονται αυτόματοι αυτοκινητόδρομοι, χρειάζονται πολλά».
Σε 10 χρόνια αναμένουμε: 
«Το Διαδίκτυο Αντικειμένων. Αντί να έχουμε πρόσβαση μόνο σε πληροφορία multimedia θα έχουμε πρόσβαση σε αντικείμενα με μεγάλες επιπτώσεις στον τρόπο με τον οποίο θα οργανώνουμε την εργασία.
Με ένα κλικ θα βλέπουμε και μηχανήματα που υπάρχουν στο σπίτι π.χ. κουζίνα, ψυγείο, τηλεόραση και θα ελέγχουμε τη λειτουργία τους. Θα γίνει μια ολοκλήρωση των συσκευών, των μηχανημάτων, θα μπορούμε, μέσα από το τηλέφωνό μας να συνδεθούμε με την τράπεζά μας κατευθείαν, να κλείνουμε λογαριασμούς, να έχουμε πρόσβαση στο ιατρικό μας βιβλιάριο (!), δηλαδή σε πράγματα που δεν μπορούμε σήμερα επειδή το τηλέφωνο δεν πληροί όρους ασφαλείας».
Πηγή: flashnews.gr
Previous
Next Post »
http://comgr.net http://laptop-service.net http://service-ypologiston.com http://minoas.info http://web-hellas.gr http://wpxproud.net http://grcom.net http://wdm.gr http://gr24.info http://sitewards.eu Ανταλλακτικά online Μεταχειρισμένα Ανταλλακτικά Αυτοκινήτων Μεταχειρισμένα Ανταλλακτικά Αυτοκινήτων Παπαδάκης ΑΜΒΡΟΣΙΟΥ ΦΡΑΝΤΖΗ 67, Ν.ΚΟΣΜΟΣ ΤΗΛ 210 9012444 - 210 9239148 - 210 9238158 Μεταχειρισμένα Ανταλλακτικά Αυτοκινήτων Παπαδάκης ΑΜΒΡΟΣΙΟΥ ΦΡΑΝΤΖΗ 67, Ν.ΚΟΣΜΟΣ ΤΗΛ 2117700171 - 2117701241 Μεταχειρισμένα Ανταλλακτικά Αυτοκινήτων ΣΥΝΕΡΓΕΙΟ ΙΑΠΩΝΙΚΩΝ ΑΥΤΟΚΙΝΗΤΩΝ ,SERVICE ΙΑΠΩΝΙΚΩΝ ΑΥΤΟΚΙΝΗΤΩΝ, ΑΝΤΑΛΛΑΚΤΙΚΑ ΙΑΠΩΝΙΚΩΝ ΑΥΤΟΚΙΝΗΤΩΝ Subaru service Λαουταρης SERVICE ΙΑΠΩΝΙΚΩΝ ΑΥΤΟΚΙΝΗΤΩΝ, ΑΝΤΑΛΛΑΚΤΙΚΑ ΙΑΠΩΝΙΚΩΝ ΑΥΤΟΚΙΝΗΤΩΝ Subaru service Λαουταρης | JAPAN SERVICE ανταλακτικα ΛΑΟΥΤΑΡΗΣ Service ιαπωνικων αυτοκινητων ΣΥΝΕΡΓΕΙΟ ΙΑΠΩΝΙΚΩΝ ΑΥΤΟΚΙΝΗΤΩΝ ,SERVICE ΙΑΠΩΝΙΚΩΝ ΑΥΤΟΚΙΝΗΤΩΝ, ΑΝΤΑΛΛΑΚΤΙΚΑ ΙΑΠΩΝΙΚΩΝ ΑΥΤΟΚΙΝΗΤΩΝ | Subaru service Λαουταρης Make Up ΝΥΦΗΣ ΝΥΦΙΚΟ Make Up ΝΥΦΙΚΟ ΜΑΚΙΓΙΑΖ ΜΑΚΙΓΙΑΖ ΝΥΦΗΣ ΜΑΚΙΓΙΑΖ ΓΑΜΟΥ http://pcuser.gr http://pcuser-help.eu http://psagmenos.info http://echology.gr http://2like.eu http://proionta-tis-fisis.info http://newsgr.net http://kritikos.eu ΚΡΗΤΙΚΟΣ Περίεργα και Παράξενα - Παράξενα,Περίεργα,Μεταφυσικό,Ανεξήγητα Φαινόμενα,ΜυστήριαΠερίεργα και Παράξενα | Παράξενα,Περίεργα,Μεταφυσικό,Ανεξήγητα Φαινόμενα,Μυστήρια Φτιάχνω μόνος μου Βάπτιση - Γάμος Προσκλητήρια - Μπομπονιέρες - Διακοσμήσεις Γάμου - Βάπτισης Βάπτιση - Γάμος Προσκλητήρια - Μπομπονιέρες - Διακοσμήσεις Γάμου - Βάπτισης Βάπτιση - Γάμος Προσκλητήρια - Μπομπονιέρες - Διακοσμήσεις Γάμου - Βάπτισης Βάπτιση - Γάμος Προσκλητήρια - Μπομπονιέρες - Διακοσμήσεις Γάμου - Βάπτισης Βάπτιση - Γάμος Προσκλητήρια - Μπομπονιέρες - Διακοσμήσεις Γάμου - Βάπτισης Βάπτιση ΚΗΦΙΣΙΑ - Γάμος ΚΗΦΙΣΙΑ Προσκλητήρια - Μπομπονιέρες - Διακοσμήσεις Γάμου - Βάπτισης ΚΗΦΙΣΙΑ Γάμος ΚΗΦΙΣΙΑ Προσκλητήρια - Μπομπονιέρες - Διακοσμήσεις Γάμου - Βάπτισης ΚΗΦΙΣΙΑ Βάπτιση ΜΕΝΙΔΙ - Γάμος ΜΕΝΙΔΙ Προσκλητήρια - Μπομπονιέρες - Διακοσμήσεις Γάμου - Βάπτισης ΜΕΝΙΔΙ Γάμος ΜΕΝΙΔΙ Προσκλητήρια - Μπομπονιέρες - Διακοσμήσεις Γάμου - Βάπτισης ΜΕΝΙΔΙ Βάπτιση - Γάμος Προσκλητήρια - Μπομπονιέρες - Διακοσμήσεις Γάμου - Βάπτισης Βάπτιση - Γάμος Προσκλητήρια - Μπομπονιέρες - Διακοσμήσεις Γάμου - Βάπτισης Βάπτιση - Γάμος Προσκλητήρια - Μπομπονιέρες - Διακοσμήσεις Γάμου - Βάπτισης Βάπτιση - Γάμος Προσκλητήρια - Μπομπονιέρες - Διακοσμήσεις Γάμου - Βάπτισης Βάπτιση - Γάμος Προσκλητήρια - Μπομπονιέρες - Διακοσμήσεις Γάμου - Βάπτισης Βάπτιση ΚΗΦΙΣΙΑ - Γάμος ΚΗΦΙΣΙΑ Προσκλητήρια - Μπομπονιέρες - Διακοσμήσεις Γάμου - Βάπτισης ΚΗΦΙΣΙΑ Γάμος ΚΗΦΙΣΙΑ Προσκλητήρια - Μπομπονιέρες - Διακοσμήσεις Γάμου - Βάπτισης ΚΗΦΙΣΙΑ Βάπτιση ΜΕΝΙΔΙ - Γάμος ΜΕΝΙΔΙ Προσκλητήρια - Μπομπονιέρες - Διακοσμήσεις Γάμου - Βάπτισης ΜΕΝΙΔΙ Γάμος ΜΕΝΙΔΙ Προσκλητήρια - Μπομπονιέρες - Διακοσμήσεις Γάμου - Βάπτισης ΜΕΝΙΔΙ ΜΕΤΑΚΟΜΙΣΕΙΣ ΑΘΗΝΑ ΜΕΤΑΚΟΜΙΣΗ ΤΙΜΕΣ ΜΕΤΑΚΟΜΙΣΕΙΣ ΠΡΟΣΦΟΡΕΣ | μετακομίσεις-μεταφορές-ανυψωσείς-metakomiseis-metafores-anypsoseis ΜΕΤΑΚΟΜΙΣΕΙΣ ΑΘΗΝΑ ΜΕΤΑΚΟΜΙΣΗ ΚΟΣΤΟΣ ΜΕΤΑΚΟΜΙΣΕΙΣ ΤΙΜΕΣ ΠΡΟΣΦΟΡΕΣ | μετακομίσεις-μεταφορές-metakomiseis-metafores ΜΕΤΑΚΟΜΙΣΕΙΣ ΑΘΗΝΑ ΜΕΤΑΚΟΜΙΣΗ ΚΟΣΤΟΣ ΜΕΤΑΚΟΜΙΣΕΙΣ ΤΙΜΕΣ ΠΡΟΣΦΟΡΕΣ | μετακομίσεις-μεταφορές-metakomiseis-metafores ΜΕΤΑΚΟΜΙΣΕΙΣ ΑΘΗΝΑ ΜΕΤΑΚΟΜΙΣΗ ΚΟΣΤΟΣ ΜΕΤΑΚΟΜΙΣΕΙΣ ΤΙΜΕΣ ΠΡΟΣΦΟΡΕΣ | μετακομίσεις-μεταφορές-metakomiseis-metafores ΜΕΤΑΚΟΜΙΣΕΙΣ ΑΘΗΝΑ ΜΕΤΑΚΟΜΙΣΗ ΚΟΣΤΟΣ ΜΕΤΑΚΟΜΙΣΕΙΣ ΤΙΜΕΣ ΠΡΟΣΦΟΡΕΣ | μετακομίσεις-μεταφορές-metakomiseis-metafores ΜΕΤΑΚΟΜΙΣΕΙΣ ΑΘΗΝΑ ΜΕΤΑΚΟΜΙΣΗ ΚΟΣΤΟΣ ΜΕΤΑΚΟΜΙΣΕΙΣ ΤΙΜΕΣ ΠΡΟΣΦΟΡΕΣ | μετακομίσεις-μεταφορές-metakomiseis-metafores ΜΕΤΑΚΟΜΙΣΕΙΣ ΑΘΗΝΑ ΜΕΤΑΚΟΜΙΣΗ ΚΟΣΤΟΣ ΜΕΤΑΚΟΜΙΣΕΙΣ ΤΙΜΕΣ ΠΡΟΣΦΟΡΕΣ | μετακομίσεις-μεταφορές-metakomiseis-metafores ΜΕΤΑΚΟΜΙΣΕΙΣ ΑΘΗΝΑ ΜΕΤΑΚΟΜΙΣΗ ΚΟΣΤΟΣ ΜΕΤΑΚΟΜΙΣΕΙΣ ΤΙΜΕΣ ΠΡΟΣΦΟΡΕΣ | μετακομίσεις-μεταφορές-metakomiseis-metafores ΜΕΤΑΚΟΜΙΣΕΙΣ ΠΡΟΣΦΟΡΕΣ ΑΝΥΨΩΣΕΙΣ ΚΟΥΜΑΡΗΣ ΜΕΤΑΚΟΜΙΣΕΙΣ ΜΕΤΑΦΟΡΕΣ ΑΝΥΨΩΣΕΙΣ ΜΕΤΑΦΟΡΙΚΗ ΑΝΥΨΩΤΙΚΗ ΚΟΥΜΑΡΗΣ ΜΕΤΑΚΟΜΙΣΕΙΣ ΜΕΤΑΦΟΡΕΣ ΑΝΥΨΩΣΕΙΣ ΜΕΤΑΦΟΡΙΚΗ ΑΝΥΨΩΤΙΚΗ ΚΟΥΜΑΡΗΣ ΜΕΤΑΚΟΜΙΣΕΙΣ ΜΕΤΑΦΟΡΕΣ ΑΝΥΨΩΣΕΙΣ ΜΕΤΑΦΟΡΙΚΗ ΑΝΥΨΩΤΙΚΗ ΚΟΥΜΑΡΗΣ ΜΕΤΑΚΟΜΙΣΕΙΣ ΜΕΤΑΦΟΡΕΣ ΚΟΥΜΑΡΗΣ ΜΕΤΑΚΟΜΙΣΕΙΣ ΠΡΟΣΦΟΡΕΣ ΚΟΥΜΑΡΗΣ ΜΕΤΑΦΟΡΙΚΗ ΑΝΥΨΩΤΙΚΗ ΜΕΤΑΦΟΡΙΚΗ ΑΝΥΨΩΤΙΚΗ ΜΕΤΑΦΟΡΙΚΗ ΑΝΥΨΩΤΙΚΗ ΜΕΤΑΦΟΡΙΚΗ ΑΝΥΨΩΤΙΚΗ ΜΕΤΑΦΟΡΙΚΗ ΑΝΥΨΩΤΙΚΗ ΜΕΤΑΦΟΡΙΚΗ ΑΝΥΨΩΤΙΚΗ ΑΠΟΛΥΜΑΝΣΕΙΣ ΑΠΟΛΥΜΑΝΣΕΙΣ ΑΠΕΝΤΟΜΩΣΕΙΣ ΑΠΕΝΤΟΜΩΣΕΙΣ ΑΠΟΛΥΜΑΝΣΕΙΣ ΟΙΚΟΛΟΓΙΚΕΣ ΑΠΟΛΥΜΑΝΣΕΙΣ ΑΘΗΝΑ ΑΠΟΛΥΜΑΝΣΕΙΣ ΑΠΕΝΤΟΜΩΣΕΙΣ ΑΘΗΝΑ ΑΠΟΛΥΜΑΝΣΕΙΣ ΑΠΟΛΥΜΑΝΣΕΙΣ ΟΙΚΟΛΟΓΙΚΕΣ ΑΠΟΛΥΜΑΝΣΕΙΣ ΑΘΗΝΑ ΑΠΟΛΥΜΑΝΣΕΙΣ ΑΠΟΛΥΜΑΝΣΕΙΣ ΑΠΕΝΤΟΜΩΣΕΙΣ ΑΠΕΝΤΟΜΩΣΕΙΣ ΑΠΟΛΥΜΑΝΣΕΙΣ ΟΙΚΟΛΟΓΙΚΕΣ ΑΠΟΛΥΜΑΝΣΕΙΣ ΑΘΗΝΑ ΑΠΟΛΥΜΑΝΣΕΙΣ ΑΠΕΝΤΟΜΩΣΕΙΣ ΑΘΗΝΑ ΑΠΟΛΥΜΑΝΣΕΙΣ ΑΠΟΛΥΜΑΝΣΕΙΣ ΟΙΚΟΛΟΓΙΚΕΣ ΑΠΟΛΥΜΑΝΣΕΙΣ ΑΘΗΝΑ