Complexité croissante des systèmes et des logiciels – Les logiciels critiques et leur processus de réalisation
La méthode B pour la spécification et la réalisation de logiciels et de systèmes critiques prouvés

Ajouter à la bibliothèque

SE2525 V1 Article de référence

Complexité croissante des systèmes et des logiciels – Les logiciels critiques et leur processus de réalisation
La méthode B pour la spécification et la réalisation de logiciels et de systèmes critiques prouvés

Auteur(s) : Jacques valancogne

Date de publication : 10 janvier 2012 | Read in english

Ajouter à la bibliothèque Ajouter à la bibliothèque

Logo Techniques de l'Ingenieur Cet article est réservé aux abonnés
Pour explorer cet article plus en profondeur Consulter un extrait gratuit

Déjà abonné ?

1. Complexité croissante des systèmes et des logiciels – Les logiciels critiques et leur processus de réalisation

Depuis des décennies, la complexité des systèmes et des logiciels s'est accrue pour différentes raisons : d'une part à cause de la puissance des calculateurs qui a sans cesse augmenté (tant en vitesse qu'en capacité mémoire), mais aussi à cause de la demande croissante des industriels et des clients qui, en général, demandent toujours plus de fonctionnalités parce que le logiciel ne semble pas avoir de limite, étant immatériel (il suffit d'écrire du code, seules les idées pourraient manquer, et les frais ne sont importants que pour la conception et la réalisation, et de plus en plus faibles lorsqu'il s'agit de multiplier les exemplaires). La majorité des capteurs, des actionneurs et des interfaces contiennent aujourd'hui du logiciel. Un autre aspect important est l'utilisation de l'informatique dans le monde industriel (automatismes, postes de commande, process), le développement des télécommunications,...

Cet article est réservé aux abonnés
Logo Techniques de l'Ingenieur

Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.

Cet article est réservé aux abonnés Consulter un extrait gratuit

Déjà abonné ?


Lecture en cours
Complexité croissante des systèmes et des logiciels – Les logiciels critiques et leur processus de réalisation

Article inclus dans l'offre

"Sécurité et gestion des risques"

( 510 articles )

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques.

Services

Quiz, médias, tableaux, formules, vidéos, etc.

Des modules pratiques

Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.

Des avantages inclus

Un ensemble de services exclusifs en complément des ressources.

Voir le détail de l'offre

Dans les ressources documentaires

Modélisation par bond graph - Éléments de base pour l’énergétique

De par l’interaction de plusieurs phénomènes de natures diverses (stockage, dissipation d’énergie…), et l...

Modélisation par bond graph - Application aux systèmes énergétiques

L’outil bond graph a la capacité de pouvoir décrire la complexité des systèmes énergétiques, en grande ma...

Validation des résultats des logiciels scientifiques - Approche stochastique

La méthode CESTAC (Contrôle et estimation stochastique des arrondis de calculs) consiste à évaluer la fia...

Quantification de la fiabilité des logiciels

Cet article décrit les fondements théoriques de la quantification de la fiabilité du logiciel et en expli...

WhitePaper Google DeepMind
7 septembre 2016
Google DeepMind

L\'intelligence artificielle est-elle en train de prendre le dessus de l\'homme ?

Tous les livres blancs
Toutes les actualités

Inscrivez-vous aux newsletters !

Contactez-nous