Avionics Hardware Certification (DO-254)
Zero-failure programs where certification, partners, and supply chains must execute against gated evidence.
This interactive experience is the shipped product itself — the same application code customers run in production, mounted read-only in your browser over a real sample journey. Not a video, not a mockup: because the demo and the product are one codebase, it can never drift from the real thing.
Inside this journey
-
Outcome Discovery
Align on hardware safety goals, DO-254 constraints, stakeholders, and measurable certification success criteria.
Discovery Questions
Getting Oriented: Your Current DO-254 Landscape
- How often does your hardware team run formal structural coverage analysis during a design iteration?
- Tell me about your typical target device types, for example FPGA, ASIC, or PLD, and the DAL levels you most commonly aim for.
- Explain which HDL languages and versioned toolchains your team currently uses for RTL simulation and coverage collection.
- When was the last time a certification authority or DER questioned the sufficiency of tool-generated artifacts on your program?
- Which verification artifacts do you already produce automatically, and which still require heavy manual work?
- Who on your team owns certification evidence readiness and who manages toolchain configuration?
- Describe a recent verification cycle that missed a coverage goal, and why that outcome mattered to schedule or certification risk.
Where verification routinely falls short for you
- What single verification gap, if not closed, would make you pause certification activities immediately?
- How does that gap manifest in your artifact set, for example missing MC/DC-equivalent analysis, untraceable requirements, or incomplete configuration evidence?
- Give a concrete example of a test case or module that repeatedly causes coverage to stall; what makes it hard to exercise?
- Which roles or teams most often escalate when coverage runs behind, and what do they ask for?
- In practice, how many person-weeks does your team spend closing coverage gaps per release on average?
- Who is typically pulled into DER discussions, and how much of their time is budgeted for artifact review?
- If your current verification approach stayed the same, what downstream cost or delay would you expect over the next 12 months?
Readiness realities that determine whether we can proceed
- Identify a single infrastructure gap that would block implementation, for example missing HDL toolchain licensing, locked CI access, or lack of a simulation environment.
- Do you have repository permissions and CI tokens that allow a third party to run verification jobs, and if not, who must authorize them?
- List the external systems that must integrate, such as your repository hosting, issue tracker, or simulation farm, and whether APIs are available.
- Estimate how many engineers on your team have both RTL verification skills and DO-254 experience, and are any available as named points-of-contact for the engagement?
- When must regulatory approvals or program-level reviews be completed before we can begin evidence generation?
- Rate the cleanliness and traceability of your requirements repository today.
- Name the owner of configuration management for HDL artifacts, and state whether they enforce reproducible build hashes for each test run.
- If test data or design files cannot leave your network, what access patterns can you support for on-prem or air-gapped execution?
The other options your program is weighing
- What would have to be true about your current verification approach for you to keep it instead of bringing in an external partner?
- Are there any internal proposals to build this capability, and if so, what is the estimated timeline to production?
- List the external options you have evaluated or are evaluating, including in-house toolchains, third-party verification suites, and consulting-only support.
- Name the incumbent vendor or in-house solution and describe why it remains the default.
- Specify the minimum outcome or metric the incumbent must deliver to keep you from changing vendors.
- Would anyone on your engineering leadership team advocate for solving this without an outside vendor, and who is that?
What certification success will actually look like
- Identify the minimum certification evidence that, if accepted by your DER, would allow program sign-off this quarter.
- Describe how you quantify acceptable coverage for the design, for example percentage of code, functional buckets, or structural conditionals.
- Give an example of a previous audit where tool-generated artifacts were accepted or rejected, and what changed as a result.
- On a scale, how important is automated traceability from high-level requirements to test cases for your certification timeline?
- Estimate how quickly you could produce additional manual evidence if requested by your DER, and what it would cost in person-weeks.
- Select the acceptance criteria your certification authority emphasizes most: artifact format, traceability, or coverage depth.
Decision triggers that change the timeline
- Point to the single pilot metric that would get you to commit within seven days.
- Explain the budget approval process for a pilot or purchase, and who holds the final sign-off authority.
- Provide the stakeholders who must be convinced of ROI: program certification manager, hardware lead, procurement, or other.
- Indicate the number of vendor evaluation cycles you can run in a quarter before program timelines slip.
- Should a technical blocker appear in the pilot, who has authority to pause integration work and what conditions would trigger a pause?
Timing, milestones, and a realistic next step
- Pinpoint the earliest milestone that, if completed within two weeks, would commit your team to a pilot.
- Provide the team members who must be available during a two-week pilot and how much time per week they must dedicate.
- Indicate your preferred pilot start window given program constraints and upcoming reviews.
- Select the kinds of evidence you would require at pilot completion to consider the pilot successful.
- Specify the budget range pre-approved for pilot and initial deployment.
- Would you expect the seller to run the pilot remotely, on-premise, or in a hybrid model?
- Single out the main risk that would cause you to delay signing after a successful pilot.
- Please share the designated contact on your side who will coordinate logistics and approvals for the pilot, including role and preferred communication channel.
-
Solution Evaluation
Validate the verification toolchain and proposed strategy against the buyer's acceptance criteria, artifact formats, and coverage reporting needs.
- success_criteria
- desired_state
- decision_readiness
- gaps
- stakeholders
- current_state
- decision_readiness
- current_state
- desired_state
- success_criteria
- gaps
- stakeholders
- desired_state
- gaps
- current_state
- success_criteria
- decision_readiness
- stakeholders
- decision_readiness
- decision_readiness
- decision_readiness
- decision_readiness
-
Solution Scope
Define verification modules, consulting deliverables, responsibilities, evidence types, and the DO-254 objectives to be satisfied.
Scope Configuration
- Install HDL verification environment
- Integrate with existing HDL simulator
- Configure structural coverage analyzer (VHDL/Verilog)
- Instrument design for FPGA/ASIC coverage collection
- Implement testbench and stimulus libraries
- Execute automated regression test campaigns
- Run structural coverage campaigns and gap tests
- Generate certification‑ready coverage reports
- Trace hardware requirements to test cases
- Automate evidence package generation for audits
- Export configuration‑management and baseline artifacts
- Prepare DER‑facing evidence briefs and certification binder
Scope Questions
Install HDL verification environment
- Do you have a preferred sandbox or continuous integration (CI) environment for installing the HDL verification environment?
- Provide the operating system and baseline build image for the target installation (for example Linux distro and version).
- List the HDL source repository locations and branch patterns we will need access to (for example repo URLs or internal paths).
- Identify required user accounts or groups and the access approval workflow for the installation hosts and CI runners.
- Specify any airworthiness or network isolation constraints that affect installation (for example no internet access, whitelisted endpoints only).
- Confirm the desired delivery artifact for this module (container image, VM snapshot, reproducible install playbook).
Integrate with existing HDL simulator
- Which HDL simulator interface(s) must we integrate with (for example command-line invocation, remote simulation endpoint, scripting API)?
- Do you require waveform capture in a specific format for regression artifacts (for example VCD, FSDB, or alternative)?
- How many concurrent simulation license seats or simulator nodes are available for regression campaigns?
- Provide the simulator invocation scripts or CI job snippets we should adapt for integration (attach or paste CI job definitions).
- Identify required simulation models we must support during integration (for example behavioral models, SDF timing back-annotation, vendor IP stubs).
- Specify acceptance on successful simulator integration (for example an automated example run, pass/fail exit code, and waveform generation).
Configure structural coverage analyzer (VHDL/Verilog)
- Which coverage domains do you require enabled for the analyzer (for example statement, branch, condition/toggle, FSM, register-transfer-level)?
- List the HDL file patterns and directories to include or exclude from coverage collection (for example /src/core/*.vhd).
- Define target coverage thresholds per module or design partition (for example 95% statement, 100% FSM) that the analyzer should enforce or report against.
- Describe how you expect synthesized netlist coverage versus RTL coverage to be reported (for example separate reports, combined comparison report).
- Indicate file-format outputs required for certification reviewers (for example coverage XML, human-readable PDF, CSV).
- Quantify runtime constraints for analysis runs we must observe (for example maximum analysis time per run or memory limits).
Instrument design for FPGA/ASIC coverage collection
- Detail the HDL modification policy for instrumentation (for example in-place annotations versus a separate instrumented build branch).
- Who will own instrumented file diffs and review sign-off in your source control management system?
- Attach the list of target device identifiers or process nodes that affect instrumentation and probe feasibility (for example specific FPGA families or ASIC technology nodes).
- Where should instrumentation be inserted for gated clocks, reset sequences, and synthesized registers to ensure toggle coverage is meaningful?
- Explain synthesis or implementation constraints we must preserve when producing instrumented netlists (for example SDC constraints, synthesis pragmas to keep).
- Select the preferred instrumentation method for timing-accurate collection on target hardware (for example pre-synthesis instrumentation, post-synthesis probes, or on-FPGA probes).
Implement testbench and stimulus libraries
- Confirm whether an existing testbench harness can be extended for this engagement or whether a new harness must be created.
- Enumerate existing reusable stimuli and assertion libraries we can consume (provide file paths, repo tags, or manifests).
- Map each stimulus category to the corresponding low-level requirement identifiers in your requirements traceability matrix (RTM).
- Indicate supported testbench languages and interface wrappers required (for example VHDL, SystemVerilog DPI, Python cocotb).
- When planning stimulus generation, what reproducibility measures do you require (for example seed logging, recorded playback)?
- Who will maintain the baseline stimulus library during the engagement?
Execute automated regression test campaigns
- Outline the regression cadence you require (for example nightly, per-commit, or release testing).
- How many test cases per campaign do you estimate will run initially and at steady state?
- Share the CI/CD endpoints and authentication method we should use for job orchestration (for example git hooks, REST API tokens, or service accounts).
- Set acceptable maximum wall-clock time for a full regression cycle before stakeholders are notified.
- Describe the failure triage workflow and required on-call coverage for regression failures (for example SLAs and notification routing).
- Select test parallelization limits based on available compute resources (maximum parallel jobs).
Run structural coverage campaigns and gap tests
- Enumerate the campaign configurations we should run for gap analysis (for example unit-level, integration-level, gate-level).
- Assign the primary owner in your organization for validating coverage gaps against low-level requirements.
- Choose the tracking mechanism for uncovered HDL elements (for example defect tracker IDs, spreadsheet, integrated RTM).
- Set remediation thresholds that will trigger re-instrumentation or additional tests (for example greater than 5 percent uncovered toggles).
- Detail the artifact outputs you expect for each campaign run (for example coverage delta report, per-file coverage CSV, failed testcase logs).
- Estimate the compute hours required for a full gap analysis of the design at its current size.
Generate certification‑ready coverage reports
- What acceptance criteria will confirm coverage reports are certification-ready under DO-254 and AC 20-152 (for example output formats, signed reviewer checklist, meeting coverage thresholds)?
- Define the reviewer annotation and signature workflow for the produced PDF binder (for example who signs, required stamps, and timestamp conventions).
- Pinpoint required cross-references between coverage metrics and low-level requirements that must appear in the report (for example RTM links or trace anchors).
- State allowable coverage file formats and tool-agnostic exports for DER review (for example coverage XML, CSV, annotated HDL).
- Estimate lead time to produce a signed coverage report package after a passing campaign.
- Clarify who will maintain the canonical signed coverage archive and the retention policy for certification artifacts.
Trace hardware requirements to test cases
- What defines done for requirements-to-test traceability in your DO-254 requirements traceability matrix (for example every low-level requirement linked to at least one test case and coverage evidence attached)?
- Attach the source documents and version numbers for system requirements, low-level requirements, and architecture documents to import into the RTM.
- Map the expected RTM export formats required for certification review (for example CSV, XML, DOORS export).
- Name the individual or role who will approve trace links during verification cycles.
- Explain how test case identifiers should be embedded in coverage reports and waveform artifacts for unambiguous cross-reference.
- State whether historical test results must be migrated into the RTM and the acceptable completeness threshold for that migration.
Automate evidence package generation for audits
- Choose which evidence package templates you require (for example DER pre-brief, full certification binder, or per-requirement folders).
- Share the signing and version control workflow for generated evidence artifacts (for example who signs, version tags, and checksum methods).
- Outline retention and archival format requirements for audit artifacts (for example digital signatures, PDF/A, archival checksums).
- Pinpoint automation triggers for evidence generation (for example passing campaign, milestone tag, or manual request).
- Calculate storage capacity and access permissions required for generated evidence packages.
- Declare whether DER-facing pre-briefs with executive summaries should be produced automatically.
-
Mutual Commit
Finalize commercial and governance terms, data-access authorizations, DER engagement plan, and acceptance criteria for certification evidence.
Agreement Modules
- Master Services Agreement (MSA)
- Statement of Work (SOW)
- Order Form / Subscription Agreement
- Certification Evidence Acceptance Criteria
- Designated Engineering Representative (DER) Engagement Plan
- Data Access and Authorization Agreement
- Data Processing Agreement (DPA) — Regulated Industry Addendum
- Change Order Procedure
- Acceptance & Handover Certificate
- Non-Disclosure Agreement (NDA)
-
Deployment
Lock readiness facts and configuration values before execution begins.
-
Pre-Deployment Readiness
Confirm concrete readiness facts — environments, HDL toolchain endpoints, owners, and schedule required before implementation begins.
Pre-Deployment Questions
Environment and site access
- Which target environments will the deployment connect to? (select all that apply — so we scope access requests)
- Are the target HDL simulation and synthesis systems already provisioned and accessible for the seller to validate endpoints? (this determines whether we schedule endpoint verification)
- If any HDL systems are not yet accessible, what is the expected availability date or who will confirm that date? (so we can plan the verification window)
Toolchain and integration
- Which HDL and verification toolchain categories must be integrated? (select all that apply — helps us prepare compatibility checks)
- Are license owners and toolchain endpoint owners identified for each required toolchain? (so we know who to request access from)
Data and configuration
- Has the authoritative source strategy for HDL and verification artifacts been decided (single repo vs. multiple repos)? (this determines our access and mapping approach)
- Who owns the repository strategy and who will approve access requests? Provide the owner name and role or 'TBD'. (so we can request credentials and set CI permissions)
- Will existing verification evidence or coverage baselines need to be migrated into the platform before deployment? (so we size the migration effort)
People, schedule and constraints
- Are named owners assigned for these deployment roles: integration lead, CI/CD lead, configuration manager, and program certification contact? (this allows us to schedule kickoff and approvals)
- List the named owners (integration lead, CI/CD lead, configuration manager, program certification contact) with role and contact email, or mark each as 'TBD'. (so we can issue calendar invites and access requests)
- Are there any blackout windows, maintenance freezes, or compliance gates that block deployment activity? If yes, provide the blocked date ranges or write 'None'. (so we plan a non‑disruptive schedule)
- If you selected 'Yes' above, list the blackout windows, maintenance freezes, or compliance gate dates here, or write 'None'.
-
Configuration Details
Capture exact configuration values the deployment team will use — integration endpoints, repo locations, CI settings, and access credentials.
Configuration Details
Environments & Endpoints
- Enter the simulation server endpoint URL the deployment will call (format: https://host.example or IP). Provide the exact, routable address the verification runner will use.
- Enter the verification integration endpoint URL (format: https://... ). This is the endpoint the toolchain will POST results to or poll; provide the full protocol + host + path.
- Select the deployment environment this configuration applies to (Default: production). Choose the single target environment name the build will use.
Source Control & Branching
- Select the source-control type where verification artifacts (tests, coverage reports, evidence) will be stored.
- Enter the canonical repository URL that will hold verification artifacts (format: https://host/path.git or p4://depot/path). This exact URL will be used by the deployment scripts.
- Enter the primary branch name to deploy from (Default: main). Provide the exact branch identifier the CI will check out.
CI/CD & Artifact Storage
- Select the CI/CD system where build jobs will run.
- Enter the build artifact storage location the deployment will publish to (format examples: s3://bucket/path, https://artifact-server/repo/path, \\fileshare\path). Provide the exact, writable location.
Access, Roles & Coverage Outputs
- Enter the non-secret integration user identifier the deployment will record (format: username or service-account name). Do NOT paste passwords or tokens—only the identifier.
- Where will the secret (password/API token) for that integration be stored? Select one option—the secret itself will be exchanged via the selected channel at deployment kickoff.
- Select the coverage report output formats required from the run (select all that apply). If you need a custom XML schema, choose it here and provide the schema URL in a follow-up workspace field.
-
Deployment
Execute integration, training, evidence-generation workflows, and handover with clear owners, sequencing, and milestone checks.
-
-
Success
Confirm certification-readiness outcomes, capture lessons learned, and maintain a shared channel for issues and enhancement requests.
Success Reviews
- Go-live Health Check (weeks 1-4)
- First Measurement Review (weeks 4-10)
- Acceptance Gate (around day 90)
- Quarterly Operational Review (ongoing)
- Annual Lessons Learned and Enhancement Planning
Issues & Enhancements
- Publish the quarterly metrics dashboard showing trend lines for open DER findings and artifact acceptance rate.
- Record the formal acceptance decision and archive the accepted evidence packet to the agreed evidence repository.
- Create a remediation tracker for any failed or conditional criteria with dates for re-submission of evidence.
- Notify DER and certification stakeholders of the acceptance outcome and next steps for any outstanding findings.
- Metric trend review
- Ensure the count of open DER findings is decreasing toward the target recorded in Outcome Discovery.
- Maintain or improve the evidence artifact acceptance rate and resolve the highest-priority blockers for the next quarter.
- Agree the prioritized enhancement backlog for the next quarter and the criteria for elevating items to remediation workstreams.
- Reconfirm success criteria and owners
- Update the enhancement backlog with priority, estimated effort, and target quarter for delivery.
- Refresh the shared issue channel escalation contacts and SLA expectations document.
- Year-to-date outcome summary
- Confirm the year-to-date evidence acceptance rate meets or documents variance from the Outcome Discovery expectations.
- Document a prioritized enhancement roadmap that addresses the top lessons learned and recurring blockers.
- Ensure the shared issue and enhancement channel has explicit maintainers, SLAs, and an annual review checkpoint.
- Publish the annual lessons learned report with a consolidated list of process and tool changes recommended for implementation.
- Deliver the prioritized enhancement roadmap with estimated timelines and acceptance criteria for each item.
- Confirm and publish the shared channel operating procedure including escalation contacts and response SLAs.
- Confirm the deployment environments and evidence pipelines are functioning end-to-end.
- Agree owners and timelines for any remediation items preventing artifact generation or access.
- Validate that the list of success criteria from Outcome Discovery is complete and specific for measurement.
- Produce a deployment validation report showing environment endpoints, CI job status, and sample evidence artifacts.
- Compile a short issue log for any blockers with target resolution dates and deliver it to the shared channel.
- Publish initial user onboarding checklist and training completion counts for asynchronous review.
- Present first measurement data against targets
- Establish a clear list of remediation actions that will move structural coverage closure percentage toward the Outcome Discovery targets.
- Agree milestone dates and a monitoring cadence that lead into the Acceptance Gate around day 90.
- Confirm artifact formats and traceability exports meet the acceptance expectations captured in Solution Evaluation.
- Deliver a remediation plan listing failing modules, proposed test additions or tool-config changes, and expected coverage uplift by date.
- Publish updated traceability matrix exports and a sample evidence packet for DER review.
- Schedule the Acceptance Gate meeting and circulate the dataset that will be used for the pass/fail decision.
- Restate numeric acceptance criteria
- Produce a documented pass/fail result for each acceptance criterion recorded in Outcome Discovery.
- Capture a named signatory's formal acceptance decision for enterprise governance.
- Agree a remediation and re-evaluation timeline for any conditional or failed criteria.
- Persistent issues and blocker burn-down
- Lessons learned workshop
- Present outcome data for each criterion
- Diagnose root causes for metric gaps
- Deployment and environment validation
- Enhancement request triage
- Document pass or fail per criterion
- Enhancement roadmap alignment
- Agree corrective actions and timeline to acceptance gate
- Smoke test of evidence pipelines
- Shared channel and escalation confirmation
- Early adoption signals and usage patterns
- Confirm evidence format and DER engagement readiness
- Confirm shared issue and enhancement channel health
- Formal acceptance decision and signatory capture
- Blockers, open issues, and immediate remediations
- Agree closure plan for any failing criteria