| Requirements |
R1 | Requirement per command | SKIP | no commands declared in the FPP model |
R2 | Requirement per telemetry channel | FAIL | - telemetry channel 'FilesReceived' has no requirement referencing it (add a requirement mentioning 'FilesReceived')
- telemetry channel 'PacketsReceived' has no requirement referencing it (add a requirement mentioning 'PacketsReceived')
- telemetry channel 'Warnings' has no requirement referencing it (add a requirement mentioning 'Warnings')
- telemetry channel 'FilesReceivedFailed' has no requirement referencing it (add a requirement mentioning 'FilesReceivedFailed')
|
R3 | Requirement per event | FAIL | - event 'BadChecksum' has no requirement referencing it (add a requirement mentioning 'BadChecksum')
- event 'FileOpenError' has no requirement referencing it (add a requirement mentioning 'FileOpenError')
- event 'FileReceived' has no requirement referencing it (add a requirement mentioning 'FileReceived')
- event 'FileWriteError' has no requirement referencing it (add a requirement mentioning 'FileWriteError')
- event 'InvalidReceiveMode' has no requirement referencing it (add a requirement mentioning 'InvalidReceiveMode')
- event 'PacketOutOfBounds' has no requirement referencing it (add a requirement mentioning 'PacketOutOfBounds')
- event 'PacketOutOfOrder' has no requirement referencing it (add a requirement mentioning 'PacketOutOfOrder')
- event 'PacketDuplicate' has no requirement referencing it (add a requirement mentioning 'PacketDuplicate')
- event 'DecodeError' has no requirement referencing it (add a requirement mentioning 'DecodeError')
- event 'InvalidPacketReceived' has no requirement referencing it (add a requirement mentioning 'InvalidPacketReceived')
|
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 'pingIn' has no requirement referencing it (add a requirement mentioning 'pingIn')
- port 'bufferSendOut' has no requirement referencing it (add a requirement mentioning 'bufferSendOut')
- port 'pingOut' has no requirement referencing it (add a requirement mentioning 'pingOut')
- port 'fileAnnounce' has no requirement referencing it (add a requirement mentioning 'fileAnnounce')
|
R7 | Requirement parent traceability | FAIL | - requirement 'FPRIME-FU-001' (/home/runner/work/fprime/fprime/Svc/FileUplink/docs/sdd.md:12) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'FPRIME-FU-002' (/home/runner/work/fprime/fprime/Svc/FileUplink/docs/sdd.md:13) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
|
R8 | Requirement verification method | PASS | 2 requirement(s) checked |
| Design |
D1 | Input port handlers defined | PASS | 2 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-FU-001' (/home/runner/work/fprime/fprime/Svc/FileUplink/docs/sdd.md:12) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
- requirement 'FPRIME-FU-002' (/home/runner/work/fprime/fprime/Svc/FileUplink/docs/sdd.md:13) 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/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/Com' (from #include "Fw/Com/ComPacket.hpp") is not declared in the module's CMake files (add it to UT_DEPENDS/DEPENDS)
|