Blog

Ideas for the people who build, certify, and lead safety-critical engineering programs

How to Keep Safety Reasoning Connected to System Design

System design and safety analysis often live separately, so teams can miss hazards and make decisions without the full picture. RAAML is a modeling language that provides a way to represent structured safety reasoning in SysML, a standard language for modeling engineering systems. This brings safety analysis and system design into one connected model. But the current version of RAAML was created for SysML v1 while organizations are moving to SysML v2. We built an open-source translator that carries the official RAAML definitions into SysML v2 and back without losing information. This gives teams a tested foundation for moving safety reasoning into SysML v2.

2026-06-29·Certification Teams

2026-06-29

Certification Teams

Certification Has a Clarity Problem, Not a Paperwork Problem

The hard part of certification is not producing better documents. It is keeping the engineering argument clear enough to be inspected, challenged, and defended.

2026-06-22·Certification Teams

2026-06-22

Certification Teams

How to Use AI Without Losing Control of the Engineering Baseline

AI can help safety-critical teams find drift, assemble evidence, and draft changes, but the accepted engineering record must remain controlled by reviewable decisions.

2026-06-15·Systems & Safety Engineers

2026-06-15

Systems & Safety Engineers

Control Structures Help Engineers Infer the System Behind the Artifacts

Engineering artifacts are partial projections of the system. A control structure gives teams a disciplined way to reason from those projections toward the system, its specs, and questions they might not otherwise think to ask.