,idx,requirement,label,conflict
0,14,"The themas system shall process two types of temperature data, the temperature setting and current temperature",Yes,Yes(15)
1,3,Each thermostat shall have a unique identifier by which that thermostat is identified in the THEMAS system.,No,No
2,4,The maximum number of concurrently running units shall be read from the initialization file and stored in the THEMAS system.,Yes,Yes(5)
3,8,Set_Overtemp_Values shall read the initialization file and establish the overtemperature value from the data in that file.,No,No
4,5,The maximum number of concurrently running units must be read from the initialization file and replicated in the THEMAS system.,Yes,Yes(4)
5,24,If T > LO or UO < T then the THEMAS system shall recognize this condition as the temperature limit has been exceeded.,Yes,Yes(23)
6,21,The THEMAS system shall compare the reported temperature value to the temperature setting and detect when the temperature value exceeds the specified limits.,Yes,Yes(22)
7,10,This process shall first determine a known state of all the heating and cooling units by issuing a request to turn off all the units,Yes,Yes(11)
8,9,Set_Trigger_Values shall read the initialization file and establish the trigger value from the data in that file.,No,No
9,2,The THEMAS system shall use the information contained in the initialization data file to determine which heating and cooling units are part of the THEMAS system.,No,No
10,15,The themas system shall only process current temperature,Yes,Yes(14)
11,22,The THEMAS system must compare the reported temperature values to the temperature setting and detect when the temperature value exceeds the specified limits.,Yes,Yes(21)
12,18,"If the current temperature value is less than the lower value of the valid temperature range or if the received temperature value is strictly greater than the upper value of the valid temperature range, then the THEMAS system shall identify the current temperature value as an invalid temperature and shall output an invalid temperature status. Otherwise, the THEMAS system shall output a valid temperature status.",Yes,Yes(17)
13,12,It shall then read the current temperature values and current temperature settings of each thermostat.,No,No
14,26,"If LO < = T < UO, then this process shall output the temperature status.",Yes,Yes(25)
15,23,If T < LO or UO < T then the THEMAS system shall recognize this condition as the temperature limit has been exceeded.,Yes,Yes(24)
16,1,The system shall read the intialization file and the definitions shall be derived from the initialization data in the file.,No,No
17,6,There shall be a maximum number of heating or cooling units that can be on at any given time.,No,No
18,7,Establish_Valid_Temperature_Range shall read the initialization file and establish the valid temperature range from the data in it.,No,No
19,17,"If the current temperature value is strictly less than the lower value of the valid temperature range or if the received temperature value is strictly greater than the upper value of the valid temperature range, then the THEMAS system shall identify the current temperature value as an invalid temperature and shall output an invalid temperature status. Otherwise, the THEMAS system shall output a valid temperature status.",Yes,Yes(18)
20,25,"If LO < = T < = UO, then this process shall output the temperature status.",Yes,Yes(26)
21,11,This process shall first determine a known state of all the heating and cooling units by issuing a request to turn off any unit,Yes,Yes(10)
22,13,"If the settings reflect a need for a heating or cooling unit to be turned on, the process shall issue a request to turn on the appropriate unit.",No,No
23,32,"If the maximum number of cooling units is already running, the request will be added to a LIFO queue.",Yes,Yes(31)
24,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)
25,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)
26,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)
27,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)
28,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
29,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)
30,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
31,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)
32,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
33,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)
34,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
35,16,A current temperature value that is received from an individual thermostat shall be compared to the valid temperature range values.,No,No
36,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)
37,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)
38,28,The THEMAS system shall maintain the ON/OFF status of each heating and cooling unit.,No,No
39,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)
40,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)
41,19,A temperature setting value that is received from an individual thermostat shall be compared to the valid temperature range values.,No,No
42,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)
43,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
44,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
45,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)