| Requirements |
R1 | Requirement per command | FAIL | - command 'SET_LEVEL' has no requirement referencing it (add a requirement mentioning 'SET_LEVEL')
- command 'SEND_PKT' has no requirement referencing it (add a requirement mentioning 'SEND_PKT')
- command 'ENABLE_SECTION' has no requirement referencing it (add a requirement mentioning 'ENABLE_SECTION')
- command 'ENABLE_GROUP' has no requirement referencing it (add a requirement mentioning 'ENABLE_GROUP')
- command 'FORCE_GROUP' has no requirement referencing it (add a requirement mentioning 'FORCE_GROUP')
- command 'CONFIGURE_GROUP_RATES' has no requirement referencing it (add a requirement mentioning 'CONFIGURE_GROUP_RATES')
|
R2 | Requirement per telemetry channel | FAIL | - telemetry channel 'GroupConfigs' has no requirement referencing it (add a requirement mentioning 'GroupConfigs')
- telemetry channel 'SectionEnabled' has no requirement referencing it (add a requirement mentioning 'SectionEnabled')
|
R3 | Requirement per event | FAIL | - event 'NoChan' has no requirement referencing it (add a requirement mentioning 'NoChan')
- event 'LevelSet' has no requirement referencing it (add a requirement mentioning 'LevelSet')
- event 'MaxLevelExceed' has no requirement referencing it (add a requirement mentioning 'MaxLevelExceed')
- event 'PacketSent' has no requirement referencing it (add a requirement mentioning 'PacketSent')
- event 'PacketNotFound' has no requirement referencing it (add a requirement mentioning 'PacketNotFound')
- event 'SectionUnconfigurable' has no requirement referencing it (add a requirement mentioning 'SectionUnconfigurable')
- event 'OversizedChannel' has no requirement referencing it (add a requirement mentioning 'OversizedChannel')
|
R4 | Requirement per parameter | FAIL | - parameter 'SECTION_ENABLED' has no requirement referencing it (add a requirement mentioning 'SECTION_ENABLED')
- parameter 'SECTION_CONFIGS' has no requirement referencing it (add a requirement mentioning 'SECTION_CONFIGS')
|
R5 | Requirement per data product | SKIP | no data products declared in the FPP model |
R6 | Requirement per port/interface | FAIL | - port 'controlIn' has no requirement referencing it (add a requirement mentioning 'controlIn')
- port 'pingIn' has no requirement referencing it (add a requirement mentioning 'pingIn')
- port 'Run' has no requirement referencing it (add a requirement mentioning 'Run')
- port 'configureSectionGroupRate' has no requirement referencing it (add a requirement mentioning 'configureSectionGroupRate')
- port 'TlmRecv' has no requirement referencing it (add a requirement mentioning 'TlmRecv')
- port 'TlmGet' has no requirement referencing it (add a requirement mentioning 'TlmGet')
- port 'PktSend' has no requirement referencing it (add a requirement mentioning 'PktSend')
- port 'pingOut' has no requirement referencing it (add a requirement mentioning 'pingOut')
|
R7 | Requirement parent traceability | FAIL | - requirement 'TPK-001' (/home/runner/work/fprime/fprime/Svc/TlmPacketizer/docs/sdd.md:19) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'TPK-002' (/home/runner/work/fprime/fprime/Svc/TlmPacketizer/docs/sdd.md:20) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'TPK-003' (/home/runner/work/fprime/fprime/Svc/TlmPacketizer/docs/sdd.md:21) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'TPK-004' (/home/runner/work/fprime/fprime/Svc/TlmPacketizer/docs/sdd.md:22) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'TPK-005' (/home/runner/work/fprime/fprime/Svc/TlmPacketizer/docs/sdd.md:23) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'TPK-006' (/home/runner/work/fprime/fprime/Svc/TlmPacketizer/docs/sdd.md:24) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
|
R8 | Requirement verification method | PASS | 6 requirement(s) checked |
| Design |
D1 | Input port handlers defined | PASS | 6 input port(s) checked |
D2 | Command handlers defined | PASS | 6 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 'TPK-001' (/home/runner/work/fprime/fprime/Svc/TlmPacketizer/docs/sdd.md:19) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
- requirement 'TPK-002' (/home/runner/work/fprime/fprime/Svc/TlmPacketizer/docs/sdd.md:20) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
- requirement 'TPK-003' (/home/runner/work/fprime/fprime/Svc/TlmPacketizer/docs/sdd.md:21) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
- requirement 'TPK-004' (/home/runner/work/fprime/fprime/Svc/TlmPacketizer/docs/sdd.md:22) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
- requirement 'TPK-005' (/home/runner/work/fprime/fprime/Svc/TlmPacketizer/docs/sdd.md:23) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
- requirement 'TPK-006' (/home/runner/work/fprime/fprime/Svc/TlmPacketizer/docs/sdd.md:24) 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 | FAIL | - dependency 'Fw/Com' (from #include "Fw/Com/ComPacket.hpp") is not declared in CMakeLists.txt (add it to DEPENDS as Fw_Com)
- dependency 'Fw/DataStructures' (from #include "Fw/DataStructures/Array.hpp") is not declared in CMakeLists.txt (add it to DEPENDS as Fw_DataStructures)
- dependency 'Fw/Prm' (from #include "Fw/Prm/ParamValid.hpp") is not declared in CMakeLists.txt (add it to DEPENDS as Fw_Prm)
- dependency 'Os' (from #include "Os/Mutex.hpp") is not declared in CMakeLists.txt (add it to DEPENDS as Os)
- dependency 'TlmPacketizerConfig' (from #include "TlmPacketizerConfig/TlmPacketizerCfg.hpp") is not declared in CMakeLists.txt (add it to DEPENDS as TlmPacketizerConfig)
|
I3 | Data product priorities configurable | SKIP | no data product containers declared |
| Unit Testing |
U3 | Unit-test dependencies in CMakeLists | FAIL | - unit-test dependency 'Fw/Com' (from #include "Fw/Com/ComPacket.hpp") is not declared in the module's CMake files (add it to UT_DEPENDS/DEPENDS)
|