Modélisation en B événementiel des fonctions mécaniques, électriques et informatiques d'un véhicule
Cette chronique présente la méthode employée pour formaliser, en B événementiel, les lois de fonctionnement d'un véhicule entier (parties électroniques, mécaniques, subjectives), afin d'améliorer son diagnostic.
In this column, we introduce a method to formalize electronics, mechanics and subjective car behaviour. We use the formal models to diagnose the reason of any car failure (mechanic failures and bugs). This method is based on event B method and rigorous variable and event definitions.
G.POUZANCRE, J.PITZALIS
B, B événementiel, automobile, diagnostic, modèle, formalisation, ingénierie de systèmes complexes.
event-B, B model, automobile industry, diagnostic, formal method, system engineer ing.
Français
|
