Fly the friendly skies with automated CDC verification for DO-254
CDC-related metastability is hard to catch by hand and processes are error prone. Tools offer a more comprehensive approach.
avionics
DO-254 without tears
Compliance with aviation’s hardware design standard is seen as a ‘tough ask’, but EDA’s own evolution has made that process easier than you may think.
Using assertions in ‘elemental analysis’ for airborne hardware development – Part Two
The article continues the discussion of the verification requirements within the RTCA DO-254 design assurance guidelines. Part Two focuses on assertion-based verification. It proposes a method for using ABV to meet 'elemental analysis' requirements and underpin a systematic approach to robustness testing.
Using assertions in ‘elemental analysis’ for airborne hardware development – Part One
This two-part article discusses the verification requirements of the RTCA DO-254 design assurance guidelines, including advanced methods for use on class DAL A/B designs. The first part provides a general overview. It also explains the original intent behind the concept of 'elemental analysis', how it is typically satisfied today with code coverage, and the limitations [...]