Checks — Svc/BufferManager

Checklist checks — Svc/BufferManager

← module · devel @ e84571354780 · generated 2026-09-03T21:13:22Z

ID	Check	Status	Notes
Requirements
`R1`	Requirement per command	SKIP	no commands declared in the FPP model
`R2`	Requirement per telemetry channel	FAIL	telemetry channel 'TotalBuffs' has no requirement referencing it (add a requirement mentioning 'TotalBuffs') telemetry channel 'CurrBuffs' has no requirement referencing it (add a requirement mentioning 'CurrBuffs') telemetry channel 'HiBuffs' has no requirement referencing it (add a requirement mentioning 'HiBuffs') telemetry channel 'NoBuffs' has no requirement referencing it (add a requirement mentioning 'NoBuffs') telemetry channel 'EmptyBuffs' has no requirement referencing it (add a requirement mentioning 'EmptyBuffs')
`R3`	Requirement per event	FAIL	event 'NoBuffsAvailable' has no requirement referencing it (add a requirement mentioning 'NoBuffsAvailable')
`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 'bufferSendIn' has no requirement referencing it (add a requirement mentioning 'bufferSendIn') port 'bufferGetCallee' has no requirement referencing it (add a requirement mentioning 'bufferGetCallee') port 'schedIn' has no requirement referencing it (add a requirement mentioning 'schedIn')
`R7`	Requirement parent traceability	FAIL	requirement 'FPRIME-BM-001' (/home/runner/work/fprime/fprime/Svc/BufferManager/docs/sdd.md:14) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'FPRIME-BM-002' (/home/runner/work/fprime/fprime/Svc/BufferManager/docs/sdd.md:15) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'FPRIME-BM-003' (/home/runner/work/fprime/fprime/Svc/BufferManager/docs/sdd.md:16) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'FPRIME-BM-004' (/home/runner/work/fprime/fprime/Svc/BufferManager/docs/sdd.md:17) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'FPRIME-BM-005' (/home/runner/work/fprime/fprime/Svc/BufferManager/docs/sdd.md:18) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'FPRIME-BM-006' (/home/runner/work/fprime/fprime/Svc/BufferManager/docs/sdd.md:19) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'FPRIME-BM-007' (/home/runner/work/fprime/fprime/Svc/BufferManager/docs/sdd.md:20) 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	3 input port(s) checked
`D2`	Command handlers defined	SKIP	no commands declared
`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 'FPRIME-BM-001' (/home/runner/work/fprime/fprime/Svc/BufferManager/docs/sdd.md:14) is not mapped to any design artifact (add a Design column entry or reference it in a design section) requirement 'FPRIME-BM-002' (/home/runner/work/fprime/fprime/Svc/BufferManager/docs/sdd.md:15) is not mapped to any design artifact (add a Design column entry or reference it in a design section) requirement 'FPRIME-BM-003' (/home/runner/work/fprime/fprime/Svc/BufferManager/docs/sdd.md:16) is not mapped to any design artifact (add a Design column entry or reference it in a design section) requirement 'FPRIME-BM-004' (/home/runner/work/fprime/fprime/Svc/BufferManager/docs/sdd.md:17) is not mapped to any design artifact (add a Design column entry or reference it in a design section) requirement 'FPRIME-BM-005' (/home/runner/work/fprime/fprime/Svc/BufferManager/docs/sdd.md:18) is not mapped to any design artifact (add a Design column entry or reference it in a design section) requirement 'FPRIME-BM-006' (/home/runner/work/fprime/fprime/Svc/BufferManager/docs/sdd.md:19) is not mapped to any design artifact (add a Design column entry or reference it in a design section) requirement 'FPRIME-BM-007' (/home/runner/work/fprime/fprime/Svc/BufferManager/docs/sdd.md:20) 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/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	FAIL	unit-test dependency 'Fw/Types' (from #include "Fw/Types/MallocAllocator.hpp") is not declared in the module's CMake files (add it to UT_DEPENDS/DEPENDS)

Check

Status

Notes

Requirements

R1

Requirement per command

SKIP

no commands declared in the FPP model

R2

Requirement per telemetry channel

FAIL

telemetry channel 'TotalBuffs' has no requirement referencing it (add a requirement mentioning 'TotalBuffs')
telemetry channel 'CurrBuffs' has no requirement referencing it (add a requirement mentioning 'CurrBuffs')
telemetry channel 'HiBuffs' has no requirement referencing it (add a requirement mentioning 'HiBuffs')
telemetry channel 'NoBuffs' has no requirement referencing it (add a requirement mentioning 'NoBuffs')
telemetry channel 'EmptyBuffs' has no requirement referencing it (add a requirement mentioning 'EmptyBuffs')

R3

Requirement per event

FAIL

event 'NoBuffsAvailable' has no requirement referencing it (add a requirement mentioning 'NoBuffsAvailable')

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

R7

Requirement parent traceability

FAIL

requirement 'FPRIME-BM-001' (/home/runner/work/fprime/fprime/Svc/BufferManager/docs/sdd.md:14) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'FPRIME-BM-002' (/home/runner/work/fprime/fprime/Svc/BufferManager/docs/sdd.md:15) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'FPRIME-BM-003' (/home/runner/work/fprime/fprime/Svc/BufferManager/docs/sdd.md:16) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'FPRIME-BM-004' (/home/runner/work/fprime/fprime/Svc/BufferManager/docs/sdd.md:17) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'FPRIME-BM-005' (/home/runner/work/fprime/fprime/Svc/BufferManager/docs/sdd.md:18) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'FPRIME-BM-006' (/home/runner/work/fprime/fprime/Svc/BufferManager/docs/sdd.md:19) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'FPRIME-BM-007' (/home/runner/work/fprime/fprime/Svc/BufferManager/docs/sdd.md:20) 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

3 input port(s) checked

D2

Command handlers defined

SKIP

no commands declared

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 'FPRIME-BM-001' (/home/runner/work/fprime/fprime/Svc/BufferManager/docs/sdd.md:14) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
requirement 'FPRIME-BM-002' (/home/runner/work/fprime/fprime/Svc/BufferManager/docs/sdd.md:15) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
requirement 'FPRIME-BM-003' (/home/runner/work/fprime/fprime/Svc/BufferManager/docs/sdd.md:16) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
requirement 'FPRIME-BM-004' (/home/runner/work/fprime/fprime/Svc/BufferManager/docs/sdd.md:17) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
requirement 'FPRIME-BM-005' (/home/runner/work/fprime/fprime/Svc/BufferManager/docs/sdd.md:18) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
requirement 'FPRIME-BM-006' (/home/runner/work/fprime/fprime/Svc/BufferManager/docs/sdd.md:19) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
requirement 'FPRIME-BM-007' (/home/runner/work/fprime/fprime/Svc/BufferManager/docs/sdd.md:20) 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/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

FAIL

unit-test dependency 'Fw/Types' (from #include "Fw/Types/MallocAllocator.hpp") is not declared in the module's CMake files (add it to UT_DEPENDS/DEPENDS)

Checklist checks — Svc/BufferManager

Checklist checks — `Svc/BufferManager`