Package org.jreliability.tutorial.tmr

Class TMR

java.lang.Object

org.jreliability.tutorial.tmr.TMR

public class TMR
extends Object

The TMR models a 2-out-of-3 majority voter commonly known as Triple Modular Redundancy. This behavior can be expressed as a linear constrained as follows:
1*component1 + 1*component2 + 1* component3 >= 2

The needed comparator to perform the voting is commonly not modeled explicitly due to its extremely high reliability.

Field Summary

Fields

Modifier and Type	Field	Description
protected String	component1	The first component.
protected String	component2	The second component.
protected String	component3	The third component.
protected org.apache.commons.collections15.Transformer<String,ReliabilityFunction>	transformer	The used ReliabilityFunction Transformer.

Constructor Summary

Constructors

Constructor	Description
TMR()	Constructs a TMR.

Method Summary

Modifier and Type	Method	Description
ReliabilityFunction	get()	Returns ReliabilityFunction describing the TMR using the BDDTTRF.
Term	getTerm()	Returns a model of the TMR as a Term.
org.apache.commons.collections15.Transformer<String,ReliabilityFunction>	getTransformer()	Returns a Transformer for each element of the system to its ReliabilityFunction.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

component1

protected String component1

The first component.

component2

protected String component2

The second component.

component3

protected String component3

The third component.

transformer

protected org.apache.commons.collections15.Transformer<String,ReliabilityFunction> transformer

The used ReliabilityFunction Transformer.

Constructor Details

TMR

public TMR()

Constructs a TMR.

Method Details

getTerm

public Term getTerm()

Returns a model of the TMR as a Term.

Returns:

the term representation of the TMR

get

public ReliabilityFunction get()

Returns ReliabilityFunction describing the TMR using the BDDTTRF.

Returns:

the reliabilityFunction of the TMR

getTransformer

public org.apache.commons.collections15.Transformer<String,ReliabilityFunction> getTransformer()

Returns a Transformer for each element of the system to its ReliabilityFunction.

Returns:

the transformer