Sectors / 04

Assurance for software that observes, plans, or acts within physical processes and operational environments.

Independent software assuranceSM / 04.27

SecondMark position

Digital decisions become physical consequences. Timing, sensors, actuators, degraded states, human takeover, and environmental assumptions must enter the assurance boundary.

The examination is bounded to defined claims, a versioned system, and evidence that can be traced to the state under review. Any material exclusion or uncertainty remains visible in the conclusion.

01

Core questions

What the examination needs to establish.

  1. 01

    What physical authority can software exercise?

  2. 02

    How are unsafe states prevented or contained?

  3. 03

    Does takeover work under real timing constraints?

  4. 04

    Which environmental assumptions are monitored?

02

Evidence model

Evidence is assembled around the claim—not the folder structure.

01

Domain-specific operating context

Collected, attributed, challenged, and connected to the exact system boundary under examination.

02

Authority and consequence mapping

Collected, attributed, challenged, and connected to the exact system boundary under examination.

03

Human and automated control points

Collected, attributed, challenged, and connected to the exact system boundary under examination.

04

Failure containment and recovery evidence

Collected, attributed, challenged, and connected to the exact system boundary under examination.

Intended outcome

Evidence on whether autonomous behavior remains bounded and recoverable in the intended operating context.

Sector-aware assurance scopeMaterial risk and control analysisDecision-ready independent opinion
03

Professional boundary

What an opinion does—and does not—mean.

It provides

A traceable independent conclusion on defined claims, grounded in the evidence and system state examined.

It does not provide

A guarantee that failure is impossible, a permanent certification, or a conclusion beyond the stated scope and validity conditions.