7. B Système ou B événementiel
7.1 Prolongements de B au niveau système
Afin de pouvoir travailler sur des systèmes moins réduits que les logiciels, il est nécessaire de modéliser l'environnement en complément de la partie strictement logicielle, ce que ne fait pas B logiciel ou B dit « classique » qui travaille de manière fermée. B événementiel ou B système (nous utiliserons indifféremment les deux termes) répond à la problématique des systèmes en prenant en compte l'aspect réactif où l'environnement agit sur le système et inversement. Pour cela, les concepts de B logiciel ou de B classique ont été généralisés. Il est proposé une modélisation par états/transition (comme pour les automates) où l'on trouve une partie statique et une partie dynamique. En statique, et donc à un instant donné, l'état du système se présente...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
B Système ou B événementiel
Autres aspects de 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.
