Checks — Os/Generic

Checklist checks — Os/Generic

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

ID	Check	Status	Notes
Requirements
`R1`	Requirement per command	SKIP	no FPP files found
`R2`	Requirement per telemetry channel	SKIP	no FPP files found
`R3`	Requirement per event	SKIP	no FPP files found
`R4`	Requirement per parameter	SKIP	no FPP files found
`R5`	Requirement per data product	SKIP	no FPP files found
`R6`	Requirement per port/interface	SKIP	no FPP files found
`R7`	Requirement parent traceability	FAIL	requirement 'PQ-001' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:29) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'PQ-002' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:30) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'PQ-003' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:31) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'PQ-004' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:32) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'PQ-005' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:33) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'PQ-006' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:34) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'PQ-007' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:35) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'PQ-008' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:36) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'PQ-009' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:37) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'PQ-010' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:38) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'PQ-011' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:39) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'PQ-012' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:40) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'PQ-013' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:41) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'PQ-014' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:42) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'PMQ-001' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:104) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'PMQ-002' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:105) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'PMQ-003' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:106) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'PMQ-004' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:107) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'PMQ-005' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:108) has no parent trace (add a Parent/Trace column entry linking a parent requirement) requirement 'PMQ-006' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:109) has no parent trace (add a Parent/Trace column entry linking a parent requirement) ... 8 more
`R8`	Requirement verification method	FAIL	requirement 'PMQ-009' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:112) has no verification method (expected one of Test/Analysis/Inspection/Demonstration, got: 'Platform dependent')
Design
`D1`	Input port handlers defined	SKIP	no FPP files found
`D2`	Command handlers defined	SKIP	no FPP files found
`D3`	State machine actions defined	SKIP	no FPP files found
`D4`	Data product containers have default priority	SKIP	no FPP files found
`D5`	Requirements mapped to design artifacts	FAIL	requirement 'PQ-001' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:29) is not mapped to any design artifact (add a Design column entry or reference it in a design section) requirement 'PQ-002' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:30) is not mapped to any design artifact (add a Design column entry or reference it in a design section) requirement 'PQ-003' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:31) is not mapped to any design artifact (add a Design column entry or reference it in a design section) requirement 'PQ-004' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:32) is not mapped to any design artifact (add a Design column entry or reference it in a design section) requirement 'PQ-005' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:33) is not mapped to any design artifact (add a Design column entry or reference it in a design section) requirement 'PQ-006' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:34) is not mapped to any design artifact (add a Design column entry or reference it in a design section) requirement 'PQ-007' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:35) is not mapped to any design artifact (add a Design column entry or reference it in a design section) requirement 'PQ-008' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:36) is not mapped to any design artifact (add a Design column entry or reference it in a design section) requirement 'PQ-009' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:37) is not mapped to any design artifact (add a Design column entry or reference it in a design section) requirement 'PQ-010' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:38) is not mapped to any design artifact (add a Design column entry or reference it in a design section) requirement 'PQ-011' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:39) is not mapped to any design artifact (add a Design column entry or reference it in a design section) requirement 'PQ-012' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:40) is not mapped to any design artifact (add a Design column entry or reference it in a design section) requirement 'PQ-013' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:41) is not mapped to any design artifact (add a Design column entry or reference it in a design section) requirement 'PQ-014' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:42) is not mapped to any design artifact (add a Design column entry or reference it in a design section) requirement 'PMQ-001' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:104) is not mapped to any design artifact (add a Design column entry or reference it in a design section) requirement 'PMQ-002' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:105) is not mapped to any design artifact (add a Design column entry or reference it in a design section) requirement 'PMQ-003' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:106) is not mapped to any design artifact (add a Design column entry or reference it in a design section) requirement 'PMQ-004' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:107) is not mapped to any design artifact (add a Design column entry or reference it in a design section) requirement 'PMQ-005' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:108) is not mapped to any design artifact (add a Design column entry or reference it in a design section) requirement 'PMQ-006' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:109) is not mapped to any design artifact (add a Design column entry or reference it in a design section) ... 8 more
Implementation
`I1`	Source dependencies listed in CMakeLists	FAIL	dependency 'Fw/Logger' (from #include "Fw/Logger/Logger.hpp") is not declared in CMakeLists.txt (add it to DEPENDS as Fw_Logger)
`I3`	Data product priorities configurable	SKIP	no FPP files found
Unit Testing
`U3`	Unit-test dependencies in CMakeLists	PASS	6 dependency module(s) checked

Check

Status

Notes

Requirements

R1

Requirement per command

SKIP

no FPP files found

R2

Requirement per telemetry channel

SKIP

no FPP files found

R3

Requirement per event

SKIP

no FPP files found

R4

Requirement per parameter

SKIP

no FPP files found

R5

Requirement per data product

SKIP

no FPP files found

R6

Requirement per port/interface

SKIP

no FPP files found

R7

Requirement parent traceability

FAIL

requirement 'PQ-001' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:29) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'PQ-002' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:30) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'PQ-003' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:31) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'PQ-004' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:32) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'PQ-005' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:33) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'PQ-006' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:34) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'PQ-007' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:35) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'PQ-008' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:36) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'PQ-009' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:37) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'PQ-010' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:38) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'PQ-011' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:39) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'PQ-012' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:40) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'PQ-013' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:41) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'PQ-014' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:42) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'PMQ-001' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:104) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'PMQ-002' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:105) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'PMQ-003' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:106) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'PMQ-004' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:107) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'PMQ-005' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:108) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
requirement 'PMQ-006' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:109) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
... 8 more

R8

Requirement verification method

FAIL

requirement 'PMQ-009' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:112) has no verification method (expected one of Test/Analysis/Inspection/Demonstration, got: 'Platform dependent')

Design

D1

Input port handlers defined

SKIP

no FPP files found

D2

Command handlers defined

SKIP

no FPP files found

D3

State machine actions defined

SKIP

no FPP files found

D4

Data product containers have default priority

SKIP

no FPP files found

D5

Requirements mapped to design artifacts

FAIL

requirement 'PQ-001' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:29) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
requirement 'PQ-002' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:30) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
requirement 'PQ-003' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:31) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
requirement 'PQ-004' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:32) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
requirement 'PQ-005' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:33) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
requirement 'PQ-006' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:34) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
requirement 'PQ-007' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:35) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
requirement 'PQ-008' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:36) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
requirement 'PQ-009' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:37) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
requirement 'PQ-010' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:38) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
requirement 'PQ-011' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:39) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
requirement 'PQ-012' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:40) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
requirement 'PQ-013' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:41) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
requirement 'PQ-014' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:42) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
requirement 'PMQ-001' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:104) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
requirement 'PMQ-002' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:105) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
requirement 'PMQ-003' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:106) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
requirement 'PMQ-004' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:107) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
requirement 'PMQ-005' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:108) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
requirement 'PMQ-006' (/home/runner/work/fprime/fprime/Os/Generic/docs/sdd.md:109) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
... 8 more

Implementation

I1

Source dependencies listed in CMakeLists

FAIL

dependency 'Fw/Logger' (from #include "Fw/Logger/Logger.hpp") is not declared in CMakeLists.txt (add it to DEPENDS as Fw_Logger)

I3

Data product priorities configurable

SKIP

no FPP files found

Unit Testing

U3

Unit-test dependencies in CMakeLists

PASS

6 dependency module(s) checked

Checklist checks — Os/Generic

Checklist checks — `Os/Generic`