| Requirements |
R1 | Requirement per command | FAIL | - command 'HLTH_ENABLE' has no requirement referencing it (add a requirement mentioning 'HLTH_ENABLE')
- command 'HLTH_PING_ENABLE' has no requirement referencing it (add a requirement mentioning 'HLTH_PING_ENABLE')
- command 'HLTH_CHNG_PING' has no requirement referencing it (add a requirement mentioning 'HLTH_CHNG_PING')
|
R2 | Requirement per telemetry channel | FAIL | - telemetry channel 'PingLateWarnings' has no requirement referencing it (add a requirement mentioning 'PingLateWarnings')
|
R3 | Requirement per event | FAIL | - event 'HLTH_PING_WARN' has no requirement referencing it (add a requirement mentioning 'HLTH_PING_WARN')
- event 'HLTH_PING_LATE' has no requirement referencing it (add a requirement mentioning 'HLTH_PING_LATE')
- event 'HLTH_PING_WRONG_KEY' has no requirement referencing it (add a requirement mentioning 'HLTH_PING_WRONG_KEY')
- event 'HLTH_CHECK_ENABLE' has no requirement referencing it (add a requirement mentioning 'HLTH_CHECK_ENABLE')
- event 'HLTH_CHECK_PING' has no requirement referencing it (add a requirement mentioning 'HLTH_CHECK_PING')
- event 'HLTH_CHECK_LOOKUP_ERROR' has no requirement referencing it (add a requirement mentioning 'HLTH_CHECK_LOOKUP_ERROR')
- event 'HLTH_PING_UPDATED' has no requirement referencing it (add a requirement mentioning 'HLTH_PING_UPDATED')
- event 'HLTH_PING_INVALID_VALUES' has no requirement referencing it (add a requirement mentioning 'HLTH_PING_INVALID_VALUES')
|
R4 | Requirement per parameter | SKIP | no parameters declared in the FPP model |
R5 | Requirement per data product | SKIP | no data products declared in the FPP model |
R6 | Requirement per port/interface | FAIL | - port 'PingReturn' has no requirement referencing it (add a requirement mentioning 'PingReturn')
- port 'Run' has no requirement referencing it (add a requirement mentioning 'Run')
- port 'PingSend' has no requirement referencing it (add a requirement mentioning 'PingSend')
- port 'WdogStroke' has no requirement referencing it (add a requirement mentioning 'WdogStroke')
|
R7 | Requirement parent traceability | FAIL | - requirement 'HTH-001' (/home/runner/work/fprime/fprime/Svc/Health/docs/sdd.md:13) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'HTH-002' (/home/runner/work/fprime/fprime/Svc/Health/docs/sdd.md:14) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'HTH-003' (/home/runner/work/fprime/fprime/Svc/Health/docs/sdd.md:15) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'HTH-004' (/home/runner/work/fprime/fprime/Svc/Health/docs/sdd.md:16) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'HTH-005' (/home/runner/work/fprime/fprime/Svc/Health/docs/sdd.md:17) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'HTH-006' (/home/runner/work/fprime/fprime/Svc/Health/docs/sdd.md:18) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'HTH-007' (/home/runner/work/fprime/fprime/Svc/Health/docs/sdd.md:19) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
|
R8 | Requirement verification method | PASS | 7 requirement(s) checked |
| Design |
D1 | Input port handlers defined | PASS | 2 input port(s) checked |
D2 | Command handlers defined | PASS | 3 command(s) checked |
D3 | State machine actions defined | SKIP | no state machines declared |
D4 | Data product containers have default priority | SKIP | no data product containers declared |
D5 | Requirements mapped to design artifacts | PASS | 7 requirement(s) checked |
| Implementation |
I1 | Source dependencies listed in CMakeLists | FAIL | - dependency 'Fw/Types' (from #include "Fw/Types/Assert.hpp") is not declared in CMakeLists.txt (add it to DEPENDS as Fw_Types)
|
I3 | Data product priorities configurable | SKIP | no data product containers declared |
| Unit Testing |
U3 | Unit-test dependencies in CMakeLists | PASS | 0 dependency module(s) checked |