6. Limites de B
Malgré tous ces avantages, la méthode B classique est limitée sur un certain nombre de points qui ne sont d'ailleurs pas liés à la méthode elle-même. La figure 8 donne les différentes interfaces de B avec l'environnement qui est constitué de la spécification en langage naturel (entrée de B), les entrées (informations acquises : autres logiciels, autres calculateurs, capteurs, moyens de transmission) et les sorties (informations fournies : vers autres logiciels, autres calculateurs, actionneurs ou moyens de transmission), les données et paramètres de l'application en B, les parties non-sécuritaires non-réalisées en B, le codage et la compilation pour obtenir des PROM (mémoire morte où se trouve le programme qui sera exécuté par le calculateur industriel si c'est le cas). Ces limitations signifient que la preuve...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Limites de B
B Système ou B événementiel
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.
