SAFETY

SAFETY

Example

DOMAIN DECLARATION

Domain Declaration

SAFETY = SAFETY_STANDARD × CANONIC = Structure(safety) × (C1, C2, Temporal, Relational, C5) = owned safety-critical vertical

LATTICE FORMULA

Lattice Formula

SAFETY = C1 ∩ C2 ∩ Temporal ∩ Relational ∩ C5 ∩ C6 = ENTERPRISE (#63)

Safety-critical systems ALWAYS require full Enterprise because:

  • C1: Safety requirements must be stated explicitly
  • C2: Safety must be proven, not assumed
  • Temporal: Development phases, operational lifecycles
  • Relational: System boundaries, hazard interfaces
  • C5: Certification authorities enforce
  • C6: Industry safety standards (DO-178C, ISO 26262)

There is no shortcut for safety.

AXIOMS

Axioms

1. Safety is Non-Negotiable

Safety requirements MUST NOT be traded against cost, schedule, or performance without explicit hazard analysis and residual risk acceptance.

Example: A proposed software change would save $50,000 but bypasses a safety interlock. The change MUST be evaluated through formal hazard analysis. If residual risk exceeds acceptable threshold, the change is rejected regardless of cost savings.

2. Hazard Identification

All reasonably foreseeable hazards MUST be systematically identified and analyzed.

Example: A flight control system undergoes: Preliminary Hazard Analysis, System Hazard Analysis, Subsystem Hazard Analysis, Software Hazard Analysis, and Interface Hazard Analysis. Each level identifies hazards invisible at other levels.

3. Risk Reduction

Identified hazards MUST be mitigated to acceptable risk levels through design, safeguards, or warnings (in that order of preference).

Example: A robot arm hazard of “crush injury to operator” is mitigated by: (1) redesigning to reduce force (design), (2) adding presence-sensing safety curtain (safeguard), (3) posting warning label (warning). Design solutions are always preferred.

4. Traceability

Safety requirements MUST trace bidirectionally from hazards through design to verification evidence.

Example: Hazard H-001 → Safety Requirement SR-001 → Design Element DE-001 → Test Case TC-001 → Test Result TR-001. Any break in chain means safety is not demonstrated.

5. Independent Assessment

Safety-critical systems MUST be assessed by parties independent of the development team.

Example: A medical device software team completes development. An independent software quality assurance team reviews requirements, design, code, and test results. They report directly to management, not through the development team.

SUBDOMAINS

Subdomains

Pattern: ALL safety standards = ENTERPRISE (#63)

SubdomainStandardFormulaIndustry
Aviation SoftwareDO-178CENTERPRISEAerospace
Aviation HardwareDO-254ENTERPRISEAerospace
AutomotiveISO 26262ENTERPRISEAutomotive
Medical DevicesIEC 62304ENTERPRISEHealthcare
IndustrialIEC 61508ENTERPRISEProcess/machinery
NuclearNRC regulationsENTERPRISENuclear power
RailEN 50128ENTERPRISERailway
SAFETY INTEGRITY LEVELS

Safety Integrity Levels

Higher level = more rigorous lattice enforcement.

DomainLevelsHighestMeaning
AviationDAL A-EDAL ACatastrophic failure condition
AutomotiveASIL A-DASIL DLife-threatening injury
IndustrialSIL 1-4SIL 4Catastrophic consequence
MedicalClass A-CClass CDeath or serious injury
EXAMPLE: AVIATION SOFTWARE (DO-178C)

Example: Aviation Software (DO-178C)

`` DECLARE(DO178C) = RTCA_DO-178C × CANONIC

Where: DO-178C provides Structure: - Software development processes - Verification objectives (by DAL) - Life cycle data requirements - Certification liaison

CANONIC provides Governance: - C1: Requirements as claims - C2: Verification evidence - Temporal: Development phases - Relational: System/software boundary - C5: DER/certification authority

Result: DO178C = ENTERPRISE (#63)

Certification Lifecycle: Planning — PSAC, SDP, SVP, SCMP, SQAP Requirements — HLR, LLR traced to system Design — Architecture documented Code — Implementation traced Verification — Testing complete Configuration — All data controlled Certification — SCI/SOI complete ``

EXAMPLE: AUTOMOTIVE SAFETY (ISO 26262)

Example: Automotive Safety (ISO 26262)

`` DECLARE(ISO26262) = ISO_26262 × CANONIC

Where: ISO 26262 provides Structure: - Safety lifecycle (12 parts) - ASIL determination - Hardware/software requirements - Functional safety assessment

CANONIC provides Governance: - C1: Safety goals, requirements - C2: Work products, confirmation measures - Temporal: Development phases - Relational: Item definition boundaries - C5: Safety manager, assessor

Result: ISO26262 = ENTERPRISE (#63)

Safety Lifecycle: Concept — Item definition HARA — Hazard analysis FSC — Functional safety concept TSC — Technical safety concept Development — HW/SW implementation Production — Manufacturing Operation — Field use ``

SAFETY EVIDENCE

Safety Evidence

Evidence TypeLatticePurpose
Hazard LogBUSINESSHazard tracking
Safety Requirements(#23)Safety claims
Design Rationale(#25)Design justification
Verification Results(#33)Test evidence
Traceability MatrixBUSINESSBidirectional trace
Safety CaseENTERPRISECertification argument
VALIDATORS

Validators

ValidatorChecksExample Failure
C1Safety requirements existMissing safety goal
C2Evidence completeUntested safety requirement
TemporalPhases completedSkipped review milestone
RelationalBoundaries definedUnclear system scope
C5Assessment completeNo independent review
C6Standard conformanceMissing required work product
APPLICATION

Application

To create a CANONIC safety vertical:

Identify applicable safety standard (DO-178C, ISO 26262, etc.) Create scope with CANON.md inheriting /SAFETY/ Define safety requirements from hazard analysis Document evidence for all verification Establish development phases with reviews Define system boundaries and interfaces Implement independent assessment Compile safety case for certification

Result: Owned safety-critical vertical with certifiable evidence.

THE SAFETY IMPERATIVE

The Safety Imperative

`` ∀ system ∈ SAFETY-CRITICAL: system = ENTERPRISE (#63)

No exceptions. No shortcuts. Lives depend on it. ``

TALK AUTO