IEC 62304 · ISO 14971 · SaMD · SiMD

Linux is 62304 compliant, now.

SOUP is software you didn't develop and can't document. TraceOS removes that condition. Your entire system — operating system, toolchain, and your application code — is built from source you hold, audited in isolation, and documented under your own life-cycle process. If we built it, it isn't SOUP.

Traceability for every line of code — in the image, the toolchain that built it, and your application.

TraceOS audit report: 970 packages in the deployed system, 22,950 cryptographically tracked files, dual CVE scan, full license audit, and measured image size — for a single device build. TraceOS audit report: 970 packages in the deployed system, 22,950 cryptographically tracked files, dual CVE scan, full license audit, and measured image size — for a single device build.

110,000+

source-verified packages to compose your image from

22,950

files hashed and source-mapped in one appliance build

100%

license coverage across the entire image

2×

independent vulnerability scanners on every build

The Pain

SOUP is the tax you pay for shipping Linux.

  • ✕ A modern Linux image contains thousands of third-party packages — each one a SOUP item your auditor will ask about.
  • ✕ Traditional distributions cannot prove that the binary on the device corresponds to the source code that was reviewed — and say nothing about the compiler that produced it.
  • ✕ Requirements, architecture, and risk documentation drift away from the system that actually ships.
  • ✕ Test results live in CI logs and spreadsheets, disconnected from the requirements and risks they exist to verify.

The Solution

Not unknown. Not SOUP. Yours.

  • ✓ The entire operating system is built deterministically from pinned source, then audited read-only by an independent appliance, in isolation from the system under test.
  • ✓ Every deployed file maps to the exact source it was compiled from — and the compilers and build tools are part of the same traced graph. A supply-chain compromise has nowhere to hide.
  • ✓ Your application code is analyzed into the same V-model as the OS: unit designs, requirements, risks, and tests, all linked.
  • ✓ Test evidence joins the chain: your results are ingested and linked, each component's own author-written suite is executed in the isolated audit harness, and additional tests are written, executed, and documented to close what is still unsupported.

One platform. The whole burden.

Every capability below works from the same audited build — one source of truth from kernel flag to regulatory document.

Image Factory

Define your device OS as a controlled blueprint: search 110,000+ source-verified packages, set kernel hardening flags, version every change.

Isolated Audit

Each build boots in isolation and is examined read-only by a separate audit appliance. The system under test never audits itself.

Cryptographic File Ledger

Every deployed file is SHA-256 hashed and linked to the exact upstream source it came from — tens of thousands of files per image.

Your Code in the Chain

Point TraceOS at your product repository. Your application is analyzed into the same V-model as the OS — no separate process for your own code.

Test Evidence & Gap Closure

Your test results are ingested and linked to the units, requirements, and risks they verify. Each component's own author-written suite is executed in the isolated audit harness and linked the same way. Whatever is still unsupported is flagged, and additional tests are written, executed, and documented — every record naming who wrote the tests and who ran them.

Risk Management (ISO 14971)

Hazards flow into an FMEA table linked to the requirements that mitigate them and the tests that verify those requirements — exportable as a provenance-stamped risk report.

Dual Vulnerability Surveillance

Two independent scanners match current CVEs against the exact package versions you shipped, ranked by CVSS — continuously, not just at release.

SBOM & License Audit

A complete SBOM with CPE/PURL identifiers on every build, plus automated license detection with 100% coverage and explicit pass/fail status.

Dependency Explorer

Why is this package on my device? A navigable runtime dependency tree with measured sizes answers it in two clicks.

V-Model Documentation Engine

User needs, requirements, and unit designs generated from the audited system — every artifact carries its data provenance and passes human review before approval.

Design History File

The approved record assembles into a Design History File on recognized IEC 62304 documentation structures — exported as a complete release package in one click.

Traceability Matrix

An interactive chain from user need to verified source unit to test evidence — every link navigable, with gap analysis for anything left unproven.

Every answer, one click deep.

Because TraceOS built the system, it can show its working — for every licence, test, link, and risk.

TraceOS licence record for GPL-3.0-or-later: permissions, release conditions such as disclosing source and providing installation information, limitations, and flags, read from a curated licence table. TraceOS licence record for GPL-3.0-or-later: permissions, release conditions such as disclosing source and providing installation information, limitations, and flags, read from a curated licence table.

Licence Obligations, Not Just Licence Names

Every licence in the build is broken down into what it permits, what it demands of a release, and what it withholds — so an obligation such as source disclosure or installation information is visible before you ship, not after.

TraceOS package verification: a Verified pill reporting that TraceOS ran this package's own tests in the isolated audit harness and observed every result, with Author Written and Harness pills and a case count of 6405 with 0 failures. TraceOS package verification: a Verified pill reporting that TraceOS ran this package's own tests in the isolated audit harness and observed every result, with Author Written and Harness pills and a case count of 6405 with 0 failures.

Tests Run in the Isolated Audit Harness

Your own test results are absorbed first. TraceOS then runs each component's own author-written suite in its isolated audit harness, detects what the two still leave unsupported, and writes, runs, and documents additional tests to close it — every count naming who wrote the tests and who ran them.

TraceOS traceability view with the Why? panel open on a system requirement: the edge to its user need, how and when it was placed, and an evidence gap flagged on a software requirement below it. TraceOS traceability view with the Why? panel open on a system requirement: the edge to its user need, how and when it was placed, and an evidence gap flagged on a software requirement below it.

Why Is This Link Here?

Open any edge in the traceability chain and TraceOS says why it exists — how it was placed and when — and flags every requirement whose supporting evidence is still missing.

TraceOS ISO 14971 risk management report: a hazard with its hazardous situations, harm, probability and severity, mitigations, and source evidence linked to the exact package file and line. TraceOS ISO 14971 risk management report: a hazard with its hazardous situations, harm, probability and severity, mitigations, and source evidence linked to the exact package file and line.

Risk Traced to the Exact Source

Each hazardous situation in the ISO 14971 risk report links to the package and source line it arises from, and to the mitigations planned against it — so a risk is never an unanchored spreadsheet row.

Autopilot

One click from source to submission.

Define the image. Point at your repository. TraceOS runs the rest — build, audit, analysis, documentation, and Design History File assembly — with no human action on the critical path. Your reviewers work in parallel, tracked by the system, never blocking the pipeline.

BlueprintBuildAuditAnalysisTestsDocumentsDHF

Continuous Compliance

Your technical file doesn't age. It compounds.

Compliance evidence is usually write-once — accurate the day it was signed, decaying ever after. In TraceOS the entire process is executable. When deeper analysis or better audit tooling arrives, re-run everything against an existing product with one click — and measure exactly what improved.

See how Continuous Compliance works →

Re-baseline on demand

The full pipeline — build, audit, analysis, documentation — re-executes on a shipped product without a project restart.

Quantified improvement

Gap reports and build-over-build deltas show, in numbers, how risk mitigation deepened, traceability extended, and test coverage closed.

Always audit-ready

Evidence is a standing state, not an annual effort — the record your auditor sees is the record the system maintains every day.

Different build system? Different kernel?

The chain of trust is not tied to one build system — or to Linux.

Running an RTOS or another kernel entirely? The audit model — source-verified builds, isolated inspection, linked evidence — is not Linux-specific. Talk to us.

Put your next audit on rails.

See the whole chain on a real device image — from package search to the exported Design History File — in one short demo. Then run it on yours.

Request a Demo