| 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 | SKIP | no requirements found |
R8 | Requirement verification method | SKIP | no requirements found |
| 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 | SKIP | no requirements found |
| Implementation |
I1 | Source dependencies listed in CMakeLists | FAIL | - dependency 'Fw/Comp' (from #include "Fw/Comp/PassiveComponentBase.hpp") is not declared in CMakeLists.txt (add it to DEPENDS as Fw_Comp)
- dependency 'Os' (from #include "Os/Console.hpp") is not declared in CMakeLists.txt (add it to DEPENDS as Os)
|
I3 | Data product priorities configurable | SKIP | no FPP files found |
| Unit Testing |
U3 | Unit-test dependencies in CMakeLists | SKIP | no unit-test sources found |