Class Boiler


  • public class Boiler
    extends java.lang.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))