,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,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)