MODELISATION DES SYSTEMES EMBARQUES LOGIQUES ...

Type de document :
Communication dans un congrès avec actes
Titre :
MODELISATION DES SYSTEMES EMBARQUES LOGIQUES POUR LE DIAGNOSTIC EMBARQUE
Auteur(s) :
Saddem, Ramla [Auteur]
Centre de Recherche en Sciences et Technologies de l'Information et de la Communication - EA 3804 [CRESTIC]
Toguyeni, Abdoul Karim Armand [Auteur]
Laboratoire d'Automatique, Génie Informatique et Signal [LAGIS]
Titre de la manifestation scientifique :
MOSIM 2014, 10ème Conférence Francophone de Modélisation, Optimisation et Simulation
Ville :
Nancy
Pays :
France
Date de début de la manifestation scientifique :
2014-11-05
Mot(s)-clé(s) :
Systèmes embarqués Logiques
Machine à états
méthode de réduction
Automate Temporisé
Discipline(s) HAL :
Sciences de l'ingénieur [physics]
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 ...
Lire la suite >
Langue :
Français
Comité de lecture :
Oui
Audience :
Internationale
Vulgarisation :
Non
Commentaire :
Colloque avec actes et comité de lecture. internationale.
Collections :
Source :
Harvested from HAL
Fichiers
Thumbnail
Thumbnail
Thumbnail
Thumbnail
Thumbnail
Thumbnail