MODELISATION DES SYSTEMES EMBARQUES LOGIQUES POUR LE DIAGNOSTIC EMBARQUE - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

MODELISATION DES SYSTEMES EMBARQUES LOGIQUES POUR LE DIAGNOSTIC EMBARQUE

Résumé

Dans ce papier, nous proposons une nouvelle méthode d’ingénierie permettant la construction systématique du modèle de systèmes embarqués logiques pour le diagnostic de leurs fautes avec l‘approche diagnostiqueur. Cette méthode est basée d’une part sur une décomposition structurelle du système en composants logiques et d’autre part sur une abstraction comportementale et une abstraction temporelle. La méthode proposée permet de transformer le comportement d’un système de Mealy en automate temporisé.
Fichier principal
Vignette du fichier
paper_123.pdf (907.08 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-01166599 , version 1 (23-06-2015)

Identifiants

  • HAL Id : hal-01166599 , version 1

Citer

Ramla Saddem, Abdoul Karim Armand Toguyeni. MODELISATION DES SYSTEMES EMBARQUES LOGIQUES POUR LE DIAGNOSTIC EMBARQUE . MOSIM 2014, 10ème Conférence Francophone de Modélisation, Optimisation et Simulation, Nov 2014, Nancy, France. ⟨hal-01166599⟩
227 Consultations
463 Téléchargements

Partager

Gmail Facebook X LinkedIn More