原文传递
Explicate '78: Uncovering the Implicit Assurance Case in DO-178C.
| 题名： | Explicate '78: Uncovering the Implicit Assurance Case in DO-178C. |
| 作者： | Holloway, C. M. |
| 关键词： | Certification, Software engineering, Standards, Assurance, Commercial aircraft, Software reliability, Safety, Flight management systems, Onboard data processing, Computer techniques, Decision support systems, Goal theory, Independent variables |
| 摘要： | For about two decades, compliance with Software Considerations in Airborne Systems and Equipment Certification (DO-178B/ED-12B) has been the primary means for receiving regulatory approval for using software on commercial airplanes. A new edition of the standard, DO-178C/ED-12C, was published in December 2011, and recognized by regulatory bodies in 2013. The purpose remains unchanged: to provide guidance 'for the production of software for airborne systems and equipment that performs its intended function with a level of confidence in safety that complies with airworthiness requirements.' The text of the guidance does not directly explain how its collection of objectives contributes to achieving this purpose; thus, the assurance case for the document is implicit. This paper presents an explicit assurance case developed as part of research jointly sponsored by the Federal Aviation Administration and the National Aeronautics and Space Administration. |
| 总页数： | Holloway, C. M. |
| 报告类型： | 科技报告 |
相关文献
- Making the Implicit Explicit: Towards an Assurance Case for DO-178C.
- Formal Methods Case Studies for DO-333.
- Certification of Safety-Critical Software Under DO-178C and DO-278A.
- Certification of Safety-Critical Software Under DO-178C and DO-278A.
- Final Report - Regulatory Considerations for Adaptive Systems.
- Networked Local Area Networks in Aircraft: Safety, Security, and Certification Issues and Initial Acceptance Criteria (Phases 1 and 2). Final rept.
检索历史
应用推荐
