Free 30-day trial DO-178C Handbook RapiCoupling Preview DO-178C Multicore Training Multicore Resources

Back to Top Contact Us

Discovery pages

control_tower

DO-278A Guidance: Introduction to RTCA DO-278 approval

RTCA DO-278A / EUROCAE ED-109A is the main document used for the development of ground-based software systems that…

Picture of a car

ISO 26262

ISO 26262 is a standard for implementing functional safety measures for electric systems in an...

DCCC Image

Data Coupling & Control Coupling

Data coupling and control coupling (DCCC) coverage analysis is a required activity for DO-178C certification...

Additional Coe verification thumb

Verifying additional code for DO-178C

DO-178C objective 6.4.4.c includes a required activity to verify additional code introduced by the compiler for DAL A…

do178c

DO-178C Guidance: Introduction to RTCA DO-178 certification

DO-178C: Software Considerations in Airborne Systems and Equipment Certification is the primary document by which…

matlab_simulink

MATLAB® Simulink® MCDC coverage and WCET analysis

Discover robust tools which can aid you in WCET and code coverage testing for your model-based projects developed in…

Thumbnail

Code coverage for space

Whether your project is mission and/or safety critical, ensuring that your embedded software does not have any…

code_coverage_ada

Code coverage for Ada, C and C++

Code coverage testing can help to ensure that all source code can be traced back to requirements. This can be…

amc-20-193

AC 20-193 and AMC 20-193

AMC 20-193 is a joint effort by EASA and the FAA that supplements the guidance in position paper "CAST-32A: Multi-core…

embedded_software_testing

Embedded Software Testing Tools

In embedded testing, the functional behavior of embedded hardware or software is verified and validated to provide…

wcet_tools

WCET Tools

DO-178C guidance for aerospace and the ISO 26262 standard for automotive both require that evidence on the WCET of…

wcet

Worst Case Execution Time

Learn more about the importance of Worst-Case Execution Time (WCET) in DO-178C and ISO 26262 projects.

evtol_certification

Certifying eVTOL

Learn more about certifying electric vertical takeoff and landing aircraft.

do-178c_testing

DO-178C testing

DO-178C testing is part of the overall process of complying with the guidance in DO178C, Software Considerations in…

cast-32a

What is CAST-32A?

In response to the increased use of multicore processors, the Certification Authorities Software Team published…

automotive_software_testing

Automotive Software Testing

Many of the embedded systems used in modern cars are safety-critical. For these systems, it is essential that the…

aerospace_software_testing

Aerospace Software Testing

Avionics systems often comprise many thousands of functions and millions of lines of code. To ensure safety of the…

mcdc

MC/DC Coverage

Modified Condition/Decision Coverage (MC/DC) is a code coverage criterion commonly used in software testing. For…