Hướng dẫn tiêu chuẩn DO-178B: Công cụ xác minh phần mềm

DO-178B và DO-178C đều là các tiêu chuẩn do Ủy ban kỹ thuật vô tuyến hàng không (RTCA) phát triển cho phần mềm được sử dụng trong các hệ thống trên không. Các tiêu chuẩn này cung cấp các hướng dẫn và yêu cầu cho việc phát triển và chứng nhận phần mềm để sử dụng trong các hệ thống máy bay. Sự khác biệt chính giữa DO-178B và DO-178C nằm ở phạm vi, cập nhật và cải tiến của chúng.

DO-178B, còn được gọi là “Cân nhắc về phần mềm trong chứng nhận thiết bị và hệ thống trên không,” được xuất bản vào năm 1992 và trở thành tiêu chuẩn thực tế để phát triển phần mềm trong ngành hàng không vũ trụ. Nó xác định một tập hợp các mục tiêu và hoạt động để đảm bảo rằng phần mềm được sử dụng trong các hệ thống máy bay là đáng tin cậy và an toàn. DO-178B được tổ chức thành sáu cấp độ phần mềm, từ Cấp độ A (quan trọng nhất) đến Cấp độ E (ít quan trọng nhất), dựa trên tác động tiềm ẩn của lỗi phần mềm đối với máy bay và hành khách trên máy bay. Nó cung cấp một quy trình có hệ thống để phát triển, xác minh và xác thực phần mềm, bao gồm các yêu cầu, thiết kế, mã hóa và thử nghiệm.

DO-178C, còn được gọi là “Cân nhắc phần mềm trong chứng nhận thiết bị và hệ thống trên không,” là phiên bản cập nhật của DO-178B. Nó được xuất bản vào năm 2011 và giới thiệu một số thay đổi và cải tiến quan trọng đối với tiêu chuẩn. DO-178C phản ánh những tiến bộ trong thực tiễn phát triển phần mềm, công nghệ và công cụ đã xảy ra kể từ khi phát hành DO-178B. Mục tiêu chính của DO-178C là tăng cường tính nhất quán và rõ ràng của tiêu chuẩn, cải thiện khả năng sử dụng và giải quyết các thách thức liên quan đến kỹ thuật phát triển phần mềm hiện đại.

Một trong những thay đổi đáng chú ý trong DO-178C là việc bổ sung một mô hình vòng đời phần mềm mới được gọi là “Xác minh và Phát triển Dựa trên Mô hình” (MBDV). Mô hình này cho phép sử dụng các kỹ thuật xác minh và thiết kế dựa trên mô hình, có thể cải thiện hiệu quả và chất lượng phát triển phần mềm. DO-178C cũng cung cấp hướng dẫn rõ ràng hơn về việc sử dụng các phương pháp chính thức, công nghệ hướng đối tượng và tích hợp phần mềm thương mại có sẵn (COTS).

DO-178C duy trì các mức phần mềm giống như DO-178B và tiếp tục nhấn mạnh tầm quan trọng của việc phát triển dựa trên yêu cầu, kiểm tra nghiêm ngặt và truy xuất nguồn gốc. Nó cũng bao gồm hướng dẫn cập nhật về các chủ đề như hoạt động xác minh, đánh giá công cụ và sử dụng các mô hình phần mềm và mã được tạo.

Tóm lại, DO-178C là phiên bản cập nhật của DO-178B kết hợp các cải tiến và giải quyết các thực tiễn và công nghệ phát triển phần mềm đang phát triển. Nó cung cấp hướng dẫn rõ ràng hơn, giới thiệu các mô hình vòng đời mới và tính đến những tiến bộ trong công nghệ phần mềm kể từ khi phát hành DO-178B.