| Requirements |
R1 | Requirement per command | SKIP | no commands declared in the FPP model |
R2 | Requirement per telemetry channel | SKIP | no telemetry channels declared in the FPP model |
R3 | Requirement per event | SKIP | no events declared in the FPP model |
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 | - no requirements found (searched: /home/runner/work/fprime/fprime/Fw/Buffer/docs/sdd.md); cannot trace 4 port(s)
|
R7 | Requirement parent traceability | SKIP | no requirements found |
R8 | Requirement verification method | SKIP | no requirements found |
| Design |
D1 | Input port handlers defined | FAIL | - input port 'bufferIn' (sync) has no 'bufferIn_handler' override in the implementation
- input port 'bufferOutReturn' (sync) has no 'bufferOutReturn_handler' override in the implementation
|
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 | SKIP | no requirements found |
| Implementation |
I1 | Source dependencies listed in CMakeLists | PASS | 1 dependency module(s) checked |
I3 | Data product priorities configurable | SKIP | no data product containers declared |
| Unit Testing |
U3 | Unit-test dependencies in CMakeLists | PASS | 1 dependency module(s) checked |