Bibliographie & annexes
Présentation
English
Auteur(s)
-
Jacques valancogne : IMdR - Membre du Conseil scientifique du CSFRS (Conseil supérieur de la Formation et de la Recherche stratégiques)
Lire cet article issu d'une ressource documentaire complète, actualisée et validée par des comités scientifiques.
Lire l’articleINTRODUCTION
L'objectif de cet article ne vise pas à ce que le lecteur puisse tout connaître sur la méthode B ; ce serait impossible et prétentieux. The B-BOOK – Assigning Programs to Meanings de Jean-Raymond ABRIAL, l'inventeur de la méthode B, qui est à la base du langage B, possède déjà plus de 750 pages et est basé sur de nombreuses connaissances en mathématiques et en logique ; de plus, de nombreuses formations sur la méthode B existent aujourd'hui. L'objectif se limitera à donner des éclairages pour mieux porter une appréciation sur une telle méthode en essayant d'en comprendre les principaux concepts. Il n'est donc pas question de trop développer les aspects mathématiques, bien que ceux-ci soient essentiels. Le propos restera toujours assez général, en simplifiant volontairement parfois pour rester compréhensible.
L'expertise technique et scientifique de référence
DOI (Digital Object Identifier)
Cet article fait partie de l’offre
Sécurité et gestion des risques
(477 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
Présentation
Petit panorama des méthodes de fiabilisation des logiciels
English
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, l'utilisation de réseaux avec des calculateurs répartis et les systèmes d'information auxquels une disponibilité élevée est exigée. Cela nécessite d'y associer des redondances qui doivent être gérées convenablement si l'on veut éviter des problèmes, par perte d'informations rendant le système global incohérent, lorsqu'il y a des commutations suite à des défaillances.
Des logiciels sont devenus critiques parce qu'ils sont utilisés pour supporter des fonctions de sécurité, pouvant en cas de défaillance (erreur) porter atteinte aux hommes, aux biens, à l'environnement, ou parce qu'ils sont utilisés pour supporter des applications qui peuvent entraîner des pertes financières importantes, la désorganisation d'entreprise ou de territoire entier. On peut citer leur importance dans le secteur du transport, de l'énergie, des télécommunications, des processus de fabrication (chimique, chaîne d'assemblage, etc.), dans le secteur bancaire ou de la prévision (météorologie) qui ne sont pas sans lourdes conséquences si certaines erreurs apparaissent lors de l'utilisation de ces logiciels.
De plus, le fait de réaliser des fonctions en logiciel à la place de matériel a compliqué certaines applications industrielles parce que la part des fonctions de conception nécessaires est devenue prépondérante par rapport à celle des fonctions principales proprement dites.
1.1 Principales difficultés de réalisation d'un logiciel critique
La réalisation d'un logiciel critique ou complexe n'est pas sans poser un certain...
L'expertise technique et scientifique de référence
Cet article fait partie de l’offre
Sécurité et gestion des risques
(477 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
Complexité croissante des systèmes et des logiciels – Les logiciels critiques et leur processus de réalisation
BIBLIOGRAPHIE
-
(1) - ABRIAL (J.-R.) - The B-book assigning programs to meanings (ouvrage fondateur de la méthode B). - Cambridge University Press (1996).
-
(2) - BEHM (P.) - Formal development of safety critical software of METEOR (ligne 14 du Métro Parisien mise en service en 1998). - First B Conference, Nantes (1996).
-
(3) - BEHM (P.), DESFORGES (P.), MEIJA (F.) - Application de la méthode B dans l'industrie ferroviaire. - ARAGO 20.
-
(4) - LANO (K.) - The B language and method : a guide to practical formal development FACIT. - Springer Verlag, London Ltd. (1996).
-
(5) - LANO (K.), HAUGHTON (H.) - Specification in B : an introduction using the B toolkit imperial college press. - London (1996).
-
(6) - WORDSWORTH (J.) - Software engineering with B. - Addison-Wesley (1996).
-
...
DANS NOS BASES DOCUMENTAIRES
L'expertise technique et scientifique de référence
Cet article fait partie de l’offre
Sécurité et gestion des risques
(477 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
