DO-178C development, verification and compliance

Win more A&D programs. Your partner for DO-178C

Reduce your risks, control costs, and accelerate your delivery times for DO-178C development, verification and compliance with LDRA tools from TASKING. From coding standards compliance and requirements-based testing to structural coverage analysis and bidirectional traceability, our solutions offer an integrated path from development to certification.

Talk to our team

DO-178C development & verification · Coding standards compliance · Coverage analysis & traceability · Flexible deployment options

Get in touch

Speak to our team about DO-178C

Tell us about your program and we'll help you find the right solution for your project needs.

OCVObject code verification

WCETTiming analysis support

MulticoreProcessor support

DCCCData & control coupling

MC/DCStructural coverage (DAL A required)

The Challenge

DO-178C is demanding. Especially for smaller teams.

For suppliers and integrators with leaner teams and tighter budgets, the evidence burden of DO-178C can strain resources and slow programs.

⏱️

Manual verification workload

Requirements-based testing, coverage analysis and traceability scripting are labour-intensive without the right tooling.

🔗

Fragmented toolchains, multiple qualification obligations

Each automated process step may require its own tool qualification under DO-330 - more vendors means more overhead and program risk.

📋

Gaps in traceability and compliance evidence

Incomplete requirements-code-test traceability creates audit risk and rework across Stage of Involvement (SOI) gates.

What we offer

An integrated toolchain for DO-178C development and verification

📐

Coding standards compliance

Catch non-compliances early and keep them out of production. MISRA C/C++ enforcement, vulnerability analysis and taint analysis - applied automatically throughout development, not just at review gates.

🧪

Requirements-based and target testing

Build confidence that your software does what it is required to do. Test cases link directly to high-level and low-level requirements, with object code verification confirming compiled output matches source-level intent across all DAL levels.

🔬

Structural coverage analysis

Prove your tests exercise the code that matters. Statement, decision, and MC/DC coverage for DAL A, plus robustness and fuzz testing. Combine BlueBox hardware trace-based coverage with instrumentation-based coverage to reduce structural code coverage cost and effort.

🔗

Data and control coupling (DCCC)

Understand how your components interact - and prove it to auditors. DCCC analysis covers component boundaries, multicore architectures and timing-critical software, giving you evidence that runs deeper than statement coverage alone.

📊

Objectives tracking and traceability

Know your program status at every stage. Bidirectional requirements-code-test traceability gives your team a clear, auditable view - and gives auditors the evidence they need without manual assembly.

🔒

Tool qualification and compliance reporting

Reduce the overhead of audit preparation. TQSPs are available per automated process step, and integrated compliance reporting consolidates your evidence output so your team spends less time assembling documentation and more time building.

Proven at scale

Trusted across hundreds of DO-178 programs worldwide

The LDRA tool suite and Tool Qualification Support Packs have an extensive track record in DO-178 certified programs across the global aerospace and defence industry.

280+

DO-178 certifications

Programs supported by the LDRA tool suite

125+

DAL A certifications

The highest design assurance level

100+

Companies served

Across aerospace, defence and aviation

Learn about LDRA on the DO-178C hub

Free whitepaper

DO-178C demystified:
Strategies for efficient certification

Download the whitepaper

CUSTOMER STORIES

Real programs. Real results.

See how teams in civil and military avionics have used LDRA to reduce verification effort, automate compliance workflows, and meet DO-178 certification requirements.

— Civil & military avionics · DO-178C / DO-254

✓ ✓ Dramatically reduced verification cycle and time to certification

TASKING's LDRA tools automate the part of software engineering that everyone hates - the mundane, repetitive verification tasks. Having a tool that will find 99% of coding standard violations in seconds is great.

Stephen Spence

Senior Avionics Software Engineer

Richland Technologies LLC

Read the full story →

— Defence avionics · DO-178B DAL A · Boeing & JSF programs

✓ ✓ Saved £2 million over a 4-year period through automated verification

We found that, from a coding perspective, the ability to consistently and accurately conform to standards and guidelines together with all the other features of the LDRA tool suite assisted in saving Datel £2 million over a 4-year period.

Tom Roberts

Engineering Manager, Embedded Software & Systems, Ultra Electronics Datel

Ultra Electronics Datel

Read the full story →

How we work with you

From initial enquiry to program support

Understand

We review your program context, DAL levels and existing toolchain.

Propose

A tailored toolchain solution with tool qualification scoped per program.

Integrate

Deploy into your development environment and connect to your existing process.

Support

Ongoing support across the program lifecycle - one escalation path.

Reduce toolchain complexity

Fewer vendors. Clearer accountability.

Every automated process step in your DO-178C toolchain may require its own tool qualification under DO-330. More vendors means more qualification obligations and more program overhead. TASKING's integrated toolchain reduces the number of vendor relationships your team needs to manage.

Compile, debug, test and coverage analysis - integrated
DCCC from DAL C, MC/DC for DAL A, bidirectional traceability
Fewer vendor relationships across your program

Speak to our team DO-178C hub

🧩

Toolchain capability overview

Key DO-178C process steps supported by the TASKING toolchain.

DO-178C COVERAGE

Coding standards (MISRA) DAL A-D
Requirements-based testing DAL A-D
Statement & decision coverage DAL B-D
Data & control coupling (DCCC) DAL A-C
MC/DC coverage DAL A
Bidirectional traceability DAL A-D
Compile, debug & trace DAL A-D

LDRA Productivity Package for A&D

Reporting built for DO-178C audits

The LDRA Productivity Package for Aerospace & Defence provides a streamlined workflow for DO-178C compliance - from static and dynamic analysis through to audit-ready reporting. Reporting of both static and dynamic analyses is tuned to industry requirements and formatted to reflect the objectives of the standard. Rather than assembling evidence from disparate tools, teams work within a single, structured environment that produces compliance output aligned to each DO-178C objective - reducing the time spent preparing for Stage of Involvement (SOI) audits and minimising rework.

Download the datasheet →

Key reporting capabilities

✓

Standards-formatted audit reports

Static and dynamic analysis output formatted to reflect DO-178C objectives - ready for DER and certification authority review.
✓

Structural coverage evidence

Statement, decision, MC/DC and DCCC coverage reports with traceability to test cases and requirements across all DAL levels.
✓

Bidirectional traceability reports

Requirements-to-code-to-test traceability matrix reports, supporting SOI 2 and SOI 3 audit evidence packages.
✓

Coding standards compliance output

MISRA, CWE, JSF++, and custom standard violation reports formatted for inclusion in the Software Verification Results (SVR).
✓

Single compliance workflow

Replaces multiple point solutions with one streamlined environment - reducing tool integration overhead and evidence assembly time.

Who this is for

Built for anyone developing airborne or ground-based software

TASKING supports organisations developing software for commercial or military aviation systems - whether you are new to DO-178C, DO-278A, or managing multiple certified programs.

✈️

Tier 2 aerospace suppliers

Growing or entering A&D programs

🚗

Tier 2 automotive suppliers

Transitioning into aerospace

🛡️

Defense suppliers

Specialist suppliers for military aviation

🛩️

Avionics software houses

Scaling across certified programs

🚁

Drone and eVTOL suppliers

First-time or growing DO-178C programs

Talk to us about your program

Learn more

TASKING DO-178C hub

In-depth technical resources, toolchain documentation, and guidance on DO-178C development and verification with TASKING. Everything your team needs to understand how our tools support your process.

Visit the DO-178C hub →