Diades::Automata::FaultDiagProblem Class Reference

Definition of a fault diagnosis problem in a discrete-event system. More...

#include <FaultDiagProblem.hh>

Public Member Functions
	FaultDiagProblem (const vector< ObservableComponent::CRef > &comps, const unordered_set< Event > &faults, const SynchronisationRules &rules, const vector< EventOccurrence > &observations)
const vector< ObservableComponent::CRef > &	components () const
const SynchronisationRules &	rules () const
const vector< EventOccurrence > &	observations () const
const unordered_set< Event > &	faults () const
const unordered_set< Event > &	observables () const

Private Attributes
const vector< ObservableComponent::CRef > &	_comps
const unordered_set< Event > &	_faults
const SynchronisationRules &	_rules
const vector< EventOccurrence > &	_observations
unordered_set< Event >	_observables

Detailed Description

Definition of a fault diagnosis problem in a discrete-event system.

This class specifies the problem of fault diagnosis in a discrete-event system. The problem is defined as follows:

• a set of ObservableComponent objects (a set of automata)
• the synchronised product defined by a SynchronisationRules object that characterises the global behaviour of the set of automata (global model)
• a set of fault events that can occur on these components
• a sequence of observed events (observations)

The fault diagnosis problem then consists of determining the set of fault events that have occurred on the system modeled by the set of automata and the synchronisation rules if the system generates the sequence of observations.

Note

This class only defines the problem but does not solve it.

Definition at line 50 of file FaultDiagProblem.hh.

Constructor & Destructor Documentation

FaultDiagProblem()

Diades::Automata::FaultDiagProblem::FaultDiagProblem	(	const vector< ObservableComponent::CRef > &	comps,
		const unordered_set< Event > &	faults,
		const SynchronisationRules &	rules,
		const vector< EventOccurrence > &	observations
	)

Constructor of a problem of fault diagnosis in a discrete-event system.

Parameters

comps	a set of ObservableComponent objects (a set of automata)
faults	a set of fault events that can occur on these components
rules	the synchronised product defined by a SynchronisationRules object that characterises the global behaviour of the set of automata (global model)
observations	the sequence of observed events fro this problem

Member Function Documentation

components()

const vector<ObservableComponent::CRef>& Diades::Automata::FaultDiagProblem::components ( ) const

inline

Returns

the set of components involved in this problem

Definition at line 79 of file FaultDiagProblem.hh.

References _comps.

faults()

const unordered_set<Event>& Diades::Automata::FaultDiagProblem::faults ( ) const

inline

Returns

the set of fautly events in this problem

Definition at line 100 of file FaultDiagProblem.hh.

References _faults.

observables()

const unordered_set<Event>& Diades::Automata::FaultDiagProblem::observables ( ) const

inline

Returns

the set of observable events of the system in this problem

Definition at line 107 of file FaultDiagProblem.hh.

References _observables.

observations()

const vector<EventOccurrence>& Diades::Automata::FaultDiagProblem::observations ( ) const

inline

Returns

the sequence of observed events of this problem

Definition at line 93 of file FaultDiagProblem.hh.

References _observations.

rules()

const SynchronisationRules& Diades::Automata::FaultDiagProblem::rules ( ) const

inline

Returns

the synchronisation rules associated to the set of components of this problem

Definition at line 86 of file FaultDiagProblem.hh.

References _rules.

Member Data Documentation

_comps

const vector<ObservableComponent::CRef>& Diades::Automata::FaultDiagProblem::_comps

private

Definition at line 53 of file FaultDiagProblem.hh.

Referenced by components().

_faults

const unordered_set<Event>& Diades::Automata::FaultDiagProblem::_faults

private

Definition at line 54 of file FaultDiagProblem.hh.

Referenced by faults().

_observables

unordered_set< Event > Diades::Automata::FaultDiagProblem::_observables

private

Definition at line 57 of file FaultDiagProblem.hh.

Referenced by observables().

_observations

const vector< EventOccurrence >& Diades::Automata::FaultDiagProblem::_observations

private

Definition at line 56 of file FaultDiagProblem.hh.

Referenced by observations().

_rules

const SynchronisationRules& Diades::Automata::FaultDiagProblem::_rules

private

Definition at line 55 of file FaultDiagProblem.hh.

Referenced by rules().

---

The documentation for this class was generated from the following file:

• /home/yannick/laas/redmine/tools/diades/include/diades/automata/FaultDiagProblem.hh