Checks — Svc/TlmPacketizer

Checklist checks — Svc/TlmPacketizer

← module · devel @ d3003862b5fd · generated 2026-11-03T21:10:23Z

ID	Check	Status	Notes
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 'CONFIGURE_GROUP_SEND' has no requirement referencing it (add a requirement mentioning 'CONFIGURE_GROUP_SEND') command 'CONFIGURE_GROUP_RATES' has no requirement referencing it (add a requirement mentioning 'CONFIGURE_GROUP_RATES') command 'GET_PACKET_CONFIG' has no requirement referencing it (add a requirement mentioning 'GET_PACKET_CONFIG') command 'OVERRIDE_PACKET_SEND' has no requirement referencing it (add a requirement mentioning 'OVERRIDE_PACKET_SEND') command 'OVERRIDE_PACKET_RATES' has no requirement referencing it (add a requirement mentioning 'OVERRIDE_PACKET_RATES') command 'CLEAR_PACKET_OVERRIDE' has no requirement referencing it (add a requirement mentioning 'CLEAR_PACKET_OVERRIDE')
`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') event 'ReloadRecordUnknownPacket' has no requirement referencing it (add a requirement mentioning 'ReloadRecordUnknownPacket') event 'ReloadRecordInvalid' has no requirement referencing it (add a requirement mentioning 'ReloadRecordInvalid') event 'PacketConfigReport' has no requirement referencing it (add a requirement mentioning 'PacketConfigReport') event 'PacketOverrideSet' has no requirement referencing it (add a requirement mentioning 'PacketOverrideSet') event 'PacketOverrideCleared' has no requirement referencing it (add a requirement mentioning 'PacketOverrideCleared') event 'ConfigReloadFailed' has no requirement referencing it (add a requirement mentioning 'ConfigReloadFailed') event 'InvalidPacketConfig' has no requirement referencing it (add a requirement mentioning 'InvalidPacketConfig') event 'GroupSendStateSet' has no requirement referencing it (add a requirement mentioning 'GroupSendStateSet')
`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 'packetOverrideReturnIn' has no requirement referencing it (add a requirement mentioning 'packetOverrideReturnIn') 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') port 'packetOverrideReturnOut' has no requirement referencing it (add a requirement mentioning 'packetOverrideReturnOut')
`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) requirement 'TPK-007' (/home/runner/work/fprime/fprime/Svc/TlmPacketizer/docs/sdd.md:25) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'TPK-008' (/home/runner/work/fprime/fprime/Svc/TlmPacketizer/docs/sdd.md:26) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'TPK-009' (/home/runner/work/fprime/fprime/Svc/TlmPacketizer/docs/sdd.md:27) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'TPK-010' (/home/runner/work/fprime/fprime/Svc/TlmPacketizer/docs/sdd.md:28) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'TPK-011' (/home/runner/work/fprime/fprime/Svc/TlmPacketizer/docs/sdd.md:29) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'TPK-012' (/home/runner/work/fprime/fprime/Svc/TlmPacketizer/docs/sdd.md:30) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
`R8`	Requirement verification method	PASS	12 requirement(s) checked
Design
`D1`	Input port handlers defined	PASS	8 input port(s) checked
`D2`	Command handlers defined	PASS	9 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) requirement 'TPK-007' (/home/runner/work/fprime/fprime/Svc/TlmPacketizer/docs/sdd.md:25) is not mapped to any design artifact (add a Design column entry or reference it in a design section) requirement 'TPK-008' (/home/runner/work/fprime/fprime/Svc/TlmPacketizer/docs/sdd.md:26) is not mapped to any design artifact (add a Design column entry or reference it in a design section) requirement 'TPK-009' (/home/runner/work/fprime/fprime/Svc/TlmPacketizer/docs/sdd.md:27) is not mapped to any design artifact (add a Design column entry or reference it in a design section) requirement 'TPK-010' (/home/runner/work/fprime/fprime/Svc/TlmPacketizer/docs/sdd.md:28) is not mapped to any design artifact (add a Design column entry or reference it in a design section) requirement 'TPK-011' (/home/runner/work/fprime/fprime/Svc/TlmPacketizer/docs/sdd.md:29) is not mapped to any design artifact (add a Design column entry or reference it in a design section) requirement 'TPK-012' (/home/runner/work/fprime/fprime/Svc/TlmPacketizer/docs/sdd.md:30) 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/Buffer' (from #include "Fw/Buffer/Buffer.hpp") is not declared in CMakeLists.txt (add it to DEPENDS as Fw_Buffer) 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)

Check

Status

Notes

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 'CONFIGURE_GROUP_SEND' has no requirement referencing it (add a requirement mentioning 'CONFIGURE_GROUP_SEND')
command 'CONFIGURE_GROUP_RATES' has no requirement referencing it (add a requirement mentioning 'CONFIGURE_GROUP_RATES')
command 'GET_PACKET_CONFIG' has no requirement referencing it (add a requirement mentioning 'GET_PACKET_CONFIG')
command 'OVERRIDE_PACKET_SEND' has no requirement referencing it (add a requirement mentioning 'OVERRIDE_PACKET_SEND')
command 'OVERRIDE_PACKET_RATES' has no requirement referencing it (add a requirement mentioning 'OVERRIDE_PACKET_RATES')
command 'CLEAR_PACKET_OVERRIDE' has no requirement referencing it (add a requirement mentioning 'CLEAR_PACKET_OVERRIDE')

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')
event 'ReloadRecordUnknownPacket' has no requirement referencing it (add a requirement mentioning 'ReloadRecordUnknownPacket')
event 'ReloadRecordInvalid' has no requirement referencing it (add a requirement mentioning 'ReloadRecordInvalid')
event 'PacketConfigReport' has no requirement referencing it (add a requirement mentioning 'PacketConfigReport')
event 'PacketOverrideSet' has no requirement referencing it (add a requirement mentioning 'PacketOverrideSet')
event 'PacketOverrideCleared' has no requirement referencing it (add a requirement mentioning 'PacketOverrideCleared')
event 'ConfigReloadFailed' has no requirement referencing it (add a requirement mentioning 'ConfigReloadFailed')
event 'InvalidPacketConfig' has no requirement referencing it (add a requirement mentioning 'InvalidPacketConfig')
event 'GroupSendStateSet' has no requirement referencing it (add a requirement mentioning 'GroupSendStateSet')

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 'packetOverrideReturnIn' has no requirement referencing it (add a requirement mentioning 'packetOverrideReturnIn')
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')
port 'packetOverrideReturnOut' has no requirement referencing it (add a requirement mentioning 'packetOverrideReturnOut')

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)
requirement 'TPK-007' (/home/runner/work/fprime/fprime/Svc/TlmPacketizer/docs/sdd.md:25) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'TPK-008' (/home/runner/work/fprime/fprime/Svc/TlmPacketizer/docs/sdd.md:26) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'TPK-009' (/home/runner/work/fprime/fprime/Svc/TlmPacketizer/docs/sdd.md:27) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'TPK-010' (/home/runner/work/fprime/fprime/Svc/TlmPacketizer/docs/sdd.md:28) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'TPK-011' (/home/runner/work/fprime/fprime/Svc/TlmPacketizer/docs/sdd.md:29) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'TPK-012' (/home/runner/work/fprime/fprime/Svc/TlmPacketizer/docs/sdd.md:30) has no parent trace (add a Parent/Trace column entry linking a parent requirement)

R8

Requirement verification method

PASS

12 requirement(s) checked

Design

D1

Input port handlers defined

PASS

8 input port(s) checked

D2

Command handlers defined

PASS

9 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)
requirement 'TPK-007' (/home/runner/work/fprime/fprime/Svc/TlmPacketizer/docs/sdd.md:25) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
requirement 'TPK-008' (/home/runner/work/fprime/fprime/Svc/TlmPacketizer/docs/sdd.md:26) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
requirement 'TPK-009' (/home/runner/work/fprime/fprime/Svc/TlmPacketizer/docs/sdd.md:27) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
requirement 'TPK-010' (/home/runner/work/fprime/fprime/Svc/TlmPacketizer/docs/sdd.md:28) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
requirement 'TPK-011' (/home/runner/work/fprime/fprime/Svc/TlmPacketizer/docs/sdd.md:29) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
requirement 'TPK-012' (/home/runner/work/fprime/fprime/Svc/TlmPacketizer/docs/sdd.md:30) 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/Buffer' (from #include "Fw/Buffer/Buffer.hpp") is not declared in CMakeLists.txt (add it to DEPENDS as Fw_Buffer)
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)

Checklist checks — Svc/TlmPacketizer

Checklist checks — `Svc/TlmPacketizer`