Tiêu chuẩn DO-178B và DO-178C
Tiêu chuẩn "The Software Considerations in Airborne Systems and Equipment Certification", còn được gọi là RTCA DO-178B, là các tiêu chuẩn được sử dụng trong chứng nhận hệ thống hàng không. Như có thể dự đoán từ các hệ thống quan trọng như vậy, độ tin cậy của phần mềm phải được đảm bảo. DO-178B đóng vai trò là hướng dẫn cho mục đích này. Các tiêu chuẩn này được công bố bởi Radio Technical Commission for Aeronautics (RTCA), phối hợp và hợp tác chặt chẽ với European Organisation for Civil Aviation Equipment (EUROCAE), dưới tên DO-178B vào năm 1992 và DO-178C vào năm 2011. DO-178C là phiên bản cập nhật của DO-178B. Do nội dung của chúng gần như giống hệt nhau, từ đây trở đi chúng sẽ được gọi chung là DO-178. Do RTCA, các tiêu chuẩn này được biết đến với tên DO-178B tại Hoa Kỳ và ED-12B tại Châu Âu. Cả hai tổ chức đều công nhận chứng nhận của nhau.
Các tiêu chuẩn DO-178 mang lại độ tin cậy và độ ổn định cao hơn, khả năng tái sử dụng, chi phí vòng đời thấp hơn, chi phí bảo trì thấp hơn và khả năng tuân thủ phần mềm nhanh hơn.
Theo hướng dẫn của DO-178, mọi phần mềm hàng không phải được gán một Mức Đảm bảo Thiết kế (Design Assurance Level – DAL) dựa trên hậu quả của lỗi hệ thống. Mức E nghĩa là "không ảnh hưởng đến an toàn," trong khi mức cao nhất, Mức A, nghĩa là "thảm khốc." Các tiêu chuẩn quy định nhiều mục tiêu quy trình khác nhau tùy theo mức độ phần mềm.
