Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
| dido:99_annexes:annex-d-requirements:part-01:p1-req-13-7-003:start [2026/07/11 12:57] – ↷ Page moved from dido:99_annexes:annex-c-requirements:part-01:p1-req-13-7-003:start to dido:99_annexes:annex-d-requirements:part-01:p1-req-13-7-003:start nick_dido | dido:99_annexes:annex-d-requirements:part-01:p1-req-13-7-003:start [2026/07/18 12:33] (current) – external edit 127.0.0.1 | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== P1-REQ-13-7-003 ====== | ====== P1-REQ-13-7-003 ====== | ||
| - | [[dido: | + | [[dido: |
| ===== Statement ===== | ===== Statement ===== | ||
| - | An Implementation Profile / [[dido: | + | An Implementation Profile / [[dido: |
| ===== Source ===== | ===== Source ===== | ||
| Line 13: | Line 13: | ||
| ===== Rationale ===== | ===== Rationale ===== | ||
| - | Implementation Profile and PSM artefacts realise | + | Implementation Profile and PSM artifacts realize |
| - | This requirement prevents implementation | + | This requirement prevents implementation |
| ===== Applies To ===== | ===== Applies To ===== | ||
| - | This requirement applies to Implementation Profile and PSM artefacts. | + | This requirement applies to Implementation Profile and PSM artifacts. |
| It applies specifically to: | It applies specifically to: | ||
| - | * Implementation Profile | + | * Implementation Profile |
| - | * PSM artefacts | + | * PSM artifacts |
| * Logical-to-implementation trace links | * Logical-to-implementation trace links | ||
| - | * Platform-specific | + | * Platform-specific |
| * Implementation mappings | * Implementation mappings | ||
| ===== Verification ===== | ===== Verification ===== | ||
| - | Verification SHALL confirm that each Implementation Profile / PSM artefact | + | Verification SHALL confirm that each Implementation Profile / PSM artifact |
| Verification activities include review checks confirming that: | Verification activities include review checks confirming that: | ||
| - | * Implementation | + | * Implementation |
| - | * PSM artefacts | + | * PSM artifacts |
| - | * Implementation | + | * Implementation |
| - | * Trace links support review from logical element to implementation | + | * Trace links support review from logical element to implementation |
| ===== Traceability ===== | ===== Traceability ===== | ||
| Line 48: | Line 48: | ||
| Related requirement identifiers: | Related requirement identifiers: | ||
| - | * [[dido: | + | * [[dido: |
| - | * [[dido: | + | * [[dido: |
| - | * [[dido: | + | * [[dido: |
| - | * [[dido: | + | * [[dido: |
| - | * [[dido: | + | * [[dido: |
| ===== Status ===== | ===== Status ===== | ||