ED-80

July 26, 2021

Learn how to apply formal verification to safety-critical aviation designs

A detailed technical overview of formal verification within the context of the DO-254 (ED-80) standard is now available to download.

Article | Topics: Verification | Tags: aviation, avionics, design for safety, DO-254, ED-80, formal verification, FPGA, safety-critical systems | Organizations: Siemens EDA

May 19, 2021

Understand how DO-254 defines verification for avionics

The avionics design assurance guidance has its own flavor of verification which needs to be understood alongside its definition of validation.

Article | Topics: Standards, Technical Articles, Verification | Tags: avionics, compliance, DO-254, ED-80, methodology, validation | Organizations: Patmos Engineering Services, Siemens EDA

PLATINUM SPONSORS

Synopsys

Cadence Design Systems

Siemens EDA

View All Sponsors