Certification Authorities Software Team (CAST) Position Paper CAST-21 COMPILER-SUPPLIED LIBRARIES COMPLETED JANUARY 2004 (Rev 2)

Certification Authorities Software Team (CAST) Position Paper CAST-2 Guidelines for Assessing Software Partitioning/Protection Schemes Completed February, 2001

Certification Authorities Software Team (CAST) Position Paper CAST-16 Databus Evaluation Criteria Completed February 2003

本案例研究使用一个简单的直升机控制系统来演示与 ARP4754A、DO-178C 和 DO-331 兼容的工作流程。 案例研究从系统级需求开始，并提供贯穿可执行目标代码验证的整个工作流程。 尽管该演示使用了许多 MathWorks 工具箱许可证，但除了 MATLAB 和 Simulink 之外，还可以查看预先生成的工件，而无需将所有这些工具箱安装在 MATLAB 和 Simulink 之上。

本文汇总了对英文版DO-178B、法文版ED-12B和中文版HB/Z295-96进行对照学习时所做的注记。

软件认证标准

DO-178C对应的工具鉴定标准，DO-330.DO-330 Software Tool Qualification Considerations Mar 2012

The rapid increase in the use of software in airborne systems and equipment used on aircraft and engines in the early 1980s resulted in a need for industry-accepted guidance for satisfying airworthiness requirements. DO-178, "Software Considerations in Airborne Systems and Equipment Certification," was written to satisfy this need.

Position Paper CAST-19 Clarification of Structural Coverage Analyses of Data Coupling and Control Coupling Completed January 2004 (Rev 2)

RTCA-DO-178B