Package org.jreliability.tutorial.boiler
Class Boiler
- java.lang.Object
-
- org.jreliability.tutorial.boiler.Boiler
-
public class Boiler extends java.lang.Object
TheBoiler
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 twoSensor
s that measure the water temperature, aController
that activates and deactivates aHeater
to control the water temperature as well as it activates and deactivates one of two availablePump
s 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 to0
) 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 java.util.List<BoilerComponent>
components
All components that are included in theBoiler
.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 usedBoilerTransformer
.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description ReliabilityFunction
get()
Returns theReliabilityFunction
that represents theBoiler
.java.util.List<BoilerComponent>
getComponents()
Returns the components of theBoiler
.Term
getTerm()
BoilerTransformer
getTransformer()
Returns theBoilerTransformer
.
-
-
-
Field Detail
-
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 java.util.List<BoilerComponent> components
All components that are included in theBoiler
.
-
transformer
protected BoilerTransformer transformer
The usedBoilerTransformer
.
-
-
Constructor Detail
-
Boiler
public Boiler()
Constructs aBoiler
.
-
-
Method Detail
-
getTerm
public Term getTerm()
- Returns:
- the term representation of the boiler
-
get
public ReliabilityFunction get()
Returns theReliabilityFunction
that represents theBoiler
.- Returns:
- the reliability function of the boiler
-
getComponents
public java.util.List<BoilerComponent> getComponents()
Returns the components of theBoiler
.- Returns:
- the components
-
getTransformer
public BoilerTransformer getTransformer()
Returns theBoilerTransformer
.- Returns:
- the transformer
-
-