A case-study application of RTCA DO-254: design assurance guidance for airborne electronic hardware

Abstract

In a joint project with the FAA, NASA Langley is developing a hardware design in accordance with RTCA DO-254: Design Assurance Guidance for Airborne Electronic Hardware. The purpose of the case study is to gain understanding of the new guidance document and generate an example suitable for use in training.

Hardware certification for real-time safety-critical systems: State of the art

“…In the section below, we are discussing some additional papers in more detail, review a number of most recent approaches to hardware certification according to DO-254, and cover other important points from the literature. Miner et al (2000) were probably the first to consider compliance with DO-254, before even the standard was officially released. In a joint project with the FAA, NASA Langley was developing a hardware design to gain understanding of the guidance document and generate an example suitable for training.…”

Dependability modeling and optimization of triple modular redundancy partitioning for SRAM-based FPGAs

“…Our modeling and analysis exploit the formal verification tool PRISM. This makes our work highly desirable since the use of formal verification techniques (especially model checking) in system design phases to verify the Design Assurance Level (DAL) compliance (as defined in the DO-254 standard [12] for airborne electronic hardware) is highly recommended by NASA and Federal Aviation Administration (FAA) [13]. Of course, performing the analysis only at early stage is not sufficient.…”