DO178C-ED12C-Changes_and_Improvements-Sep2012.pdf

This work is licensed under a Creative Commons Attribution-Non Commercial-ShareAlike 3.0 Unported License.

mathworks_do178c_autocoding_workflow_poster_jan18.pdf

DO-178C Workflow with Qualified Code Generation Note: Formal Methods allow to detect errors in the Model including dead logic, integer overflow, division by zero, and violations of design properties and assertions, out-ofbounds array access and certain other run-time errors in source code

The_new_software_standard_for_the_avioni.pdf

美国航空无线电技术委员会（RTCA）发布了DO-178C《机载系统合格审定过程中的软件考虑》，并被美国联邦航空局（FAA）、欧洲航空安全局（EASA）和中国民用航空局（CAAC）作为民用飞机机载软件研制可接受的符合性方法