Page 29 - Kainotomia_Project_el_t65

?
ÂÓۈ̷و̤ÓÔ˘˜ ÂÚÈÛÛfiÙÂÚÔ˘˜ ·fi 100 ‹ Î·È 1.000 ˘ÔÏÔ-
ÁÈÛÙ¤˜, Î·È ·˜ ÌËÓ Í¤ÚÔ˘Ì ·ÎfiÌ· Ò˜ Ó· ÙÔ˘˜ ÚÔÁÚ·ÌÌ·Ù›-
ÛÔ˘ÌÂ. √fiÙ ‰Úԇ̠οو ·fi ÙËÓ ›ÂÛË Ù˘ Ù¯ÓÔÏÔÁ›·˜.
µÂ‚·›ˆ˜, ÔÈ ÌÂÁ¿Ï˜ ‚ÈÔÌ˯·Ó›Â˜ ¤¯Ô˘Ó ÂÚ¢ÓËÙÈο ÂÚÁ·ÛÙ‹-
ÚÈ· Ô˘ Û˘Ó·ÁˆÓ›˙ÔÓÙ·È Î·Ù¢ı›·Ó ÙËÓ ·Î·‰ËÌ·˚΋ ¤Ú¢ӷ.
¶ÔȘ ÚԂϤÂÙ ӷ Â›Ó·È ÔÈ Û˘Ó·Ú·ÛÙÈÎfiÙÂÚ˜ ÂÍÂÏ›ÍÂȘ
ÛÙÔÓ ÙÔ̤· Û·˜ ÁÈ· Ù· ÂfiÌÂÓ· ¯ÚfiÓÈ·;
£· ˘¿ÚÍÔ˘Ó Û›ÁÔ˘Ú· Ôχ ÛËÌ·ÓÙÈΤ˜
ÂÊ·ÚÌÔÁ¤˜ ÛÙȘ ÌÂÙ·ÊÔÚ¤˜. ™‡ÓÙÔÌ·, ı·
ÚÔÛ·ÚÌfiÛÔ˘Ì ÛÙ· ·˘ÙÔΛÓËÙ· ٠Ș
Ù¯ÓÔÏÔÁ›Â˜ Ô˘ ¤¯Ô˘Ì ÛÙ· ·ÂÚÔÏ¿Ó·,
fiˆ˜ ÙÔ fly by wire. ∆Ô fly by wire Ô˘
¯ÚËÛÈÌÔÔÈÂ›Ù·È ÛÙ· ·ÂÚÔÏ¿Ó· ÛËÌ·›ÓÂÈ
fiÙÈ ÌÂٷ͇ ÙÔ˘ ÈÏfiÙÔ˘ Î·È ÙˆÓ ËÏÂÎÙÚÔ-
Ì˯·ÓÈÎÒÓ ÌÂÚÒÓ ÙÔ˘ ·ÂÚÔÛοÊÔ˘˜
·ÚÂÌ‚¿ÏÏÂÙ·È ¤Ó·˜ ˘ÔÏÔÁÈÛÙ‹˜. ∂Ô-
̤ӈ˜, Ô ¯ÂÈÚÈÛÙ‹˜ ÈÏÔÙ¿ÚÂÈ ¤Ó· ÌÔÓÙ¤-
ÏÔ Î·È ÔÈ ÂÓÙÔϤ˜ ÙÔ˘ ÂÚÌËÓ‡ÔÓÙ·È ·fi
ÙÔÓ ˘ÔÏÔÁÈÛÙ‹ Ô˘, Ï·Ì‚¿ÓÔÓÙ·˜
˘fi„Ë Ù· ¯·Ú·ÎÙËÚÈÛÙÈο ÙÔ˘ ·ÂÚÔÛο-
ÊÔ˘˜, ÙÔ ÈÏÔÙ¿ÚÂÈ ·Ó¿ÏÔÁ·. ¶ÂÙ˘¯·›ÓÔ˘Ì ¤ÙÛÈ Ôχ ÌÂÁ·Ï‡-
ÙÂÚË ÔÈÎÔÓÔÌ›· Î·È ·ÛÊ¿ÏÂÈ·. ∞˘Ù‹ Ë È‰¤· ÏÔÈfiÓ ı· ·ÍÈÔÔÈË-
ı› Î·È ÛÙ· ·˘ÙÔΛÓËÙ·. ªÂٷ͇ ÙÔ˘ Ô‰ËÁÔ‡ Î·È ÙÔ˘ ·˘ÙÔÎÈÓ‹-
ÙÔ˘ ı· ˘¿Ú¯ÂÈ ¤Ó·˜ ˘ÔÏÔÁÈÛÙ‹˜ Ô ÔÔ›Ô˜, Û ÂÚ›ÙˆÛË ·Ù˘-
¯‹Ì·ÙÔ˜ ÁÈ· ·Ú¿‰ÂÈÁÌ·, ı· ·Ó·Ï·Ì‚¿ÓÂÈ ÙÔÓ ¤ÏÂÁ¯Ô.
∞ÎfiÌ·, ı· ˘¿ÚÍÔ˘Ó ÔÏϤ˜ ÂÊ·ÚÌÔÁ¤˜ ÛÙËÓ È·ÙÚÈ΋. ◊‰Ë
˘¿Ú¯Ô˘Ó ÚÔÌfiÙ Ô˘ οÓÔ˘Ó ÂÁ¯ÂÈÚ‹ÛÂȘ ·ÎÚȂ›·˜, .¯. ÛÙÔÓ
ÂÁΤʷÏÔ, ›Ù ÂÎÙÂÏÒÓÙ·˜ ÌfiÓ· ÙÔ˘˜ ÔÚÈṲ̂Ó˜ ÂÚÁ·Û›Â˜, ›ÙÂ
ÂϤÁ¯ÔÓÙ·˜ ÙÔ ¯¤ÚÈ ÙÔ˘ ¯ÂÈÚÔ˘ÚÁÔ‡. ∏ ÌÂÁ¿ÏË Â·Ó¿ÛÙ·ÛË
‚¤‚·È· ı· Á›ÓÂÈ fiÙ·Ó ¯ÚËÛÈÌÔÔÈ‹ÛÔ˘Ì ÙȘ
Ó·ÓÔÙ¯ÓÔÏÔÁ›Â˜ ÁÈ· Ó· ‚ÂÏÙÈÒÛÔ˘Ì ÙȘ ÂÈ-
‰fiÛÂȘ ÙÔ˘ ÂÁÎÂÊ¿ÏÔ˘. ◊‰Ë ¯ÚËÛÈÌÔÔÈÔ‡ÓÙ·È
ÔÚÈṲ̂ӷ ËÏÂÎÙÚÔÓÈο ÂÍ·ÚÙ‹Ì·Ù· ÛÙÔÓ ÂÁΤ-
Ê·ÏÔ, Û ÂÚÈÙÒÛÂȘ ·ÛıÂÓÒÓ Ì ¶¿ÚÎÈÓÛÔÓ
ÁÈ· ·Ú¿‰ÂÈÁÌ·, ÛÙÔ˘˜ ÔÔ›Ô˘˜ ÔÚÈṲ̂Ó˜
Û˘Ó¿„ÂȘ ¤¯Ô˘Ó Êı·Ú›. ŸÙ·Ó ‚Úԇ̠ÔȘ
Â›Ó·È ·˘Ù¤˜ ÔÈ Û˘Ó¿„ÂȘ ÛÙÔÓ ÂÁΤʷÏÔ, ÌÔ-
Úԇ̠ӷ ÙȘ ‰ÈÔÚıÒÛÔ˘Ì ‚¿˙ÔÓÙ·˜ ÔÚÈṲ̂ӷ
˘ÏÈο. ∂Λ Û˘Ó·ÓÙÈÔ‡ÓÙ·È Ë ·ÓıÚÒÈÓË Î·È Ë
Ù¯ÓËÙ‹ ÓÔËÌÔÛ‡ÓË. ∂Λ ÓÔÌ›˙ˆ fiÙÈ ı· Á›ÓÔ˘Ó
Ù· ÈÔ ı·̷ÙÈο ÂÈÙ‡ÁÌ·Ù·.
∆¤ÏÔ˜, ˘¿Ú¯ÂÈ Î·È ·˘Ùfi ÛÙÔ ÔÔ›Ô ‹‰Ë ·Ó·-
ʤÚıËη, ÙÔ ¢È·‰›ÎÙ˘Ô ÙˆÓ ·ÓÙÈÎÂÈ̤ӈÓ, Ë Û˘Ó¿ÓÙËÛË ÌÂٷ͇
¢È·‰ÈÎÙ‡Ô˘ Î·È ÂÓÛˆÌ·ÙˆÌ¤ÓˆÓ Û˘ÛÙËÌ¿ÙˆÓ.
™Â ŒÏÏËÓ· ÂÚ¢ÓËÙ‹ ÙÔ ‚Ú·‚Â›Ô ¶ÏËÚÔÊÔÚÈ΋˜
A.M. Turing
∆Ô ‚Ú·‚Â›Ô A.M. Tur ing Ô˘ ·ÔÓ¤ÌÂÈ Î¿ı ¯ÚfiÓÔ Ë
Association for Computing Machinery Û˘ÁηٷϤÁÂÙ·È ÛÙȘ
ÎÔÚ˘Ê·›Â˜ ‰ÈÂıÓÒ˜ ‰È·ÎÚ›ÛÂȘ ÛÙÔÓ ÙÔ̤· Ù˘ ¶ÏËÚÔÊÔÚÈ΋˜
Î·È ıˆÚÂ›Ù·È ·ÓÙ›ÛÙÔÈ¯Ô ÙÔ µÚ·‚›Ԣ ¡fiÌÂÏ ÛÙÔÓ ÙÔ̤· Ù˘
¶ÏËÚÔÊÔÚÈ΋˜. °È· ÙÔ ¤ÙÔ˜ 2007, ÙÔ ‚Ú·‚Â›Ô ·ÔÓÂÌ‹ıËΠÛÂ
ÙÚÂȘ ÂÚ¢ÓËÙ¤˜ Ô˘ ÂÚÁ¿ÛÙËÎ·Ó ¿Óˆ Û ¤Ó· ·fi Ù· ÛËÌ·ÓÙÈ-
ÎfiÙÂÚ· ÂÚÁ·Ï›· ÁÈ· ÙËÓ ÂÈÛÙ‹ÌË Î·È ÙË ‚ÈÔÌ˯·Ó›·, ÙÔ Model
Checking (∆¯ÓÔÏÔÁ›· ∂·Ï‹ı¢Û˘ ™˘ÛÙËÌ¿ÙˆÓ ¶ÏËÚÔÊÔÚÈ-
΋˜). √È ‚Ú·‚¢ı¤ÓÙ˜ ›ӷÈ: Ô ŒÏÏËÓ·˜ ÂÚ¢ÓËÙ‹˜ πˆÛ‹Ê
™ËÊ¿Î˘, Ô˘ ˙ÂÈ Î·È ÂÚÁ¿˙ÂÙ·È Â‰Ò Î·È ÔÏÏ¿ ¯ÚfiÓÈ· ÛÙË °·Ï-
Ï›· ÛÙÔ CNRS, Ô Edmund Clarke, ηıËÁËÙ‹˜ ÛÙÔ ¶·ÓÂÈÛÙ‹ÌÈÔ
Carnegie Mellon ÙˆÓ ∏¶∞, Î·È Ô Allen Emerson, ηıËÁËÙ‹˜ ÛÙÔ
¶·ÓÂÈÛÙ‹ÌÈÔ Austin ÙÔ˘ ∆¤Í·˜ ÙˆÓ ∏¶∞.
∏ ∆¯ÓÔÏÔÁ›· ∂·Ï‹ı¢Û˘ ™˘ÛÙËÌ¿ÙˆÓ ¶ÏËÚÔÊÔÚÈ΋˜ ‰›ÓÂÈ
ÙË ‰˘Ó·ÙfiÙËÙ· Û ۯ‰ȷÛÙ¤˜ Î·È Î·Ù·Û΢·ÛÙ¤˜ Ó· ·ÓÙÈÌÂÙˆ›-
˙Ô˘Ó ı¤Ì·Ù· ÂϤÁ¯Ô˘ ÔÈfiÙËÙ·˜ Ô˘ ·ÊÔÚÔ‡Ó ÙfiÛÔ ÙÔ
hardware fiÛÔ Î·È ÙÔ software. ∂ÈϤÔÓ, ÚÔÛʤÚÂÈ Ì·ıËÌ·ÙÈ-
΋ ‚‚·ÈfiÙËÙ· fiÙÈ Ù· ÂÚ›ÏÔη ˘ÔÏÔÁÈÛÙÈο Û˘ÛÙ‹Ì·Ù· ·ÓÙ·-
ÔÎÚ›ÓÔÓÙ·È ÛÙȘ ÚԉȷÁڷʤ˜ ÙÔ˘˜, ÂÓÒ ·Ú¿ÏÏËÏ· ·˘Í¿ÓÂÈ
Ù· Â›‰· ·ÛÊ¿ÏÂÈ·˜ ÔÏÏÒÓ ‰È·‰Â‰ÔÌ¤ÓˆÓ Î·È ÎÚ›ÛÈ̈Ó
ÂÊ·ÚÌÔÁÒÓ. ∏ ∆¯ÓÔÏÔÁ›· ∂·Ï‹ı¢Û˘ ‚Ú›ÛÎÂÈ ÔÏϤ˜
ÂÊ·ÚÌÔÁ¤˜ ÛÙË ‚ÈÔÌ˯·Ó›· Û ÎÚ›ÛÈÌ· Û˘ÛÙ‹Ì·Ù· ·˘ÙfiÌ·ÙÔ˘
ÂϤÁ¯Ô˘ Î·È ÎÚ˘ÙÔÁÚ·ÊÈÎÒÓ ·ÏÁÔÚ›ıÌˆÓ Ô˘ ÂÊ·ÚÌfi˙ÔÓÙ·È
Û ·ÂÚÔÏ¿Ó·, Û˘ÛÙ‹Ì·Ù· ÙËÏÂÈÎÔÈÓˆÓÈÒÓ, ÛÙÔ ¢È¿ÛÙËÌ·,
ÛÙËÓ ·˘ÙÔÎÈÓËÙÔ‚ÈÔÌ˯·Ó›· Î.Ï.
√ πˆÛ‹Ê ™ËÊ¿Î˘ ÁÂÓÓ‹ıËÎÂ Î·È ÌÂÁ¿ÏˆÛ ÛÙÔ ∏Ú¿ÎÏÂÈÔ.
™Ô‡‰·Û ÛÙÔ ∂ıÓÈÎfi ªÂÙÛfi‚ÈÔ ¶ÔÏ˘Ù¯ÓÂ›Ô ÛÙË ™¯ÔÏ‹ ∏ÏÂ-
ÎÙÚÔÏfiÁˆÓ ªË¯·ÓÈÎÒÓ Î·È ·Û¯ÔÏ‹ıËΠ̠ÙËÓ ¶ÏËÚÔÊÔÚÈ΋
Û ÌÂÙ·Ù˘¯È·Îfi Â›Â‰Ô ÛÙÔ ¶·ÓÂÈÛÙ‹ÌÈÔ Ù˘ °ÎÚÂÓfiÌÏ.
∂Λ, ›‰Ú˘Û ÙÔ ∂ÚÁ·ÛÙ‹ÚÈÔ Verimag, ¤Ó· ÚˆÙÔÔÚÈ·Îfi ÂÚ¢-
ÓËÙÈÎfi ΤÓÙÚÔ ÁÈ· Ù· ÂÓۈ̷و̤ӷ Û˘ÛÙ‹Ì·Ù·, ÙÔ˘ ÔÔ›Ô˘
‰ÈÂÙ¤ÏÂÛ ‰È¢ı˘ÓÙ‹˜ ·fi ÙÔ 1993 ¤ˆ˜ ÙÔ 2006. ™‹ÌÂÚ·, ›ӷÈ
¢È¢ı˘ÓÙ‹˜ ∂Ú¢ÓÒÓ ÛÙÔ CNRS (Centre Nat ional de la
Recherche Scientifique), ÂÓÒ ‰È¢ı‡ÓÂÈ Î·È ÙÔ πÓÛÙÈÙÔ‡ÙÔ
CARNOT ÛÙË Grenoble, ÁÈ· ÙÔ Â˘Ê˘¤˜ ÏÔÁÈÛÌÈÎfi Î·È Ù· Â˘Ê˘‹
Û˘ÛÙ‹Ì·Ù·.
Œ¯ÂÈ ‰ËÌÔÛȇÛÂÈ ÚˆÙÔÔÚȷΤ˜ ÂÈÛÙËÌÔÓÈΤ˜ ÂÚÁ·Û›Â˜ ÛÙ·
ÛËÌ·ÓÙÈÎfiÙÂÚ· ÂÈÛÙËÌÔÓÈο ÂÚÈÔ‰Èο ÙÔ˘ ¯ÒÚÔ˘ ÙÔ˘ Ô˘
·Û¯ÔÏÔ‡ÓÙ·È Û Ú·ÎÙÈÎfi Î·È ıˆÚËÙÈÎfi Â›Â‰Ô Ì ÙË ÌÔÓÙÂ-
ÏÔÔ›ËÛË ÙˆÓ Û˘ÛÙËÌ¿ÙˆÓ Î·È ÙËÓ Â·Ï‹ıÂ˘Û‹ ÙÔ˘˜. √È ÙÚ¤-
¯Ô˘Û˜ ÂÚ¢ÓËÙÈΤ˜ ÙÔ˘ ‰Ú·ÛÙËÚÈfiÙËÙ˜ ¿ÙÔÓÙ·È ÙˆÓ Û˘ÛÙËÌ¿-
ÙˆÓ Ú·ÁÌ·ÙÈÎÔ‡ ¯ÚfiÓÔ˘ ˘„ËÏ‹˜ ÈÛÙfiÙËÙ·˜ Ì ÂÊ·ÚÌÔÁ¤˜ ÛÙ·
·ÂÚÔÏ¿Ó·, ÙÔ ¢È¿ÛÙËÌ·, Ù· ·˘ÙÔΛÓËÙ· Î·È ÙȘ ÙËÏÂÈÎÔÈÓˆ-
ӛ˜. ∆·˘Ùfi¯ÚÔÓ·, ¤¯ÂÈ ÛËÌ·ÓÙÈ΋ ‰Ú¿ÛË ÛÙË ÌÂÙ·ÊÔÚ¿ ÙˆÓ
ÂÚ¢ÓËÙÈÎÒÓ ·ÔÙÂÏÂÛÌ¿ÙˆÓ ÛÙË ‚ÈÔÌ˯·Ó›·, Û˘ÓÂÚÁ·˙fiÌÂ-
ÓÔ˜ Ì ÂÙ·ÈÚ›˜ fiˆ˜: Ai rbus, Schneider Electr ic, ST
MicroElectronics Î·È France Telecom.
∆Ô ‚Ú·‚Â›Ô Turing, Ô˘ Û˘Óԉ‡ÂÙ·È ·fi ¯ÚËÌ·ÙÈÎfi ¤·ıÏÔ
250.000 ‰ÔÏÏ·Ú›ˆÓ (Ì ÙËÓ ÔÈÎÔÓÔÌÈ΋ ˘ÔÛÙ‹ÚÈÍË ÙˆÓ ÂÙ·È-
ÚÂÈÒÓ Intel Î·È Google), ‹Ú ÙÔ fiÓÔÌ¿ ÙÔ˘ ·fi ÙÔÓ µÚÂÙ·Ófi
Ì·ıËÌ·ÙÈÎfi Alan M. Turing, Ô ÔÔ›Ô˜ ÂÚÁ¿ÛÙËÎÂ ÁÈ· ÙËÓ ·Ô-
ÎÚ˘ÙÔÁÚ¿ÊËÛË ÙÔ˘ ÎÒ‰Èη Enigma Ô˘ ¯ÚËÛÈÌÔÔÈÔ‡Û·Ó ÔÈ
°ÂÚÌ·ÓÔ› ηٿ ÙÔÓ µ' ¶·ÁÎfiÛÌÈÔ ¶fiÏÂÌÔ Î·È ıˆÚÂ›Ù·È Ô ıÂÌÂ-
ÏȈً˜ Ù˘ ÂÈÛÙ‹Ì˘ Ù˘ ÏËÚÔÊÔÚÈ΋˜.
"H E˘ÚÒË Ú¤ÂÈ
Ó· ·ÔÎÙ‹ÛÂÈ
ÌÂÁ¿Ï· Ù¯ÓÔÏÔÁÈο
ΤÓÙÚ· ·ÚÈÛÙ›·˜"
∫∞ π¡√∆√ªπ ∞
∂ƒ∂À¡∞ ∫∞π ∆∂á√§√°π∞
2 7
µÚ·‚Â›Ô A.M. Turing
http://awards.acm.org/homepage.cfm?awd=140
¶ÚÔÛˆÈ΋ ÛÂÏ›‰· ÙÔ˘ πˆÛ‹Ê ™ËÊ¿ÎË
http://www-verimag.imag.fr/~sifakis/