Sự khác biệt và Thách thức giữa DO-178B và DO-178C

DO-178B là gì?

RTCA DO-178B, tên chính thức “Những cân nhắc về phần mềm trong chứng nhận hệ thống và thiết bị trên không,” được giới thiệu vào năm 1992. Đây là phiên bản thứ hai của tiêu chuẩn DO-178, thay thế phiên bản trước đó là DO-178A, nhằm đáp ứng những thách thức ngày càng tăng về phát triển phần mềm trong ngành hàng không.

Mục tiêu và hướng dẫn chính

DO-178B phác thảo một khuôn khổ có cấu trúc để đảm bảo phần mềm quan trọng về an toàn đáp ứng các yêu cầu chứng nhận nghiêm ngặt. Mục tiêu của nó bao gồm:

• Thiết lập vòng đời phát triển rõ ràng.
• Đảm bảo khả năng truy xuất từ ​​yêu cầu đến mã và thử nghiệm.
• Xác minh tính đúng đắn và đầy đủ của các chức năng phần mềm.

Tiêu chuẩn này phân loại phần mềm thành năm Mức đảm bảo thiết kế (DAL), trong đó DAL A là mức quan trọng nhất và đòi hỏi sự tuân thủ chặt chẽ nhất.

Vai trò trong việc đảm bảo tuân thủ phần mềm

DO-178B đảm bảo phần mềm điện tử hàng không tuân thủ các tiêu chuẩn về an toàn và độ tin cậy, giảm thiểu rủi ro hỏng hóc hệ thống. Các hướng dẫn của nó rất cần thiết để đạt được sự chấp thuận theo quy định từ các cơ quan hàng không như FAA và EASA, cho phép chuẩn hóa toàn cầu trong chứng nhận phần mềm trên không.

DO-178C là gì?

Những tiến bộ trong thực hành phát triển phần mềm, bao gồm lập trình hướng đối tượng, thiết kế dựa trên mô hình và phương pháp xác minh chính thức, đã tạo ra những khoảng trống trong khả năng áp dụng của DO-178B. Để giải quyết những khoảng trống này, RTCA DO-178C đã được giới thiệu vào năm 2011, cung cấp hướng dẫn nâng cao phù hợp với các phương pháp hiện đại trong khi vẫn duy trì trọng tâm an toàn nghiêm ngặt của phiên bản tiền nhiệm.

Các lĩnh vực trọng tâm mở rộng

DO-178C giới thiệu các tài liệu bổ sung để mở rộng phạm vi của nó:

• DO-330: Quy trình đánh giá chất lượng công cụ.
• DO-331: Hướng dẫn phát triển và xác minh dựa trên mô hình.
• DO-332: Những cân nhắc về công nghệ hướng đối tượng.
• DO-333: Ứng dụng các phương pháp chính thức trong xác minh.

Những phần bổ sung này cung cấp hướng dẫn chi tiết để giải quyết những vấn đề phức tạp cụ thể trong phát triển phần mềm hiện đại.

Tăng cường độ rõ nét và bổ sung thêm

So với DO-178B, DO-178C cung cấp các mục tiêu rõ ràng hơn, quy trình truy xuất yêu cầu được tinh chỉnh và hướng dẫn xác minh được cập nhật. Nó nhấn mạnh các công cụ và phương pháp tự động để cải thiện hiệu quả, tính nhất quán và tuân thủ trong suốt vòng đời phát triển phần mềm.