Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance
Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance
复制标题
开发安全关键软件：航空软件和 DO-178C 合规性实用指南
DOI：
10.1201/9781315218168
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
L. Rierson
中科院分区：
文献类型：
--
作者：
L. Rierson
简介在系统软件的背景下，在系统安全评估的背景下，使用DO-178C的DO-178C概述开发安全至关重要的软件的引言和概述上下文软件实施：编码和集成软件验证软件配置管理软件质量保证认证联络工具资格和DO-178C补充DO-330和软件工具资格DO-331和基于模型开发和验证DO-332以及面向对象的技术及相关技术DO-333和正式方法特殊主题未覆盖的代码（死，无关紧要的和停用的代码）现场可容纳可容纳的可容纳软件用户 - 可容纳软件用户模型软件实时操作系统软件软件，航空数据软件重复使用反向工程外包和离岸外包软件生命周期活动附录附录A：示例过渡条件附录B：附录C的实时操作系统领域：在选择安全至关重要系统的实时操作系统附录D：软件服务历史记录问题索引索引时要考虑的问题
Introduction Introduction and Overview Context of Safety-Critical Software Development Software in the Context of the System Software in the Context of the System Safety Assessment Developing Safety-Critical Software Using DO-178C Overview of DO-178C and Supporting Documents Software Planning Software Requirements Software Design Software Implementation: Coding and Integration Software Verification Software Configuration Management Software Quality Assurance Certification Liaison Tool Qualification and DO-178C Supplements DO-330 and Software Tool Qualification DO-331 and Model-Based Development and Verification DO-332 and Object-Oriented Technology and Related Techniques DO-333 and Formal Methods Special Topics Noncovered Code (Dead, Extraneous, and Deactivated Code) Field-Loadable Software User-Modifiable Software Real-Time Operating Systems Software Partitioning Configuration Data Aeronautical Data Software Reuse Reverse Engineering Outsourcing and Offshoring Software Life Cycle Activities Appendices Appendix A: Example Transition Criteria Appendix B: Real-Time Operating System Areas of Concern Appendix C: Questions to Consider When Selecting a Real-Time Operating System for a Safety-Critical System Appendix D: Software Service History Questions Index