10. Perspectives d'avenir
La méthode B, qui est l'une des méthodes formelles utilisées parmi d'autres, a permis, grâce à son outillage industriel, une utilisation non seulement dans des projets critiques, mais aussi pour d'autres applications que le logiciel. Son utilisation ne se limite pas à cela ; en effet, il sera possible dans un avenir proche que la méthode B puisse être utilisée dans des systèmes moins critiques en améliorant la convivialité des outils et en permettant à des ingénieurs non experts en méthode B de spécifier et de concevoir des systèmes dont on pourra faire la preuve mathématique, à condition de disposer de personnes au niveau du formalisme mathématique. Il sera aussi très probablement possible de traiter des systèmes distribués, du parallélisme et de tous les aspects critiques liés aux commutations de redondance.
Des projets européens, comme le projet PUSSEE dont l'objectif...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Perspectives d'avenir
Conclusions sur la méthode B
Sources bibliographiques
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Article inclus dans l'offre
"Sécurité et gestion des risques"
(
510 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
