,idx,requirement,label,conflict
0,32,"If the maximum number of  cooling units is already running, the request will be added to a LIFO queue.",Yes,Yes(31)
1,49,"When the THEMAS system detects a request for an alarm, Generate_Alarm_Data shall store which of the two alarms are being requested.",Yes,Yes(48)
2,29,"When a request to turn on a heating or cooling unit is received, the system shall determine if the request can be honored.",Yes,Yes(30)
3,37,"If that thermostat requires no more heating or cooling unit turned on, this process shall submit a request to turn that unit on.",Yes,Yes(36)
4,45,"When a request to turn on or off a heating or cooling unit is made, Generate_H/C_Request shall generate the appropriate request to carry out that request.",Yes,Yes(46)
5,38,Generate_Unit_Unavailable_Event shall realize the thermostat and heating or cooling information and use this information to generate a specific system event,No,No
6,40,"This system event shall consist of a description of the event type (a request denied event),  and a designation of the heating or cooling unit that was not turned on.",Yes,Yes(39)
7,33,"If the maximum number of heating or cooling units is not running, this process will generate a request to turn on the requested unit.",No,No
8,36,"If that thermostat still needs a heating or cooling unit turned on, this process shall submit a request to turn that unit on.",Yes,Yes(37)
9,27,"LT < = T < = UT This condition indicates the thermostat’s current temperature setting is satisfied. If this condition is true, then the module shall output a request to turn off both the heating unit and the cooling unit.",No,No
10,31,"If the maximum number of heating or cooling units is already running, the request will be added to a LIFO queue.",Yes,Yes(32)
11,20,"If the temperature setting value is strictly less than the lower value of the valid temperature range or if the temperature setting value is strictly greater than the upper value of the valid temperature range, then the THEMAS system shall identify the temperature setting as an invalid temperature and shall output an invalid temperature status.Otherwise, the THEMAS system shall realize the value for that thermostat’s temperature setting.",No,No
12,16,A current temperature value that is received from an individual thermostat shall be compared to the valid temperature range values.,No,No
13,43,"In order to provide an indication of the status of the heating or cooling unit back to the requesting thermostat, Generate_H/C_Signal should output the status information of the heating unit.",Yes,Yes(42)
14,42,"In order to provide an indication of the status of the heating or cooling unit back to the requesting thermostat, Generate_H/C_Signal shall output the status information of the heating or cooling unit.",Yes,Yes(43)
15,28,The THEMAS system shall maintain the ON/OFF status of each heating and cooling unit.,No,No
16,30,"When a request to turn on a heating  unit is received, the system shall determine if the request can be honored.",Yes,Yes(29)
17,39,"This system event shall consist of a description of the event type (a request denied event), a designation of the thermostat that made the request, and a designation of the heating or cooling unit that was not turned on.",Yes,Yes(40)
18,19,A temperature setting value that is received from an individual thermostat shall be compared to the valid temperature range values.,No,No
19,46,"When a request to turn off a heating or cooling unit is made, Generate_H/C_Request shall generate the appropriate request to carry out that request",Yes,Yes(45)
20,35,"If the queue is not empty, this process shall remove one request from the LIFO queue and check the current state of the thermostat for which the queued request was made.",No,No
21,34,"When a request to turn off a heating or cooling unit is received, this process shall check the queue of waiting heating and cooling requests.",No,No
22,48,"When the THEMAS system detects a request for an alarm, Generate_Alarm_Data shall detect which of the two alarms are being requested.",Yes,Yes(49)
23,44,"In order to provide an operational history and statistical reports, Generate_H/C_Signal shall generate an event each time a change is made to the status of a heating or cooling unit.",No,No
24,50,"If the system detects an invalid temperature, Generate_Alarm_Data shall output a continuous series of alternating 500 Hz and 700 Hz beeps on the supervisor’s computer.",No,No
25,47,Generate_H/C_Request shall include the designation of the heating or cooling unit and a flag to indicate whether that unit is to be turned on or off.,No,No
26,51,The series of beeps shall continue until the supervisor manually resets the alarm through the supervisor’s interface window.,No,No
27,63,"If the operational history report is selected, the THEMAS system shall select all the events from the event database, sort the events by date and time, and create the ASCII report file.",Yes,Yes(64)
28,59,The supervisor’s interface must display the thermostats and the individual temperature settings.,Yes,Yes(58)
29,67,"After selecting one of the months, the system shall generate the ASCII report file.",No,No
30,53,"Each time an alarm is requested, an alarm event shall be recorded.",Yes,Yes(54)
31,57,The THEMAS system should record each event by a description for that event.,Yes,Yes(56)
32,66,"If the statistical report is selected, the THEMAS system shall present the operator with a list of available dates from which to make a selection.",Yes,Yes(65)
33,56,The THEMAS system shall record each event by a description and the current system time for that event.,Yes,Yes(57)
34,60,The supervisor shall be able to select one of the thermostats and select a value for the current temperature from a list of valid temperatures.,No,No
35,52,"If the system detects a temperature limit has been exceeded, Generate_Alarm_Data shall output a continuous series of alternating 1000 Hz and 1500 Hz beeps on the supervisor’s computer.",No,No
36,58,The supervisor’s interface shall display the available thermostats and the individual current temperature settings.,Yes,Yes(59)
37,61,The supervisor’s interface to the THEMAS system shall provide a mechanism to select between an operational history report or a statistical summary report.,Yes,Yes(62)
38,64,"If the operational history report is selected, the THEMAS system shall select a few events from the event database, sort the events by date and time, and create the ASCII report file.",Yes,Yes(63)
39,55,"When an event occurs, the THEMAS system shall identify the event type and format an appropriate event message.",No,No
40,54,"If an alarm is requested for the first time, an alarm event shall be recorded.",Yes,Yes(53)
41,41,"Generate_H/C_Signal shall recognize the values for the requested heating or cooling unit and the ON or OFF status that is being requested.Since the interface to control the units has not been defined, the part of this process that will issue the signal is designated as TBD(to be determined).",No,No
42,65,"If the statistical report is selected, the THEMAS system shall present the operator with a list of available months from which to make a selection.",Yes,Yes(66)
43,62,The supervisor’s interface to the THEMAS system shall provide a mechanism to select between an operational history report or a dynamic summary report.,Yes,Yes(61)