ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 22/1 - 2003  - pp.119-128  - doi:10.3166/tsi.22.119-128
TITRE
Modélisation en B événementiel des fonctions mécaniques, électriques et informatiques d'un véhicule

RÉSUMÉ
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.


ABSTRACT
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.


AUTEUR(S)
Guilhem POUZANCRE, Jean-Philippe PITZALIS

MOTS-CLÉS
B, B événementiel, automobile, diagnostic, modèle, formalisation, ingénierie de systèmes complexes.

KEYWORDS
event-B, B model, automobile industry, diagnostic, formal method, system engineer ing.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (134 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier