pourquoi et comment le monde ... - college-de-france.fr · la numérisation de l'information...
TRANSCRIPT
![Page 1: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/1.jpg)
Pourquoi et comment le mondedevient numérique
Gérard Berry
Chaire d'innovation technologique Liliane Bettencourt
Collège de France
17 janvier 2008
1
![Page 2: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/2.jpg)
De grands bouleversements
Communication : Internet, tél. portable, tél. gratuitAudio-visuel : MP3, photo/vidéo numérique, RDS, TNT, TVHDCommerce : en ligneCartographie : cartes & photos interactivesTransports: GPS, pilotage, sécuritéIndustrie: gestion, outillage, CAO, travail à distanceSciences: modélisation et expérimentation numériqueMédecine: imagerie numérique, chirurgie robotique
Grande industrie qui irrigue toutes les autres
2
![Page 3: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/3.jpg)
Les quatre piliers du numérique
1. La numérisation de l'information
2. La prodigieuse machine à information
3. La science et la technologie de sa conception et de son usage
4. Un espace d'innovation (presque) sans frein
3
![Page 4: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/4.jpg)
Les grands jalons30-45 : pionniers (von Neumann, Turing, Eckert,...)55-75 : centres de calcul, scientifique, gestion75-80 : mini-ordinateurs, algorithmique, programmation
télécommunications80-95 : PC, informatique embarquée
explosion de l'industrie et des applications95-05 : Internet, téléphone portable
la naissance des grands réseaux05-15 : audiovisuel, informatique nomade, sans fil
sciences, médecine15- : informatique ubiquitaire
objets dans le réseau4
![Page 5: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/5.jpg)
Alerte aux pucerons !
5
• infestation massive par pucerons enfouis partout• qui peuvent communiquer entre eux• mais de plus en plus d'applications critiques
![Page 6: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/6.jpg)
Autrefois : dépendance information / support
Quel beau texte!Quelles belleséquations!
T
PT
P R
source Ressort Mécanique
creativecommons.org/licenses/by/2.0
6
![Page 7: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/7.jpg)
Maintenant : indépendance et convergence
0110011011110110010011101100
compactflash
T
PT
P R
Quel beau texte!Quelles belleséquations!
7
![Page 8: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/8.jpg)
8
0110011011110110010011101100
... sans abandon exagéré
compactflash
source Ressort Mécanique
creativecommons.org/licenses/by/2.0
![Page 9: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/9.jpg)
9
0110011011110110010011101100
... sans abandon exagéré
compactflash
Source Berger Lahr
![Page 10: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/10.jpg)
133
192
57
14427
-7322
10
![Page 11: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/11.jpg)
Transporter et transformer l'information
• Algorithmes génériquescopier à l'infini sans aucune modificationstocker, diffuser, comprimer, crypter, etc.
• Algorithmes spécifiquestextes: recherche, correction, traduction (?)sons, images: compression, améliorationforces: mesures, contrôle...
11
![Page 12: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/12.jpg)
Al Khuwārizmī~ 783 - 850
12
algorithmealgèbre
Source Jean Vuillemin
![Page 13: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/13.jpg)
La téléphonie numérique
analogique
numérique
sans fil13
![Page 14: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/14.jpg)
La photographie numérique
Source DxO Labs 14
![Page 15: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/15.jpg)
...une révolution, pas une substitution!
Source DxO Labs 15
![Page 16: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/16.jpg)
La cartographie numérique
16
![Page 17: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/17.jpg)
ABS
Tableau de bord
Contrôlemoteur
Radio
Ambiancelumineuse
Supension
Boîte de vitesses
Stop&Go
Airbags
Direction
Climatisation
Détecteurde sommeil
Radar
Surveillance électrique
Péage automatique
GPS
Contrôlemoteur
Coordination avec la route et les autres voitures17
![Page 18: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/18.jpg)
La machine à information
1. Le matérielcircuits, disques, réseaux, capteurs
2. Le logicielinfrastructure ou applicatif
3. L'interface homme-machinesouvent un point de faiblesse
4. Les bugsune malencontreuse spécificité !
18
Pour réaliser une logique fondamentalement invisible
![Page 19: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/19.jpg)
Les circuits
Source Intel
SoC = System on Chip
microprocesseurs de PC téléphones, DVD, TV, GPS
Source Intel 19
![Page 20: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/20.jpg)
La loi de Moore
10um6um
3um1.5um
1um 0.8um0.25um
0.18um90nm
65nm45nm
Taille du transistor
1$ / transistor
0, 000 001 $ / transistor
20
![Page 21: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/21.jpg)
Source Intel
Source Micron
Source AMAT
Source ASML
Source Photronics : réticule 21Source ASML
![Page 22: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/22.jpg)
Une porte de base (NAND)
Source Cadence Design Systems22
![Page 23: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/23.jpg)
Niveau logique 0/1
23
GO
RES
Addr
SEL
Data Write(…)
C:=Latency
K0
DSZ C
![Page 24: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/24.jpg)
Haut niveau : Esterel v7
Source Esterel Technologies
Texte + graphique, définition mathématique24
![Page 25: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/25.jpg)
La chaîne des niveaux d'abstraction
Architecture Blocs fonctionnels
Besoin$$
circuits logiques$$$$
masques
circuits
rejeté vendu
$$$$$$$$$
Objet léger, mais industrie lourde !25
![Page 26: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/26.jpg)
L' avenir des circuits
• La réduction de taille peut continuer– le problème actuel est la puissance dissipée
• Mais c'est l'économie qui pourrait flancher !– progression concommitante du coût des usines (> 2Md$)– et du coût de conception des puces (X*1000 hommes-an)– conçues à partir de composants hétérogènes
mais faites en une fois et pas réparables– et rentables seulement en très grand volume
Aussi complexe qu'un avion
26
![Page 27: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/27.jpg)
Le logiciel
Un circuit ne fait que des choses très simplesIl en fait des milliards par seconde, et sans erreur
Le logiciel : spécifier quoi faire, dans tous les détails
• Très long texte dans un langage très technique
• Circuits peu variés, logiciels très variés
• Circuits très rigides, logiciels très souples
• Mais de plus en plus gros (millions de lignes)
• Et pas de loi de Moore....
27
![Page 28: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/28.jpg)
50 60 70 80 90 00
28
Fortran
Algol
PL1
LISP
ISWIM
SimulaSmalltalk
BasicVisual Basic
CPL C
SchemeCaml O'Caml
Forth PostScriptsh
PascalModula
Ada
Perl Php
MLHaskell
C++
Eiffel
C#Java
CSP
Prolog Prolog 4
EsterelLustre Scade
Esterel v7Scade 6
![Page 29: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/29.jpg)
const bool SimpleSignal::CheckEmitterOk (const NetInfo& sourceNetInfo) const {const Module& module = GetModule();if (! IsClock()) {
return true;}// signal is a clock, no problem if no emitter so farOrGate& sigcurOrGate = sigcur_or_gate_set.GetGate(IncarnIndex());if (sigcurOrGate.GetPFirstFaninGateCell() == NULL) {
return true;} else {
// two emissions, reject// fetch current emitter statementif (!sourceNetInfo.IsStatementNetInfo()) {
StnInternalError("bad netinfo for statement gate");}const StatementNetInfo& statementNetInfo =
static_cast<const StatementNetInfo&>(sourceNetInfo);const Statement& statement = statementNetInfo.GetStatement();// fetch previous emitter statementconst Gate& prevSourceGate =
sigcurOrGate.GetPFirstFaninGateCell()->GetConnection().GetSourceGate();const NetInfo& prevSourceNetInfo = prevSourceGate.GetNetInfo();if (!prevSourceNetInfo.IsStatementNetInfo()) {
StnInternalError("bad netinfo for statement gate");}const StatementNetInfo& prevStatementNetInfo =
static_cast<const StatementNetInfo&>(prevSourceNetInfo);const Statement& prevStatement = prevStatementNetInfo.GetStatement();const char* errMess ="clock defined twice";StnErrorWithTwoPragmaLists(errMess,
prevStatement.GetPragmaList(),statement.GetPragmaList(),module);
GenerationError = true;return false;
}} 29
![Page 30: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/30.jpg)
const bool SimpleSignal::CheckEmitterOk (const NetInfo& sourceNetInfo) const {const Module& module = GetModule();if (! IsClock()) {
return true;}// signal is a clock, no problem if no emitter so farOrGate& sigcurOrGate = sigcur_or_gate_set.GetGate(IncarnIndex());if (sigcurOrGate.GetPFirstFaninGateCell() == NULL) {
return true;} else {
// two emissions, reject// fetch current emitter statementif (!sourceNetInfo.IsStatementNetInfo()) {
StnInternalError("bad netinfo for statement gate");}const StatementNetInfo& statementNetInfo =
static_cast<const StatementNetInfo&>(sourceNetInfo);const Statement& statement = statementNetInfo.GetStatement();// fetch previous emitter statementconst Gate& prevSourceGate =
sigcurOrGate.GetPFirstFaninGateCell()->GetConnection().GetSourceGate();const NetInfo& prevSourceNetInfo = prevSourceGate.GetNetInfo();if (!prevSourceNetInfo.IsStatementNetInfo()) {
StnInternalError("bad netinfo for statement gate");}const StatementNetInfo& prevStatementNetInfo =
static_cast<const StatementNetInfo&>(prevSourceNetInfo);const Statement& prevStatement = prevStatementNetInfo.GetStatement();const char* errMess ="clock defined twice";StnErrorWithTwoPragmaLists(errMess,
prevStatement.GetPragmaList(),statement.GetPragmaList(),module);
GenerationError = true;return false;
}} 30
![Page 31: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/31.jpg)
Scade 6 : avions, trains, voitures, etc.
31Source Esterel Technologies
![Page 32: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/32.jpg)
Le bug
• Comportement anormal du système
• Pas une défaillance de la machine, mais défaillance du concepteur, i.e., mauvais ordre
• Coût annuel global: 100 milliards de dollars (DoC)
A petits bugsgrandes conséquences!
32
![Page 33: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/33.jpg)
TDGGTDTDGDDTGDTGTTDGGTDTTGTDTGDTGT
TDGGTDTTGDDTGDTGT
33
![Page 34: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/34.jpg)
Question pour PDG
34
Sauriez vous faire marcher votre entreprisesi tous les employés faisaient exactementce qu'ils sont censés faire, à l'heure dite?
![Page 35: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/35.jpg)
Travaux pratiques• Plantages des ordinateurs, distributeurs bancaires, systèmes de réservation, sites Web, etc.
• Micro-bugs navigateurs Web => macro-attaques pirates
• Blocages de téléphones ou d'appareils photo
• Grattages de tête des conducteurs et garagistes
• Crash du téléphone interurbain américainune ligne mal placée sur 1 million
• Explosion d'Ariane 501, pertes de satellitesAriane : débordement arithmétique dans un calcul inutile
• Bug subtil dans la division flottante du Pentiumcoût : 470 millions de dollars pour Intel
• ... 35
![Page 36: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/36.jpg)
A la chasse aux bugs• Utiliser des techniques rigoureuses de génie logiciel
– documentation, revues de code, tests intensifs– certification externe (avionique)
• Rendre visuel ce qui est invisible– environnements de débogage– prototypes virtuels animés
• Utiliser des méthodes formelles– algorithmes validés mathématiquement– langages de programmation plus abstraits– compilateurs certifiés ou vérifiés formellement
Détecter les bugs avant l'exécution36
![Page 37: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/37.jpg)
La science informatique
• Théorie de l'information : coder et transporter efficacement
• Algorithmique : faire vite et bien
• Théorie de la programmation : écrire vite et juste
• Reliées : mathématiques discrètes,automatique & signal, analyse numérique
Bases anciennes: logique, calcul, et leurs relations
Euclide, Archimède, Brahmagupta, Khuwārizmī, FibonacciHilbert, Church, Gödel, Turing, Von Neumann,...
37
![Page 38: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/38.jpg)
L'algorithmique
texture éclairagefusion mise 3D
contours segmentationcorrections optiques
images
trajectoiresdéformationstomographie
surfaces volumesgéométrie
gestion de traficdiffusion
protocolescodageréseaux
grammairesautomatescroisement
tri, rechercheclassementmots, textes
éléments finismatrices prog. linéaire
premiers cryptage4 opérations
nombres
emploi du tempscirculationroutage
optimisation
38
![Page 39: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/39.jpg)
Les critères algorithmiques
• La machine: séquentielle, parallèle, distribuée?
• La correction
• Le temps de calcul
• La taille mémoire
• La consommation d' énergie
Des milliers de compromis pour des milliers de problèmesChoisir ? Analyse mathématique sophistiquée !
39
![Page 40: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/40.jpg)
Structures algorithmiquesbits, entiers, flottantsgraphes, matricesmots, images
objets
listes, arbres, tables, etc.tableaux, chaînagesdiagrammes de Voronoi
structures de données
séquence, bouclerécursionparallélisme synchroneparallélisme aynchrone
structures de contrôle
Principes : diviser pour régner, exploiter l'aléa, etc.40
![Page 41: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/41.jpg)
La théorie de la programmation• Comment mieux programmer ?
langages plus abstraits, sémantique formellelangage défensifs (assertions, contrats)
• Comment touver les bugs avant l'exécution?analyse statique des programmesvérification formelle des propriétés
• Exemple: pas de bug arithmétique sur l 'A380spécifications SCADE des commandes de volinterprétation abstraite
Utiliser des programmes pour calculer sur les programmes... sans se mordre la queue !
41
![Page 42: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/42.jpg)
Exemple : l'ascenseur
• Sûreté : l'ascenseur ne voyage jamais la porte ouverte
• Vivacité : l'ascenseur atteint tous les étages et y ouvre ses portes(plus dur)
42
![Page 43: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/43.jpg)
L'informatique et les autres sciencesLes mathématiques ont une réussite insolente en sciences
Eugene Wigner
Même chose pour l'informatique, pour les mêmes raisons !
• Publication scientifique : journaux numériques
• Calcul formel, mathématiques formelles
• Modélisation / simulation numérique
• Physique: instruments numériques ou virtuels
• Médecine : imagerie numériquechirurgie robotiséeprothèses intelligentes
• Biochimie : géométrie des interactionstransferts d'information 43
![Page 44: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/44.jpg)
Simulation d'un infarctus
Source INRIA
44
![Page 45: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/45.jpg)
Grandes questions
• Saurons nous contrôler les bugs, ou vivre avec ?
• Et inventer des principes de calcul moins brutaux ?
• Pourrons nous être en sécurité informatique ?
• Allons nous contrôler l'informatique ubiquitaireou bien tomber dans Big Brother ?
• Le sujet est-t-il pris à son importance réelle ?Dans l'industrie, la recherche, l'enseignement ?
45
![Page 46: Pourquoi et comment le monde ... - college-de-france.fr · La numérisation de l'information 2. La prodigieuse machine à information ... pas une substitution! Source DxO Labs 15](https://reader031.vdocument.in/reader031/viewer/2022022612/5b9b8dbb09d3f21b2f8d6fbe/html5/thumbnails/46.jpg)
• Le sujet est-t-il pris à son importance réelle ?
Dans l'industrie, la recherche, l'enseignement ?
46