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é.
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...