PROGRAMMATION
Carte mentale
Élargissez votre recherche dans Universalis
Méthodes formelles
Les méthodes formelles sont des techniques informatiques d'une grande rigueur permettant, à l'aide de langages spécialisés et de règles logiques, de s'assurer (idéalement) de l'absence de tout défaut de programmes informatiques – ce qui est crucial en particulier lorsque ceux-ci mettent en jeu des vies humaines –, de logiciels ou de démonstrations mathématiques.
Besoins et enjeux
En quelques décennies, la miniaturisation des processeurs a permis leur introduction dans des équipements de toutes tailles et dédiés à toutes sortes de tâches, qu'il s'agisse d'électroménager, de centrales nucléaires, d'appareils médicaux, de cartes à puce, d'automates bancaires, de systèmes de télécommunications, d'automobiles ou d'avions de ligne. Tous ces équipements sont donc pilotés ou contrôlés par des programmes logiciels, et cela change complètement la donne quant aux dispositions à prendre pour éviter les défaillances. Pour mettre au point la partie analogique de ces systèmes, les moyens mathématiques à mettre en œuvre relèvent de l'analyse, plus précisément du calcul différentiel. Sommairement, on a affaire à des fonctions continues, produisant en sortie des effets voisins lorsque les déviations en entrée sont petites. Les systèmes discrets, et tout particulièrement les programmes, sont en revanche fondamentalement instables. Au niveau des portes logiques ou des instructions machine, le moindre changement de bit a potentiellement des effets arbitrairement grands. Dans un programme exprimé dans un langage de haut niveau, une modification minime dans une valeur, une expression ou une instruction conduit tout aussi facilement à d'énormes différences de comportement. Observons en passant l'importance de cette caractéristique du logiciel, sa flexibilité : par comparaison avec un système matériel, il est très facile d'intervenir sur un programme pour le corriger, en changer les fonctionnalités, mais aussi d'y introduire des erreurs (y compris en voulant le corriger).
Abstraitement, l'exécution d'un programme reste un enchaînement de [...]
1
2
3
4
5
…
pour nos abonnés,
l’article se compose de 12 pages
Écrit par :
- Jean-François MONIN : professeur des Universités, professeur à l'université de Grenoble-I-Joseph-Fourier
Classification
Autres références
« PROGRAMMATION » est également traité dans :
BREVET DU PREMIER ROBOT INDUSTRIEL
Un inventeur indépendant, George C. De Vol, développe et brevette aux États-Unis, en 1954, un système d'enregistrement magnétique capable de commander les opérations d'une machine. Pour le vendre, il crée, avec l'ingénieur Joseph F. Engelberger, la première entreprise de robotique, Unimation Inc. Le premier « Unimate » est vendu en 1961 à General Motors. Puis, d'autres techniciens perfectionnent l […] Lire la suite
COBOL (common business oriented language)
Langage de programmation de haut niveau spécialement conçu pour des applications commerciales et des applications de gestion. Cobol autorise le traitement des gros fichiers sur supports séquentiels ou sélectifs à l'aide d'un vocabulaire et d'une syntaxe censés rappeler l'anglais courant. Cobol fut développé en 1959 au sein d'un comité de la Codasyl (Conference on data systems language) par un effo […] Lire la suite
FORTRAN (FORmula TRANslation)
Historiquement, Fortran peut être décrit comme l'un des premiers langages de programmation de haut niveau ayant permis d'écrire de manière complète et détaillée des procédures de calcul ou des algorithmes complexes sans faire appel au langage d'assemblage. Sa syntaxe proche de celle du langage mathématique et sa simplicité font de lui un langage particulièrement bien adapté au traitement des prob […] Lire la suite
ITÉRATION, mathématique
Itérer signifie recommencer, faire à nouveau. Construire les nombres entiers peut être vu comme l'opération consistant à partir de zéro à itérer indéfiniment l'ajout d'une unité. Plus généralement, en mathématiques, lorsqu'une fonction ou opération est disponible, il est fréquent d'en envisager l'itération, celle-ci conduisant soit à de nouvelles fonctions ou opérations, soit à des structures ou p […] Lire la suite
KAHN GILLES (1946-2006)
Le Français Gilles Kahn a marqué le développement de l’informatique à la fois par ses travaux de recherche sur la sémantique des langages de programmation et par l’influence et le rayonnement de sa vision de l’informatique. […] Lire la suite
LANGAGE FORTRAN
En informatique, les techniques de programmation ont évolué vers une plus grande facilité d'emploi par des utilisateurs de moins en moins avertis. Les algorithmes en langage-machine, code binaire adapté à l'architecture spécifique de chaque ordinateur, favorisaient la rapidité d'exécution et occupaient peu de mémoire. Toutefois, leur écriture comportait de grands risques d'erreurs et n'était acces […] Lire la suite
LOGICIELS
Dans le chapitre « Place des logiciels dans la société » : […] Le métier de programmeur, c'est-à-dire celui des ingénieurs qui conçoivent et valident les programmes, comporte plusieurs défis. Tout programme est d'abord une œuvre d'imagination qui se forme dans la tête de son concepteur ou dans celles d'une toute petite équipe de concepteurs, quand bien même il faudra, lors de son développement, des équipes qui peuvent se chiffrer par centaines de programmeu […] Lire la suite
MICROÉLECTRONIQUE
Dans le chapitre « Microélectronique et performance des ordinateurs » : […] D'après les lois d'échelle, la performance des composants croît comme a 3 et le nombre d'opérations possibles logiques par puce augmente entre a et a 3 , suivant l'évolution du standard de la tension logique (cf. 4. Les limites physiques aux circuits intégrés). Comment varie alors la performance des ordinateurs ? La performance « théorique » d'un ordinateur (fig. 13) se décrit à l'aide de plusi […] Lire la suite
MILNER ROBIN (1934-2010)
Le Britannique Robin Milner a été l'un des pionniers de la science informatique. Il avait reçu en 1991 le prix Turing, l'une des plus prestigieuses récompenses en informatique, pour ses contributions majeures aux fondements de ce domaine. Né le 13 janvier 1934 à Yealmpton, dans le Devon et issu d'un milieu modeste, Arthur John Robin Gorell Milner étudie à l'Eton College, puis obtient une bourse po […] Lire la suite
APPRENTISSAGE AVEC LE NUMÉRIQUE
En moins d’un demi-siècle, les logiciels et les supports numériques ont profondément modifié de nombreux aspects de notre vie quotidienne. Dans le domaine des apprentissages académiques et de la formation professionnelle, ces modifications ont commencé au milieu des années 1980. Dans un premier temps, on s’est plutôt intéressé à l’apprentissage de l’informatique elle-même, notamment de la program […] Lire la suite
ORDINATEURS
Dans le chapitre « Les processeurs vectoriels et les techniques de vectorisation » : […] Les machines scientifiques très puissantes, conçues pour travailler efficacement sur les vecteurs, possèdent des unités fonctionnelles commandées par un jeu d'instructions spécifiques, afin d'effectuer simultanément une même opération (par exemple, une addition), sur un grand nombre de données (les composantes des deux vecteurs à additionner). Ces machines utilisent généralement des processeurs s […] Lire la suite
PL/1 (programming language number 1)
Langage de programmation universel convenant à la fois aux problèmes scientifiques et aux applications à caractère commercial. Bien qu'on ne puisse vraiment le ranger dans la classe des langages algorithmiques, on trouve dans PL/1 l'essentiel des facilités offertes par Fortran et Algol. D'une utilisation simple, ce langage est accessible aussi bien aux programmeurs débutants qu'aux programmeurs ex […] Lire la suite
PREMIERS ORDINATEURS - (repères chronologiques)
1904 Le Britannique John Ambrose Fleming invente la diode, premier tube à vide comportant deux électrodes, qui permet de capter et de redresser un signal radio. 1906 L'Américain Lee De Forest invente la triode, tube à vide à trois électrodes, qui permet d'amplifier un faible courant électrique. Les tubes ou « lampes » de De Forest et de Fleming constituent le point de départ de l'électronique. 1 […] Lire la suite
ROBOTIQUE ET PSYCHOLOGIE
Dans le chapitre « Le robot comme outil » : […] Les robots sont des outils que l’on rencontre de plus en plus fréquemment dans les laboratoires de psychologie. Ils sont souvent utilisés pour présenter à des sujets des actions qu’ils devront effectuer. L’analyse et la reproduction par un robot de gestes ou d’actions normalement réalisés par des humains permettent leur répétition de façon parfaitement identique. À l’inverse, on peut programmer u […] Lire la suite
ROBOTS
Dans le chapitre « Apprentissage du robot » : […] Un robot ne peut exécuter une tâche que si, dans une phase préliminaire, on lui a donné les éléments permettant cette exécution. Ces derniers comportent deux parties : – L' operating system, c'est-à-dire les programmes et algorithmes permettant d'accomplir des actions de base ou primitives paramétrables et de les enchaîner. Cette partie est figée et l'opérateur n'intervient pas sur elle. – Les élé […] Lire la suite
TÉLÉCOMMUNICATIONS - Informatique et télécommunications
Dans le chapitre « Les langages » : […] Au début des années 1970, les logiciels de télécommunications étaient conçus à l'aide des langages d'assemblage qui permettent d'accéder directement aux instructions de l'ordinateur et donc de réaliser des programmes efficaces en temps d'exécution et en volume de mémoire, critères particulièrement importants à une époque où les processeurs et les mémoires avaient des capacités limitées. En revanch […] Lire la suite
Voir aussi
Les derniers événements
12-13 juin 2019 • France • Discours de politique générale du Premier ministre Édouard Philippe.
en charge de la dépendance. Édouard Philippe s’engage également à ouvrir la procréation médicalement assistée à toutes les femmes. La réforme constitutionnelle est reportée. Dans le domaine sécuritaire, le Premier ministre annonce une loi de programmation, l’organisation d’un débat parlementaire [...] Lire la suite
18 décembre 2018 • Japon • Renforcement des capacités militaires offensives.
le plus gros bâtiment de la flotte nippone. Cette programmation confirme la rupture, engagée par le Premier ministre nationaliste Shinzo Abe, avec la politique de sécurité strictement défensive en vigueur depuis la fin de la Seconde Guerre mondiale. Elle répond à la menace que représente le développement des activités militaires chinoises, nord-coréennes et russes. [...] Lire la suite
27 novembre 2018 • France • Présentation de la programmation pluriannuelle de l’énergie.
Le président Emmanuel Macron et le ministre de la Transition écologique et solidaire François de Rugy présentent la programmation pluriannuelle de l’énergie (PPE) prévue par la loi de transition énergétique d’août 2015. Celle-ci prévoit de repousser de 2025 à 2035 l’objectif de réduction à 50 p [...] Lire la suite
27 septembre 2018 • Italie • Présentation du plan de programmation budgétaire.
Le gouvernement présente son plan de programmation budgétaire pour la période 2019-2021. Afin de financer la baisse des impôts défendue par la Ligue, le revenu de citoyenneté porté par le Mouvement 5 étoiles et la révision de la réforme des retraites de décembre 2011 promise par les deux [...] Lire la suite
11-19 juillet 2017 • France • Démission du chef d’état-major des armées.
les armées ». Il affirme que la loi de programmation militaire 2019-2025 doit marquer « la remontée de notre effort de défense ». Le 19, le général de Villiers remet sa démission au président Macron – acte sans précédent sous la Ve République. Des voix s’élèvent pour dénoncer une humiliation infligée à l’armée. [...] Lire la suite
1er mai 2017 • Canada • Recul du gouvernement sur le projet de réforme parlementaire.
Le Premier ministre Justin Trudeau annonce le retrait des mesures les plus controversées du projet de réforme parlementaire, faute de consensus à leur sujet. Ce projet prévoyait notamment d’instaurer la « programmation » parlementaire, processus par lequel les partis s’entendent à l’avance sur la durée des débats relatifs à chaque projet de loi, afin de limiter les possibilités d’obstruction. L’opposition y était hostile. [...] Lire la suite
10-26 novembre 2015 • Syrie • Projet français de « grande coalition » contre l’État islamique.
s’opposent à toute programmation du départ du président Bachar al-Assad. Des désaccords subsistent sur la distinction entre les groupes « terroristes » et les mouvements d’opposition susceptibles de négocier avec le régime. Le 15, en réaction aux attentats revendiqués par l’E.I. à Paris et Saint-Denis [...] Lire la suite
18 décembre 2014 • France • Adoption de la loi de finances pour 2015.
de dépenses. Le projet de loi de finances rectificative pour 2014, adopté le même jour, estime à 88 milliards d'euros le montant du déficit budgétaire annuel. Le projet de loi de programmation des finances pour les années 2014 à 2019 – adopté également le même jour – prévoit un déficit de 3,6 p. 100 du P.I.B [...] Lire la suite
16-29 octobre 2013 • France • Mouvement contre l'écotaxe en Bretagne.
dans la loi de programmation mettant en œuvre le Grenelle de l'environnement, adoptée à une large majorité en juillet 2009. Son montant doit être affecté à l'amélioration des infrastructures routières et au développement des infrastructures ferroviaires et fluviales. Le 26, des affrontements violents [...] Lire la suite
Pour citer l’article
Jean-François MONIN, « PROGRAMMATION », Encyclopædia Universalis [en ligne], consulté le 25 mars 2020. URL : http://www.universalis.fr/encyclopedie/programmation/