| Requirements |
R1 | Requirement per command | FAIL | - command 'CLEAR_EVENT_THROTTLE' has no requirement referencing it (add a requirement mentioning 'CLEAR_EVENT_THROTTLE')
|
R2 | Requirement per telemetry channel | FAIL | - telemetry channel 'NumSuccessfulAllocations' has no requirement referencing it (add a requirement mentioning 'NumSuccessfulAllocations')
- telemetry channel 'NumFailedAllocations' has no requirement referencing it (add a requirement mentioning 'NumFailedAllocations')
- telemetry channel 'NumDataProducts' has no requirement referencing it (add a requirement mentioning 'NumDataProducts')
- telemetry channel 'NumBytes' has no requirement referencing it (add a requirement mentioning 'NumBytes')
|
R3 | Requirement per event | FAIL | - event 'BufferAllocationFailed' has no requirement referencing it (add a requirement mentioning 'BufferAllocationFailed')
|
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 'schedIn' has no requirement referencing it (add a requirement mentioning 'schedIn')
- port 'productGetIn' has no requirement referencing it (add a requirement mentioning 'productGetIn')
- port 'productRequestIn' has no requirement referencing it (add a requirement mentioning 'productRequestIn')
- port 'productSendIn' has no requirement referencing it (add a requirement mentioning 'productSendIn')
- port 'productResponseOut' has no requirement referencing it (add a requirement mentioning 'productResponseOut')
- port 'bufferGetOut' has no requirement referencing it (add a requirement mentioning 'bufferGetOut')
- port 'productSendOut' has no requirement referencing it (add a requirement mentioning 'productSendOut')
|
R7 | Requirement parent traceability | FAIL | - requirement 'SVC-DPMANAGER-001' (/home/runner/work/fprime/fprime/Svc/DpManager/docs/sdd.md:33) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'SVC-DPMANAGER-002' (/home/runner/work/fprime/fprime/Svc/DpManager/docs/sdd.md:34) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'SVC-DPMANAGER-003' (/home/runner/work/fprime/fprime/Svc/DpManager/docs/sdd.md:35) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'SVC-DPMANAGER-004' (/home/runner/work/fprime/fprime/Svc/DpManager/docs/sdd.md:36) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
|
R8 | Requirement verification method | PASS | 4 requirement(s) checked |
| Design |
D1 | Input port handlers defined | PASS | 4 input port(s) checked |
D2 | Command handlers defined | PASS | 1 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 | FAIL | - requirement 'SVC-DPMANAGER-001' (/home/runner/work/fprime/fprime/Svc/DpManager/docs/sdd.md:33) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
- requirement 'SVC-DPMANAGER-002' (/home/runner/work/fprime/fprime/Svc/DpManager/docs/sdd.md:34) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
- requirement 'SVC-DPMANAGER-003' (/home/runner/work/fprime/fprime/Svc/DpManager/docs/sdd.md:35) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
- requirement 'SVC-DPMANAGER-004' (/home/runner/work/fprime/fprime/Svc/DpManager/docs/sdd.md:36) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
|
| Implementation |
I1 | Source dependencies listed in CMakeLists | PASS | 0 dependency module(s) checked |
I3 | Data product priorities configurable | SKIP | no data product containers declared |
| Unit Testing |
U3 | Unit-test dependencies in CMakeLists | FAIL | - unit-test dependency 'Fw/Types' (from #include "Fw/Types/Optional.hpp") is not declared in the module's CMake files (add it to UT_DEPENDS/DEPENDS)
|