OpenRMAP: ECSS Compliance Matrix¶
Generated by python tools/compliance.py from the requirement traceability matrix of the
architecture (section 10), the requirements of the module specifications and the test cases
of the module verification plans. python tools/compliance.py --check fails when a clause or a requirement
has no test case, or when a test case of a plan is not run by a testbench.
1. ECSS clauses¶
A clause is listed with every requirement whose ECSS reference lies in the clause, and with the test cases that verify these requirements. The interpretations of the standard are listed in the sections "Interpretation of the standard" of the module specifications.
| ECSS clause | Title | Owner | Requirements | Test cases | Status |
|---|---|---|---|---|---|
| 5.1.1 | Target SpaceWire Address field | IN-1 | IN-TX-01, TG-IF-01 | TC-IN-01, TC-TG-01, TC-TG-14 | Verified |
| 5.1.2 | Target Logical Address field | TG-1 | IN-TX-01, MG-RF-01, PKG-03, TG-RX-01 | TC-IN-01, TC-MB-01, TC-MB-02, TC-PKG-03, TC-TG-01 | Verified |
| 5.1.3 | Protocol Identifier field | CO-1 | CO-DM-01, CO-DM-02, IN-TX-01, PKG-03, TG-RX-01 | TC-CO-01, TC-CO-02, TC-CO-03, TC-CO-04, TC-CO-05, TC-CO-06, TC-IN-01, TC-PKG-03, TC-TG-01 | Verified |
| 5.1.4 | Instruction field | TG-1 | CO-DM-01, IN-TX-01, PKG-02, TG-RX-01 | TC-CO-01, TC-CO-02, TC-CO-03, TC-CO-05, TC-IN-01, TC-PKG-03, TC-TG-01 | Verified |
| 5.1.5 | Key field | TG-1 | IN-TX-01, TG-AU-04, TG-RX-01 | TC-IN-01, TC-TG-01, TC-TG-07 | Verified |
| 5.1.6 | Reply Address field | TG-5 | IN-TX-01, IN-TX-02, PKG-02, TG-RX-01, TG-TX-02 | TC-IN-01, TC-PKG-03, TC-TG-01, TC-TG-13 | Verified |
| 5.1.7 to 5.1.15 | Initiator Logical Address to Data CRC fields | TG-1 | IN-TT-01, IN-TT-02, IN-TX-01, IN-TX-03, TG-IF-02, TG-RX-01, TG-RX-05 | TC-IN-01, TC-IN-02, TC-IN-04, TC-IN-05, TC-TG-01, TC-TG-10, TC-TG-14 | Verified |
| 5.1.16 | Reply SpaceWire Address field | TG-5 | IN-IF-02, TG-TX-02 | TC-IN-01, TC-IN-07, TC-TG-13 | Verified |
| 5.1.17 | Status field | TG-5 | TG-TX-03 | TC-TG-01 | Verified |
| 5.2 | Cyclic Redundancy Code | TG-1 | IN-TX-03, PKG-01, TG-RX-02, TG-RX-05, TG-TX-04 | TC-IN-01, TC-PKG-01, TC-PKG-02, TC-TG-01, TC-TG-03, TC-TG-04, TC-TG-05, TC-TG-10 | Verified |
| 5.3.1 | Write command format | TG-1 | IN-TX-01, IN-TX-02, TG-EX-07, TG-RX-01, TG-RX-05 | TC-IN-01, TC-TG-01, TC-TG-02, TC-TG-03, TC-TG-04, TC-TG-10 | Verified |
| 5.3.2 | Write reply format | TG-5 | IN-RX-01, TG-TX-03 | TC-IN-02, TC-TG-01 | Verified |
| 5.3.3.2, 5.3.3.3 | Write request and write command | IN-1 | IN-IF-01, IN-TX-03 | TC-IN-01, TC-IN-07 | Verified |
| 5.3.3.4 | Write data request | TG-1 (5.3.3.4.1 to 5.3.3.4.5), TG-2 (5.3.3.4.6 to 5.3.3.4.8) | TG-AU-01, TG-AU-02, TG-IF-01, TG-RX-02, TG-RX-03, TG-RX-04 | TC-TG-01, TC-TG-05, TC-TG-06, TC-TG-14 | Verified |
| 5.3.3.5 | Write data authorisation | TG-2 | MG-IF-02, MG-RF-01, TG-AU-03, TG-AU-04, TG-AU-07, TG-IF-03, TG-IF-04 | TC-MB-01, TC-MB-02, TC-MB-03, TC-MB-04, TC-TG-07, TC-TG-12 | Verified |
| 5.3.3.6 | Write data | TG-3 (5.3.3.6.2 to 5.3.3.6.13), TG-4 (5.3.3.6.1, 5.3.3.6.14) | TG-AU-06, TG-EX-01, TG-EX-02, TG-EX-03 | TC-TG-02, TC-TG-07, TC-TG-08, TC-TG-09, TC-TG-14 | Verified |
| 5.3.3.7 | Write data indication | TG-3 | TG-IF-05 | TC-TG-01 | Verified |
| 5.3.3.8 | Write reply | TG-5 | TG-TX-01 | TC-TG-01, TC-TG-02 | Verified |
| 5.3.3.9 | Write command complete confirmation | IN-2 | IN-IF-03, IN-TT-01, IN-TT-04 | TC-IN-02, TC-IN-04, TC-IN-05, TC-IN-06, TC-IN-07 | Verified |
| 5.3.3.10 | Write not OK | TG-4 | TG-EX-06 | TC-TG-11, TC-TG-15 | Verified |
| 5.3.3.11, 5.3.3.12 | Corrupted and invalid write reply | IN-2 | IN-RX-02, IN-RX-03 | TC-IN-03 | Verified |
| 5.4.1 | Read command format | TG-1 | IN-TX-01, IN-TX-02, TG-EX-07, TG-RX-01, TG-RX-05 | TC-IN-01, TC-TG-01, TC-TG-02, TC-TG-03, TC-TG-04, TC-TG-10 | Verified |
| 5.4.2 | Read reply format | TG-5 | IN-RX-01, TG-TX-04 | TC-IN-02, TC-TG-01, TC-TG-03, TC-TG-04 | Verified |
| 5.4.3.2, 5.4.3.3 | Read request and read command | IN-1 | IN-IF-01, IN-TX-03 | TC-IN-01, TC-IN-07 | Verified |
| 5.4.3.4 | Read data request | TG-1 (5.4.3.4.1 to 5.4.3.4.5), TG-2 (5.4.3.4.6 to 5.4.3.4.9) | TG-AU-01, TG-AU-02, TG-EX-04, TG-RX-02, TG-RX-03, TG-RX-04 | TC-TG-01, TC-TG-03, TC-TG-05, TC-TG-06, TC-TG-10, TC-TG-14 | Verified |
| 5.4.3.5 | Read data authorisation | TG-2 | MG-IF-02, MG-RF-01, TG-AU-03, TG-AU-04, TG-AU-07, TG-IF-04 | TC-MB-01, TC-MB-02, TC-MB-03, TC-MB-04, TC-TG-07, TC-TG-12 | Verified |
| 5.4.3.6 | Read data | TG-4 | TG-EX-04 | TC-TG-03, TC-TG-10, TC-TG-14 | Verified |
| 5.4.3.7 | Read data indication | TG-3 | TG-IF-05 | TC-TG-01 | Verified |
| 5.4.3.8 | Read reply | TG-5 | TG-TX-01 | TC-TG-01, TC-TG-02 | Verified |
| 5.4.3.9 | Read data confirmation | IN-2 | IN-IF-03, IN-RX-04, IN-TT-01 | TC-IN-02, TC-IN-03, TC-IN-04, TC-IN-05, TC-IN-07 | Verified |
| 5.4.3.10 | Read not OK | TG-4 | TG-EX-06 | TC-TG-11, TC-TG-15 | Verified |
| 5.4.3.11 to 5.4.3.13 | Read reply header error, data error, invalid reply | IN-2 | IN-RX-02, IN-RX-03 | TC-IN-03 | Verified |
| 5.5.1 | Read-modify-write command format | TG-1 | IN-TX-01, IN-TX-02, TG-AU-05, TG-RX-01, TG-RX-05 | TC-IN-01, TC-TG-01, TC-TG-07, TC-TG-10 | Verified |
| 5.5.2 | Read-modify-write reply format | TG-5 | IN-RX-01, TG-TX-04 | TC-IN-02, TC-TG-01, TC-TG-03, TC-TG-04 | Verified |
| 5.5.3.2, 5.5.3.3 | Read-modify-write request and command | IN-1 | IN-IF-01, IN-TX-03 | TC-IN-01, TC-IN-07 | Verified |
| 5.5.3.4 | Read-modify-write data request | TG-1 (5.5.3.4.1 to 5.5.3.4.5), TG-2 (5.5.3.4.6, 5.5.3.4.7, 5.5.3.4.13, 5.5.3.4.15), TG-3 (5.5.3.4.8 to 5.5.3.4.12, 5.5.3.4.14) | TG-AU-01, TG-AU-02, TG-AU-05, TG-EX-05, TG-RX-02, TG-RX-03, TG-RX-04 | TC-TG-01, TC-TG-04, TC-TG-05, TC-TG-06, TC-TG-07, TC-TG-10, TC-TG-12 | Verified |
| 5.5.3.5 | Read-modify-write authorisation | TG-2 | MG-IF-02, MG-RF-01, TG-AU-03, TG-AU-04, TG-AU-07, TG-IF-04 | TC-MB-01, TC-MB-02, TC-MB-03, TC-MB-04, TC-TG-07, TC-TG-12 | Verified |
| 5.5.3.6, 5.5.3.7 | Read data, write data | TG-4 | TG-EX-05 | TC-TG-04, TC-TG-10, TC-TG-12 | Verified |
| 5.5.3.8 | Read-modify-write data indication | TG-3 | TG-IF-05 | TC-TG-01 | Verified |
| 5.5.3.9 | Read-modify-write reply | TG-5 | TG-TX-01 | TC-TG-01, TC-TG-02 | Verified |
| 5.5.3.10 | Read-modify-write complete confirmation | IN-2 | IN-IF-03, IN-RX-04, IN-TT-01 | TC-IN-02, TC-IN-03, TC-IN-04, TC-IN-05, TC-IN-07 | Verified |
| 5.5.3.11 | Read and write not OK | TG-4 | TG-EX-06 | TC-TG-11, TC-TG-15 | Verified |
| 5.5.3.12 to 5.5.3.14 | Read-modify-write reply header error, data error, invalid reply | IN-2 | IN-RX-02, IN-RX-03 | TC-IN-03 | Verified |
| 5.6 | Error and status codes | TG-3 | CO-MX-01, MG-RF-04, PKG-03, TG-AU-08 | TC-CO-01, TC-CO-02, TC-CO-04, TC-CO-08, TC-CO-09, TC-MB-03, TC-MB-04, TC-PKG-03, TC-TG-07, TC-TG-08, TC-TG-12 | Verified |
| 5.7.1 | Limited functionality nodes | CO-1 | CO-DM-03, CO-DM-04, CO-NO-01, MG-RF-04, TG-RX-06 | TC-CO-02, TC-CO-05, TC-MB-03, TC-MB-04, TC-TG-05 | Verified |
| 5.7.2 | Partial implementations | TG-2 | TG-AU-07 | TC-TG-07 | Verified |
| 5.8 | RMAP conformance | MG-1 | CO-NO-02, MG-RF-03, MG-RF-07 | TC-CO-05, TC-CO-06, TC-MB-01 | Verified |
Clauses: 47; verified: 47; not traced: 0.
2. Requirements¶
Requirements of the module specifications and the test cases that verify them (requirements without an ECSS reference included).
| Module | Requirements | Verified by a test case | Without a test case |
|---|---|---|---|
omap_core |
11 | 11 | - |
omap_initiator |
16 | 16 | - |
omap_mib |
12 | 12 | - |
omap_pkg |
4 | 4 | - |
omap_target |
31 | 31 | - |
Requirements: 74; without a test case: 0; test cases of the plans not run by a testbench: 0.