DO-178C
Nhiều người — và chắc chắn là hầu hết các nhà phát triển — đã chấp nhận rằng không có thứ gì gọi là phần mềm không có lỗi. Tuy nhiên, khi chúng ta lên máy bay và cất cánh đến một nơi xa xôi nào đó, tất cả chúng ta đều cho rằng máy bay sẽ ở trên không trong suốt hành trình và hạ cánh an toàn khi kết thúc hành trình.
Tại sao chúng ta lại đặt quá nhiều niềm tin vào những cỗ máy phức tạp như máy bay hiện đại, nơi mà hàng nghìn bộ phận phức tạp được điều khiển bằng phần mềm nhúng, mà sự phát triển của nó là một nhiệm vụ khủng khiếp, nơi một sai lầm có thể gây ra hậu quả thảm khốc?
Bởi vì sự phát triển của các hệ thống hàng không nhúng tuân thủ các tiêu chuẩn, hướng dẫn và thông số kỹ thuật hàng không nghiêm ngặt như DO-178C, mục đích của nó là ngăn các lỗi phần mềm ảnh hưởng đến sự an toàn của hành khách và phi hành đoàn.
DO-178C là gì?
Còn được gọi là Cân nhắc Phần mềm trong Chứng nhận Hệ thống và Thiết bị Trên không, DO-178C là một tiêu chuẩn quan trọng được áp dụng trong phát triển hàng không để đảm bảo tính đáng tin cậy của các hệ thống phần mềm được sử dụng trên máy bay dân dụng.
Tiêu chuẩn được đồng công bố bởi Ủy ban Kỹ thuật Vô tuyến Hàng không (RTCA), một tổ chức tình nguyện của Hoa Kỳ phát triển hướng dẫn kỹ thuật cho các cơ quan quản lý của chính phủ và ngành công nghiệp, và Tổ chức Châu Âu về Thiết bị Hàng không Dân dụng (EUROCAE), tổ chức hàng đầu Châu Âu trong sự phát triển của các tiêu chuẩn ngành hàng không được công nhận trên toàn thế giới.
DO-178C thay thế DO-178B, có phiên bản mới nhất được xuất bản vào năm 1992 và thường được liên kết với DO-254 quy định hệ thống phần cứng. Cũng giống như người tiền nhiệm của nó, DO-178C phân loại độ an toàn theo năm cấp độ, với mỗi cấp độ tương ứng với hậu quả của sự cố phần mềm:
- Cấp độ A (Thảm họa) - Một sự cố nghiêm trọng có thể gây ra tử vong và thường là mất máy bay.
- Mức B (Nguy hiểm) - Sự cố nguy hiểm có ảnh hưởng tiêu cực lớn đến an toàn hoặc hiệu suất, hoặc làm giảm khả năng vận hành máy bay của tổ lái do suy nhược cơ thể hoặc khối lượng công việc cao hơn, hoặc gây ra thương tích nghiêm trọng hoặc tử vong cho hành khách.
- Cấp độ C (Chuyên ngành) - Một sự cố lớn làm giảm đáng kể biên độ an toàn hoặc làm tăng đáng kể khối lượng công việc của phi hành đoàn và nó có thể gây khó chịu cho hành khách hoặc thậm chí bị thương nhẹ.
- Cấp độ D (Vị thành niên) - Một hỏng hóc nhỏ làm giảm nhẹ biên độ an toàn hoặc tăng nhẹ khối lượng công việc của thủy thủ đoàn. Ví dụ về những hỏng hóc nhỏ có thể bao gồm gây ra sự bất tiện cho hành khách hoặc thay đổi kế hoạch chuyến bay thường lệ.
- Mức E (Không có Hiệu ứng An toàn) - Sự cố này không ảnh hưởng đến an toàn, hoạt động của máy bay hoặc khối lượng công việc của phi hành đoàn. Một ví dụ có thể bao gồm một lỗi trong hệ thống giải trí trên chuyến bay.
Đối với mỗi cấp độ an toàn trong số năm cấp độ an toàn, một số mục tiêu nhất định phải được đáp ứng để đáp ứng các yêu cầu về khả năng bay và được phê duyệt phần mềm được sử dụng trong các sản phẩm hàng không dân dụng:
Cấp | Điều kiện thất bại | Mục tiêu | Với sự độc lập |
A | Thảm khốc | 71 | 30 |
B | Nguy hiểm | 69 | 18 |
C | Chính | 62 | 5 |
D | Nhỏ | 26 | 2 |
E | Không có hiệu ứng an toàn | 0 | 0 |
Cụm từ “độc lập” có nghĩa là không thể đạt được mục tiêu trừ khi có sự phân tách trách nhiệm được lập thành văn bản rõ ràng.
Kể từ khi DO-178C được bán và sử dụng vào tháng 2012 năm XNUMX, nó đã trở thành tài liệu chính mà các cơ quan cấp giấy chứng nhận như FAA (một cơ quan chính phủ của Hoa Kỳ có quyền điều chỉnh tất cả các khía cạnh của hàng không dân dụng), EASA (một Cơ quan của Liên minh Châu Âu chịu trách nhiệm về an toàn hàng không dân dụng) và Bộ Giao thông vận tải Canada (cơ quan trong Chính phủ Canada chịu trách nhiệm phát triển các quy định, chính sách và dịch vụ vận tải đường bộ, đường sắt, hàng hải và hàng không ở Canada) phê duyệt tất cả các phần mềm thương mại dựa trên hệ thống hàng không vũ trụ.
Điều quan trọng cần lưu ý là DO-178C là một tiêu chuẩn không theo quy định, có nghĩa là nó không mô tả những gì phải làm để đáp ứng các mục tiêu an toàn mà nó cung cấp. Như vậy, nó mang lại cho các nhà phát triển hệ thống phần mềm được sử dụng trong máy bay dân dụng rất nhiều tính linh hoạt, nhưng nó cũng đôi khi tạo ra sự mơ hồ.
Làm thế nào để hỗ trợ DO-178C?
Sự phức tạp to lớn của phát triển phần mềm điện tử hàng không đòi hỏi phải tự động hóa các quy trình thủ công để quản lý yêu cầu. Các nhà phát triển hệ thống phần mềm điện tử hàng không cần một kho lưu trữ tập trung cho các yêu cầu cho phép họ dễ dàng truy ngược lại nguồn gốc của từng yêu cầu và xem mọi thay đổi được thực hiện với nó.
Mặc dù Microsoft Word và Excel có thể là những công cụ quản lý yêu cầu phù hợp trong một số ngành nhất định, nhưng chúng lại gây ra quá nhiều khó khăn khi phát triển phần mềm điện tử hàng không, đó là lý do tại sao các nhà phát triển hệ thống phần mềm điện tử hàng không nắm lấy các công cụ quản lý yêu cầu phức tạp, chẳng hạn như Yêu cầu về Visure Nền tảng ALM.
Hỗ trợ DO-178C với các yêu cầu thăm quan

Cung cấp hỗ trợ tích hợp cho quá trình yêu cầu hoàn chỉnh, Yêu cầu về thăm quan là một giải pháp phần mềm quản lý yêu cầu hiện đại có khả năng quản lý tất cả các thông tin liên quan đến yêu cầu (như yêu cầu, kiểm tra, yêu cầu thay đổi, rủi ro, v.v.), các mối quan hệ của chúng và tương tác với người dùng.
Yêu cầu về Visure cung cấp khả năng quản lý các yêu cầu toàn diện và nhanh nhẹn để phát triển và xác minh các hệ thống nhúng điện tử, cho phép các nhà phát triển hệ thống phần mềm điện tử hàng không chuẩn hóa và hợp lý hóa các quy trình của họ liên quan đến DO-178C bằng cách cung cấp một kho lưu trữ tập trung duy nhất cho tất cả các mục tiêu DO-178C.

Yêu cầu về khả năng truy xuất có thể tạo, thực thi và quản lý nhiều liên kết xác định nguồn gốc hai chiều và nó có thể tự động tạo ra các báo cáo và ma trận xác định nguồn gốc hữu ích để hỗ trợ việc ra quyết định hiệu quả và đảm bảo hoàn thành kịp thời tất cả các mục tiêu.
Những đặc tính này và các phẩm chất khác làm cho Yêu cầu về Visure trở thành một công cụ quản lý yêu cầu không thể thiếu vượt xa khả năng của Microsoft Office và Excel, giữ cho mọi người trên cùng một trang và đảm bảo rằng khách hàng nhận được chính xác những gì họ đã trả.
Kết luận
Không có chỗ cho các quy trình thủ công bằng Microsoft Word hoặc Excel để quản lý các yêu cầu trong ngành điện tử hàng không. Máy bay hiện đại là những cỗ máy vô cùng phức tạp đến nỗi sự phát triển của chúng đòi hỏi phải có đầy đủ các phương pháp, tiêu chuẩn và công cụ phức tạp. DO-178C đã trở thành tiêu chuẩn vàng trên thực tế cho các chứng nhận phần mềm điện tử hàng không và để đạt được sự phù hợp với nó đòi hỏi phải có khả năng truy xuất nguồn gốc trên tất cả các hạng mục công việc từ các yêu cầu đến sản phẩm được phát hành. Các giải pháp phần mềm thông minh như Yêu cầu thăm quan có thể giúp quản lý các yêu cầu cụ thể về hàng không và đảm bảo khả năng hiển thị của tất cả các quy trình phát triển trong toàn bộ vòng đời của phần mềm.