Chapitres
- Présentation01'23"
- Introduction02'39"
- Le développement de la microélectronique et des applications07'10"
- Le couple matériel/logiciel09'27"
- Le problème du bug08'14"
- Le langage de programmation06'37"
- La vérification de programmes11'42"
- Conclusion03'27"
- Questions21'06"
Notice
Le logiciel, objet de notre quotidien
- document 1 document 2 document 3
- niveau 1 niveau 2 niveau 3
Descriptif
Il y a à peine trente ans, le logiciel était l'apanage des systèmes de gestion ou de communication des grandes entreprises. La micro-informatique, les ordinateurs embarqués et les réseaux ont centuplé ses applications, révolutionnant la bureautique, le design industriel ou artistique, les transports, et maintenant les objets du quotidien, du téléphone au stimulateur cardiaque en passant par tout l'audiovisuel, les jeux, et bien sûr Internet. On assiste en fait à la mise en place d'un nouveau système nerveux logiciel, avec lequel nous sommes sans cesse en contact. Or, le logiciel reste un objet mystérieux pour la plupart des gens. Il est purement immatériel, ne se voit pas, ne pèse rien. Pourtant, il produit des tas d'ennuis allant de l'inconfort des interfaces homme-machine mal conçus aux problèmes de sécurité des réseaux en passant par des crashs catastrophiques de fusées ou de satellites. La qualité du logiciel devient un des points faibles de notre société. Pour les spécialistes, ce n'est pas étonnant. Le logiciel est un objet purement intellectuel d'une très grande complexité, qui ne se laisse pas appréhender pas des approches naïves. Un logiciel est formé de millions d'ordres élémentaires à une machine ultra-rapide et quasi-infaillible mais parfaitement stupide, le microprocesseur. De minuscules erreurs peuvent avoir de grandes conséquences et on ne sait pas encore se protéger. Nous essaierons de mieux faire comprendre la nature profonde de l'objet logiciel, et nous présenterons les approches scientifiques modernes qui permettront de construire des logiciels plus sûrs et d'en assurer la correction.
Thème
Documentation
Liens
Dans la même collection
-
Les programmes informatiques : applications techniques et exploitations commerciales
LopezMauricioL'objectif de l'exposé est d'illustrer le cheminement qui mène à l'exploitation commerciale d'une technologie "agent" à partir des résultats obtenus par un projet de recherche. La première partie est
-
Le traitement des images
FaugerasOlivierMon exposé est centré sur un aspect du traitement d'images, celui du traitement de l'information tridimensionnelle. Je prendrai comme point de départ les idées de David Marr dont l'influence a été
-
Cryptologie et sécurité informatique
SternJacquesDans cet exposé, on évoquera brièvement les étapes de l'histoire de la cryptologie. On expliquera notamment comment une spécialité, jadis confinée aux univers de la défense et de la diplomatie, est
-
Puces et biopuces
MorenoRolandLa puce est un carré en silicium (seul matériau avec lequel on soit arrivé à faire des semiconducteurs), plus petit que l’ongle du petit doigt, avec de très nombreuses petites pattes qui font penser à
-
Internet par satellite, protocoles et performances
DabbousWalidCet exposé traitera des protocoles Internet en général et de l'impact de l'insertion de liens satellites dans l'Internet sur les performances de ces protocoles. Dans un premier temps, je présenterai
-
Mémoire informatique et stockage
PépingJacquesL'information constitue maintenant un patrimoine vivant des entreprises, facteur essentiel de compétitivité. Cette information, en pleine explosion, n'est utile que dans la mesure où nous disposons de
-
L'informatique de demain : de Von Neumann aux superprocesseurs
AnceauFrançoisL'évolution du matériel informatique est certainement le phénomène technique qui a connu la progression la plus importante pendant ce demi-siècle. L'apparition de la microélectronique a permis, sur
-
Le nouvel ordre numérique
Cohen-TanugiLaurentLa conférence explicitera dans un premier temps les ressorts techniques, réglementaires et économiques de la " révolution numérique ". Elle analysera ensuite les caractéristiques principales de l
Sur le même thème
-
Projection methods for community detection in complex networks
LitvakNellyCommunity detection is one of most prominent tasks in the analysis of complex networks such as social networks, biological networks, and the world wide web. A community is loosely defined as a group
-
Lara Croft. doing fieldwork under surveillance
Dall'AgnolaJasminLara Croft. Doing Fieldwork Under Surveillance Intervention de Jasmin Dall'Agnola (The George Washington University), dans le cadre du Colloque coorganisé par Anders Albrechtslund, professeur en
-
Containing predictive tokens in the EU
CzarnockiJanContaining Predictive Tokens in the EU – Mapping the Laws Against Digital Surveillance, intervention de Jan Czarnocki (KU Leuven), dans le cadre du Colloque coorganisé par Anders Albrechtslund,
-
Ivan Murit - Processus de création d'images
MuritIvanJe vais présenter une manière décalée d'aborder les outils d'impression. Pour cela nous ne partirons pas de l'envie d'imprimer une image préexistante, mais d'avant cela : comment se crée une forme
-
Le Creativ’Lab, au cœur de la robotique et de l’intelligence artificielle (ASR N°18 - LORIA)
HénaffPatrickLefebvreSylvainLe LORIA, laboratoire phare de la Grande Région dans le domaine de l’informatique, propose de rendre la recherche plus ouverte, plus collaborative, plus ambitieuse… en un mot, plus créative, à travers
-
#CocoPySHS 2021/2022 - Séance 4 - Python en code et no-code pour la cartographie de réseaux
Anderson-GonzálezMayaGruson-DanielCélyaPour cette quatrième séance, Maya et Célya font un retour d'expérience de deux projets menés au sein du cabinet de conseil en innovation ouverte Inno3 sur la cartographie de réseaux. La mise en
-
Les algorithmes de Parcoursup
MathieuClaireL’objectif de la journée « Algorithmes d’aide à la décision publique » était de sensibiliser le grand public aux rôles des algorithmes d’aide à la décision publique utilisés par exemple pour l
-
Algorithmes d'aide à la décision publique / Ouverture
RéveillèreLaurentMaveyraud-TricoireSamuelBlancXavierBertrandYvesMainguenéMarcL’objectif de la journée « Algorithmes d’aide à la décision publique » était de sensibiliser le grand public aux rôles des algorithmes d’aide à la décision publique utilisés par exemple pour l
-
Quelques enjeux autour des algorithmes d'aide à la décision publique
TarissanFabienL’objectif de la journée « Algorithmes d’aide à la décision publique » était de sensibiliser le grand public aux rôles des algorithmes d’aide à la décision publique utilisés par exemple pour l
-
Un nouveau système de répartition des greffons cardiaques utilisant un algorithme
DorentRichardL’objectif de la journée « Algorithmes d’aide à la décision publique » était de sensibiliser le grand public aux rôles des algorithmes d’aide à la décision publique utilisés par exemple pour l
-
Règles, calcul et politique : investigation des choix de programmation inaperçus pour les aides au …
MerigouxDenisL’objectif de la journée « Algorithmes d’aide à la décision publique » était de sensibiliser le grand public aux rôles des algorithmes d’aide à la décision publique utilisés par exemple pour l
-
Algorithmes de décision publique : élaboration, évaluation et évolutions
MathieuClaireDorentRichardMerigouxDenisDauchetMaxKirchnerClaudeCattanJeanGimbertHugoL’objectif de la journée « Algorithmes d’aide à la décision publique » était de sensibiliser le grand public aux rôles des algorithmes d’aide à la décision publique utilisés par exemple pour l
