,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