Exercises — Systems engineering — V-model, requirements traceability
Before we start, one word we lean on the whole page: a requirement is a single sentence saying what something must do or must not exceed — testable, with a number where possible. "The battery shall deliver 200 Wh" is a requirement; "the battery should be good" is not.
Level 1 — Recognition
Exercise 1.1 (L1)
On the V-model, name the level on the right arm that verifies a requirement written at the subsystem level of the left arm.
Recall Solution 1.1
WHAT the V-model says: each horizontal line joins a left-arm design level to the right-arm level directly opposite it at the same height. That opposite level is the abstraction level at which you check the promise you made. Look at Figure s01 — the dashed grey line at the "subsystem" height connects Subsystem Requirements on the left to Subsystem Integration & Test on the right. Answer: Subsystem Integration & Test.
Exercise 1.2 (L1)
Match each item to "design (left arm)" or "verification (right arm)": (a) Concept of Operations, (b) Component Testing, (c) Subsystem Requirements, (d) Validation.
Recall Solution 1.2
The left arm decomposes — it goes from big idea down to detailed parts. The right arm builds confidence back up by testing.
- (a) ConOps → design (left, top)
- (b) Component Testing → verification (right, bottom)
- (c) Subsystem Requirements → design (left)
- (d) Validation → verification (right, top) — the mission-level "did we build the right thing?" check (Verification vs Validation).
Exercise 1.3 (L1)
Fill the blank: in a traceability matrix, a Test Result = PASS provides ______ that the linked requirement is met.
Recall Solution 1.3
Answer: evidence. Traceability's whole job is to attach a chain of proof — requirement → design item → test → result — so that "we met it" is not an opinion but a documented fact.
Level 2 — Application
Exercise 2.1 (L2)
A system requirement says the spacecraft shall operate 5 years. It flows down to three subsystem requirements:
- : battery survives 5 years of thermal cycles,
- : solar panels degrade over 5 years,
- : electronics survive 5-year radiation dose.
Write the flow-down using the parent note's logical conjunction, and state what must be true for the system requirement to hold.
Recall Solution 2.1
WHAT we do: apply the flow-down rule from the parent's [!formula]. The symbol means "AND across all of them", so . WHY conjunction and not OR: the spacecraft is a serial chain — if the battery dies, or the panels fade too far, or the electronics fry, the 5-year mission ends. So all three must hold. Only guarantees .
Exercise 2.2 (L2)
Solar array sizing (numbers from the parent's Example 2). Cells are 30% efficient, area , solar constant . Compute the beginning-of-life power .
Recall Solution 2.2
WHAT the formula means: incoming sunlight power on the panel is (area)(power per area) . The panel only converts a fraction (efficiency) into electricity, so multiply by . (The parent rounds to ; both are the same figure to 3 significant places.)
Exercise 2.3 (L2)
Degradation. A triple-junction array degrades per year. Starting from , find the end-of-life power after years.
Recall Solution 2.3
WHY a power (exponential) law and not subtraction: each year the array loses of whatever it currently produces, not of the original. Losing a fraction of the current value every step is exactly what repeated multiplication by does — that is why we use and not . Now , so Requirement was at EOL, so it passes with margin ().
Level 3 — Analysis
Exercise 3.1 (L3)
Eclipse battery sizing. Eclipse lasts with an average load of . (a) How many watt-hours are needed? (b) The battery is at ; what is its installed energy? (c) If usable energy is limited to depth-of-discharge, is the eclipse requirement (need what you found in (a)) met?
Recall Solution 3.1
(a) Energy needed. Energy power time. Convert 30 min to hours: . (b) Installed energy. For a battery, energy (Wh) charge (Ah) voltage (V): (c) Usable energy. Depth-of-discharge means we only draw before recharging (protecting battery life): Since , the requirement is met, with margin .
Exercise 3.2 (L3)
Distribution loss. The power system must deliver to the loads through DC-DC converters measured at efficiency. (a) How much input power must the converters draw? (b) What is the loss in watts, and is the " loss" requirement met?
Recall Solution 3.2
(a) Input power. Output efficiency input, so input output efficiency: (b) Loss. . As a fraction of input: (equivalently, ). Since , requirement met. WHY we budget this explicitly: every watt lost in wiring/converters is a watt the solar array must also generate. If you forget it, the array is undersized and the whole power chain fails at EOL.
Exercise 3.3 (L3)
Impact analysis. In the thermal example (parent Example 1), the mission requirement M3 changes from survival at to . Using traceability, list exactly which requirements, designs and tests must be revisited, and explain why traceability makes this instant.
Recall Solution 3.3
The chain from the parent: . A colder survival limit means less heat loss allowed and more heater authority in eclipse. Walking the chain downward from M3:
- S3 must change ( limit).
- SS3.1 (MLI heat loss) — likely tightened (colder means we can afford less loss).
- SS3.2 (heater 50 W) — likely increased (need more supplemental heat).
- SS3.3 (radiator) — check it doesn't over-cool; possibly re-sized.
- Designs: MLI layer count, heater power rating, radiator area.
- Tests: all three thermal tests re-run against new limits. WHY instant: because every link was recorded during flow-down, changing one node lets you follow the arrows to every affected item — no hunting through documents. This is the core value of a traceability matrix (Configuration Management keeps those links under control when things change).
Level 4 — Synthesis
Exercise 4.1 (L4)
Build a one-row traceability matrix for this thread: Mission M1 "image Earth at 10 m resolution" → System S1 "camera achieves 10 m ground sample distance" → Subsystem SS1.1 "focal length 2 m". Choose sensible IDs, name a design item, a test ID, and state the result condition that verifies the whole thread up to M1.
Recall Solution 4.1
WHAT a matrix row is: a horizontal record that ties one requirement thread to its evidence. Columns are Mission → System → Subsystem → Design → Test → Result.
| Mission Req | System Req | Subsystem Req | Design Item | Test ID | Result |
|---|---|---|---|---|---|
| M1: 10 m resolution | S1: camera 10 m GSD | SS1.1: focal length 2 m | Optical bench TB-101 | T-SS1.1-001 | PASS |
Verification logic (bottom-up, the right arm of the V): T-SS1.1-001 = PASS verifies SS1.1; when all subsystem reqs feeding S1 pass, S1 is verified; S1 verified (plus the orbit-altitude thread) validates M1. WHY IDs matter: unique IDs (S1, SS1.1, T-SS1.1-001) are what let a database (DOORS/Jama) draw the parent-child links automatically — see Interface Control Documents for how the boundary between camera and structure is frozen so this thread stays valid.
Exercise 4.2 (L4)
Full power-chain synthesis. Combining EOL degradation (Ex 2.3), distribution loss (Ex 3.2) and a required to loads with a system margin on top: (a) compute the required array output at EOL, and (b) check whether the EOL array of Ex 2.3 passes.
Recall Solution 4.1
WHAT we do — build the budget outward from the load:
- Load: .
- Add distribution loss (Ex 3.2): input to converters .
- Add system margin: required . (a) Required array output at EOL . (b) The array delivers at EOL. Since , it passes, with margin . WHY margin on top: models are imperfect and space is unforgiving; margin absorbs the unknowns you couldn't trace. This connects to Risk Management in Spacecraft Design — margin is how you buy down uncertainty risk.
Level 5 — Mastery
Exercise 5.1 (L5)
A mission requires 5-year operation. Flow it down and verify by analysis the solar-panel branch: requirement says "panels degrade over 5 years." Using /year compounding, (a) compute the actual 5-year degradation, (b) decide PASS/FAIL, and (c) explain how this single number plugs into the V-model's verification of , naming the verification method used and why it (not physical test) is appropriate here.
Recall Solution 5.1
(a) Degradation fraction. Remaining fraction after 5 years is . So degradation is (b) Decision. ⇒ PASS. is satisfied. (c) Into the V-model. From Ex 2.1, . This analysis discharges ; with (battery cycles) and (radiation dose) also verified, the conjunction closes and (5-year operation) is verified. Method: Analysis (calculation using an established degradation model), not physical test. WHY analysis is appropriate: you cannot run a real 5-year test before a launch that must happen this decade. Where the physics is a well-validated model (compounding radiation degradation), analysis is the credible verification method — exactly the "Test vs Analysis" choice the parent's "Verification methods" section lists. Physical flash-tests validate the model's starting efficiency; the long-term extrapolation is then trusted analysis.
Exercise 5.2 (L5)
Design closure under a tightened requirement. Suppose M3 tightens survival to and, as a result, SS3.2 heater power must rise from to . The eclipse average electrical load in Ex 3.1 therefore rises from to . (a) Recompute the eclipse energy need. (b) Does the existing usable battery still pass? (c) In one sentence, state the traceability consequence and which document control process governs the change.
Recall Solution 5.2
(a) New eclipse energy. (b) Check. Usable ⇒ still PASS, margin now (down from ). (c) Traceability consequence. A change to M3 propagated (via the recorded links) into SS3.2 and into the power branch SS4.2 — a cross-subsystem impact — so all touched requirements, designs and tests must be re-baselined and re-verified under Configuration Management (formal change control), and the interface between thermal and power is re-checked via Interface Control Documents. WHY this is mastery: you traced a single mission change across two subsystems, re-ran the affected budgets, re-confirmed a margin, and named the governing process — the full loop the V-model exists to protect.
Recall Self-test summary (cloze)
The V-model verifies each requirement at the ::: same abstraction level it was specified. Flow-down uses logical ::: conjunction (AND) — all sub-requirements must hold. Solar degradation compounds as ::: , not linearly. Energy of a battery in Wh equals charge in Ah times ::: voltage in V. A traceability matrix links requirement to design to test to ::: result (evidence). The two questions of the right arm are: verification = "built it right?" and validation = ::: "built the right thing?"