Diades::Automata::FaultPattern Class Reference

#include <FaultPattern.hh>

Classes
class	EventOccurrence

Public Member Functions
	FaultPattern ()
	set of events involved in this pattern More...
virtual	~FaultPattern ()
virtual void	pattern2Dot (const string &filename)
virtual const Graph::Graph &	graph () const
virtual bool	isFinal (Node s) const
bool	containsEvent (Event event) const
virtual Node	initial () const
virtual const EventOccurrence &	eventOccurrenceOf (Edge edge) const

Protected Attributes
Graph::Graph	_graph
EdgeMap< EventOccurrence >	_edgeMap
	the constraint graph More...
Node	_initialNode
	the occurrence of Event associated to each Edge of the Graph More...
NodeMap< int >	_finalNodes
	initial state of the pattern graph More...
unordered_set< Event >	_events
	set of final states of the constraint graph, status == 1 (final) == 0 (non-final) More...

Detailed Description

implements fault patterns. A fault pattern is a partial-order of Event occurrences that is considered as a Fault in a system. This class is partially inspired by the work of [Jeron 06] (pattern) and [Pencole 06] (extended automaton).

[Jeron 06]: Supervision Patterns in Discrete Event Systems Diagnosis, T. Jeron, H. Marchand, S. Pinchinat, M.-O. Cordier, DX'06.

[Pencole 06]: Yannick Pencol�, Dmitry Kamenetsky, Anika Schumann Towards low-cost diagnosis of component-based systems, 6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Process (SAFEPROCESS), Beijing, P.R. China August 29-September 1 ,2006.

Class tested on Monday August 3rd 2009

Todo:

test the containEvents method

add the notion of strict precedence

Definition at line 39 of file FaultPattern.hh.

Constructor & Destructor Documentation

FaultPattern()

Diades::Automata::FaultPattern::FaultPattern

(

)

set of events involved in this pattern

Default constructor. Defines an empty pattern (one graph node only)

~FaultPattern()

virtual Diades::Automata::FaultPattern::~FaultPattern ( )

inlinevirtual

Destructor

Definition at line 154 of file FaultPattern.hh.

Member Function Documentation

containsEvent()

bool Diades::Automata::FaultPattern::containsEvent ( Event  event ) const

inline

Parameters

event

an Event

Returns

true if at least one occurrence of the event is in the FaultPattern

Definition at line 190 of file FaultPattern.hh.

eventOccurrenceOf()

virtual const EventOccurrence& Diades::Automata::FaultPattern::eventOccurrenceOf ( Edge  edge ) const

inlinevirtual

Returns

the event occurrence of a Graph egde

Definition at line 206 of file FaultPattern.hh.

graph()

virtual const Graph::Graph& Diades::Automata::FaultPattern::graph ( ) const

inlinevirtual

Returns

the underlying Graph of the FaultPattern

Definition at line 170 of file FaultPattern.hh.

initial()

virtual Node Diades::Automata::FaultPattern::initial ( ) const

inlinevirtual

Returns

the initial state of the underlying Graph

Definition at line 198 of file FaultPattern.hh.

isFinal()

virtual bool Diades::Automata::FaultPattern::isFinal ( Node  s ) const

inlinevirtual

Parameters

s	a Node of the underlying Graph

Returns

true if s is a final states of the Graph

Definition at line 180 of file FaultPattern.hh.

References Diades::Graph::Node::owner(), and Diades::Graph::Node::valid().

pattern2Dot()

virtual void Diades::Automata::FaultPattern::pattern2Dot ( const string &  filename )

virtual

Export the pattern in dot format

Parameters

filename

Member Data Documentation

_edgeMap

EdgeMap<EventOccurrence> Diades::Automata::FaultPattern::_edgeMap

protected

the constraint graph

Definition at line 140 of file FaultPattern.hh.

_events

unordered_set<Event> Diades::Automata::FaultPattern::_events

protected

set of final states of the constraint graph, status == 1 (final) == 0 (non-final)

Definition at line 143 of file FaultPattern.hh.

_finalNodes

NodeMap<int> Diades::Automata::FaultPattern::_finalNodes

protected

initial state of the pattern graph

Definition at line 142 of file FaultPattern.hh.

_graph

Graph::Graph Diades::Automata::FaultPattern::_graph

protected

Definition at line 139 of file FaultPattern.hh.

_initialNode

Node Diades::Automata::FaultPattern::_initialNode

protected

the occurrence of Event associated to each Edge of the Graph

Definition at line 141 of file FaultPattern.hh.

---

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

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