MODELISATION DES SYSTEMES EMBARQUES LOGIQUES ...
Document type :
Communication dans un congrès avec actes
Title :
MODELISATION DES SYSTEMES EMBARQUES LOGIQUES POUR LE DIAGNOSTIC EMBARQUE
Author(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]
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]
Conference title :
MOSIM 2014, 10ème Conférence Francophone de Modélisation, Optimisation et Simulation
City :
Nancy
Country :
France
Start date of the conference :
2014-11-05
Keyword(s) :
Systèmes embarqués Logiques
Machine à états
méthode de réduction
Automate Temporisé
Machine à états
méthode de réduction
Automate Temporisé
HAL domain(s) :
Sciences de l'ingénieur [physics]
French abstract :
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 ...
Show more >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é.Show less >
Show more >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é.Show less >
Language :
Français
Peer reviewed article :
Oui
Audience :
Internationale
Popular science :
Non
Comment :
Colloque avec actes et comité de lecture. internationale.
Collections :
Source :
Files
- https://hal.archives-ouvertes.fr/hal-01166599/document
- Open access
- Access the document
- https://hal.archives-ouvertes.fr/hal-01166599/document
- Open access
- Access the document
- document
- Open access
- Access the document
- paper_123.pdf
- Open access
- Access the document