Skip to content
All insights

System safety · · 6 min read

Safety cases for products with continuous software updates

A safety case is usually written as an argument about a specific, frozen configuration. Continuous updates make that assumption false on day one.

The classical structure of a safety case — argument, evidence, tied to a defined configuration at a point in time — assumes the configuration holds still long enough for the argument to remain true. A product shipping monthly software updates breaks that assumption before the ink on the case is dry. The question stops being 'is the product safe' and becomes 'what has to be true for the case to remain valid after the next update'.

Where a static safety case breaks down

  • An update changes a component's behaviour in a way the original hazard analysis did not anticipate, and nobody re-checks the analysis before release.
  • The case argues from a specific software version, and the version referenced no longer matches what is deployed.
  • Impact classification for an update is done informally, so a change that should trigger re-verification does not.
  • Field telemetry that would reveal a change in failure behaviour is not fed back into the safety argument.

Designing the case for change, not against it

A safety case for a continuously updated product needs an explicit change impact process built into it as an argument component, not bolted on afterwards. That means classifying every update against the hazard analysis before release — does it touch a safety-relevant function, does it change timing or resource usage in a way that could affect a safety margin, does it alter an assumption a mitigation depended on. Updates that clear this classification with no impact can ship against the existing case. Updates that do not clear it trigger a defined, scoped re-verification, not a full re-assessment.

The safety case for a continuously updated product is really an argument about the update process, with the product configuration as one input to it.

The role of field data

Continuous deployment also gives an organisation something a fixed-release safety case never had: real operating data on how the product behaves after each change. Feeding that data back into the argument — confirming failure rates and fault behaviour match what the analysis predicted — turns the safety case into something that is actively checked against reality, rather than a document that asserts safety once and is never revisited until the next audit.

CRA SCOPE CHECKER

Does the CRA apply to your product?

Enter your website. We read what you make and sell, then ask only the few questions the regulation turns on.

About 60 seconds. No account. PDF report on request.

More insights