Main Page | Namespace List | File List | File Members

DiaDes Documentation

1.0

Introduction

DiaDes is a set of tools that demonstrates the use of model-based diagnosis techniques for discrete-event systems. DiaDes stands for "DIAgnosis of DES". Until now, Diades is based on the modeling famework of [Sampath98] for fault diagnosis in a discrete-event systems.

General description of DiaDes

DiaDes is composed of a set of unix-like commands. The basic inputs of DiaDes is a set of files (suffixed by *.lafmodel). Each file describes the behaviour of one component as a discrete-event system (observable events, fault events, normal events, shared events). The model of the system is implicitly represented by the set of (lafmodel) files (set of components).

Modeling tools

  1. ModelGenerator: this command is a fully parametrised random model-generator. This tool generates precompiled models that are ready to use by the diagnosis tools.
  2. Determine: this tool generates a deterministic version of any component model.
  3. Minimize: this tool generates the minimal deterministic model of any component model.
  4. Unify: this tool translates a set of model files (lafmodel) into a set of a precompiled models (amodel) that are required for the use of the diagnosis tools.

Diagnosis tools

  1. GlobalModel: generates the explicit global model of the system (parallel synchronisation of the component's models)
  2. AbstractModel: generates an abstraction of the global model that is more efficient for diagnosis
  3. Diagnoser: generates the classical diagnoser
  4. AccurateDiagnosers: generate accurate diagnosers
  5. Diagnose: given an observable scenario and a given model (components, global, abstracted, diagnoser), perform the on-line diagnosis of the system.

Diagnosability tools

  1. Assistant: check for the diagnosability of the system in a decentralised manner and provides undiagnosable scenarios in case of non-diagnosability

If you are interested by the use of this toolbox, please send an email to yannick.pencole@laas.fr

Generated on Wed Sep 19 13:26:01 2007 for DiaDes by  doxygen 1.4.4