Requirements coverage exported by reqcov at commit 3094610 2026-09-24T19:51:00Z reqcov 1.0 reqcov 0.3.1 _dt_string _dt_string _dt_xhtml _dt_string _dt_string _dt_string _dt_string _dt_string _dt_string _dt_string _dt_string _dt_string _dt_string _dt_string _type_requirement _attr_id _attr_name _attr_text The controller shall turn the heater on when temperature < setpoint − 0.25 °C and off when temperature > setpoint + 0.25 °C. _attr_level _attr_verification _attr_status _attr_coverage _attr_tests _attr_results _attr_sources _attr_location _attr_commit _type_requirement _attr_id _attr_name _attr_text The controller shall force the heater off and raise an alarm when temperature ≥ 35.0 °C, regardless of setpoint. _attr_level _attr_verification _attr_status _attr_tags _attr_coverage _attr_tests _attr_results _attr_sources _attr_location _attr_commit _type_requirement _attr_id _attr_name _attr_text The controller shall reject setpoints outside [5.0, 30.0] °C and keep the previous value. _attr_level _attr_verification _attr_status _attr_coverage _attr_tests _attr_results _attr_sources _attr_location _attr_commit _type_requirement _attr_id _attr_name _attr_text If the sensor returns NaN, the controller shall turn the heater off and raise a sensor alarm. _attr_level _attr_verification _attr_status _attr_coverage _attr_sources _attr_location _attr_commit _type_requirement _attr_id _attr_name _attr_text Every state change shall be logged as `timestamp;temp;setpoint;heater`. _attr_level _attr_verification _attr_status _attr_coverage _attr_location _attr_commit _type_requirement _attr_id _attr_name _attr_text The system shall keep room temperature within ±0.5 °C of the setpoint. _attr_level _attr_verification _attr_status _attr_coverage _attr_location _attr_commit _type_requirement _attr_id _attr_name _attr_text The heater shall be switched off whenever the measured temperature exceeds 35 °C. _attr_level _attr_verification _attr_status _attr_coverage _attr_tests _attr_results _attr_location _attr_commit _type_requirement _attr_id _attr_name _attr_text The user shall be able to set a setpoint between 5 °C and 30 °C. _attr_level _attr_verification _attr_status _attr_coverage _attr_tests _attr_results _attr_location _attr_commit _type_parent _req_SRS-10 _req_SYS-1 _type_parent _req_SRS-11 _req_SYS-2 _type_parent _req_SRS-12 _req_SYS-3 _type_parent _req_SRS-13 _req_SYS-2 _type_specification _type_specification