About: DO-178B is a research topic. Over the lifetime, 236 publications have been published within this topic receiving 2523 citations. The topic is also known as: ED-12B.
TL;DR: This paper is a follow on to and provides significant expansion to the software FMEA techniques originally described by the author in the 1993 RAMS paper "Validating The Safety Of Real-Time Control Systems Using FMEa".
Abstract: Assessing the safety characteristics of software driven safety critical systems is problematic. The author has performed software FMEA on embedded automotive platforms for brakes, throttle, and steering with promising results. Use of software FMEA at a system and a detailed level has allowed visibility of software and hardware architectural approaches which assure safety of operation while minimizing the cost of safety critical embedded processor designs. Software FMEA has been referred to in the technical literature for more than fifteen years. Additionally, software FMEA has been recommended for evaluating critical systems in some standards, notably draft IEC 61508. Software FMEA is also provided for in the current drafts of SAE ARP 5580. However, techniques for applying software FMEA to systems during their design have been largely missing from the literature. Software FMEA has been applied to the assessment of safety critical real-time control systems embedded in military and automotive products. The paper is a follow on to and provides significant expansion to the software FMEA techniques originally described by the author in the 1993 RAMS paper "Validating The Safety Of Real-Time Control Systems Using FMEA".
TL;DR: How changes in aircraft systems and in the air traffic system pose new challenges for certification, chiefly by increasing the extent of interaction and integration, is described.
Abstract: We outline the current approach to certification of aircraft software, and the role of DO-178B. We consider evidence for its effectiveness and discuss possible explanations for this. We then describe how changes in aircraft systems and in the air traffic system pose new challenges for certification, chiefly by increasing the extent of interaction and integration.
TL;DR: The European Organisation for Civil Aviation Equipment (EUROCAE) equivalent of DO-297 is ED-124 as discussed by the authors, which is one of several documents that are key to the approval of avionics and ultimately the certification of the host aircraft.
Abstract: RTCA document DO-297, Integrated Modular Avionics (IMA) Design Guidance and Certification Considerations, is one of several documents that are key to the approval of avionics and ultimately the certification of the host aircraft. The European Organisation for Civil Aviation Equipment (EUROCAE) equivalent of DO-297 is ED-124. The need for DO-297 is derived from the emergence of pioneering IMA architectures on the Airbus A-380 and Boeing B-787. Although DO-297 was too late to be part of the certification basis for these aircraft, the lessons learned from them did guide, in part, the content of DO-297. According to DO-297, IMA is a “shared set of flexible, reusable, and interoperable hardware and software resources that, when integrated, form a platform that provides services, designed and verified to a defined set of safety and performance requirements, to host applications performing aircraft functions”.
TL;DR: Bi-directional Analysis (BDA) is proposed, an integrated extension of SFMEA and SFTA, as a core assessment technique by which safety-critical software can be certified and complies with requirements for software safety.
Abstract: This paper proposes the use of Bi-directional Analysis (BDA), an integrated extension of SFMEA and SFTA, as a core assessment technique by which saftey-critical software can be certified.
TL;DR: This research introduces an approach to improve communication and collaboration among safety engineers and software engineers by proposing a Unified Modeling Language (UML) profile that allows software engineers to model safety-related concepts and properties in UML, the de-facto software modeling language.
Abstract: Many safety-related, certification standards exist for developing safety-critical systems. System safety assessments are common practice and system certification according to a standard requires submitting relevant software safety information to appropriate authorities. The airworthiness standard, RTCA DO-178B, is the de-facto standard for certifying aerospace systems containing software. This research introduces an approach to improve communication and collaboration among safety engineers and software engineers by proposing a Unified Modeling Language (UML) profile that allows software engineers to model safety-related concepts and properties in UML, the de-facto software modeling language. Key safety-related concepts are extracted from RTCA DO-178B, and then a UML profile is defined to enable their precise modeling. We show that the profile improves the line of communication between safety engineers and software engineers, for instance by allowing the automated generation of certification-related information from UML models. This is illustrated through a case study on developing an aircraft's navigation controller subsystem.