Package org.jreliability.tutorial.boiler

Class Boiler

java.lang.Object

org.jreliability.tutorial.boiler.Boiler

public class Boiler
extends Object

The Boiler models a boiler that is responsible for keeping the water in a tank at the desired temperature and pumping it to a destination if needed.

The Boiler consists of two Sensors that measure the water temperature, a Controller that activates and deactivates a Heater to control the water temperature as well as it activates and deactivates one of two available Pumps to pump the water to its destination if needed.

The non-minimized boolean function that describes whether this system works correctly (evaluates to 1) or fails (evaluates to 0) is as follows:
((Sensor1 AND Sensor2) AND Controller) AND (Controller AND Heater) AND (Controller AND (Pump1 OR Pump2))

Field Summary

Fields

Modifier and Type	Field	Description
protected List<BoilerComponent>	components	All components that are included in the Boiler.
protected Controller	controller	The controller.
protected Heater	heater	The water heater.
protected Pump	pump1	The first pump.
protected Pump	pump2	The second pump.
protected Sensor	sensor1	The first temperature sensor.
protected Sensor	sensor2	The second temperature sensor.
protected BoilerTransformer	transformer	The used BoilerTransformer.

Constructor Summary

Constructors

Constructor	Description
Boiler()	Constructs a Boiler.

Method Summary

Modifier and Type	Method	Description
ReliabilityFunction	get()	Returns the ReliabilityFunction that represents the Boiler.
List<BoilerComponent>	getComponents()	Returns the components of the Boiler.
Term	getTerm()	Returns a model of the Boiler as a Term.
BoilerTransformer	getTransformer()	Returns the BoilerTransformer.

Methods inherited from class java.lang.Object

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

Field Details

sensor1

protected Sensor sensor1

The first temperature sensor.

sensor2

protected Sensor sensor2

The second temperature sensor.

controller

protected Controller controller

The controller.

heater

protected Heater heater

The water heater.

pump1

protected Pump pump1

The first pump.

pump2

protected Pump pump2

The second pump.

components

protected List<BoilerComponent> components

All components that are included in the Boiler.

transformer

protected BoilerTransformer transformer

The used BoilerTransformer.

Constructor Details

Boiler

public Boiler()

Constructs a Boiler.

Method Details

getTerm

public Term getTerm()

Returns a model of the Boiler as a Term.

Returns:

the term representation of the boiler

get

public ReliabilityFunction get()

Returns the ReliabilityFunction that represents the Boiler.

Returns:

the reliability function of the boiler

getComponents

public List<BoilerComponent> getComponents()

Returns the components of the Boiler.

Returns:

the components

getTransformer

public BoilerTransformer getTransformer()

Returns the BoilerTransformer.

Returns:

the transformer