Android

Nghiên cứu hệ thống an toàn tiền châu Âu

Tàu điện Cát Linh - Hà Đông chạy thỠtoàn tuyến vào tháng 9

Tàu điện Cát Linh - Hà Đông chạy thỠtoàn tuyến vào tháng 9
Anonim

Một trường đại học Hà Lan đã hạ cánh xuống Châu Âu Hội đồng nghiên cứu cấp để tiếp tục làm việc trên một hệ điều hành kiểu Unix nhằm mục đích đáng tin cậy và an toàn hơn Linux hoặc Microsoft Windows.

Khoản 2,5 triệu Euro (3,3 triệu USD) sẽ tài trợ cho ba nhà nghiên cứu và hai lập trình viên. S. Tanenbaum, giáo sư khoa học máy tính tại Vrije Universiteit, Hà Lan.

Tanenbaum đã phát triển Minix, một hệ điều hành dựa trên nền tảng Unix, có một cơ sở mã nhỏ và thực hiện các điều khiển bảo mật mạnh.

Tanenbaum cho biết, phần mềm độc hại mới nhất sẽ cho phép nghiên cứu sâu hơn về việc làm cho hệ điều hành có khả năng tự sửa lỗi khi phát hiện lỗi, cho phép máy tính trở nên đáng tin cậy hơn. 99 "Nó làm tôi khó chịu khi phần mềm không hoạt động", Tanenbaum nói. "Phải khởi động lại máy tính của bạn chỉ là một nỗi đau. Câu hỏi đặt ra là 'Bạn có thể tạo ra một hệ thống thực sự hoạt động tốt không?'"

Lỗi phần mềm sẽ không bao giờ bị loại bỏ, Tanenbaum đã viết trong đề xuất dự án. Tuy nhiên, các hệ điều hành như Windows và Linux được thiết kế theo những cách khiến chúng kém tin cậy hơn chúng có thể, ví dụ, trình điều khiển cho các tính năng như âm thanh và các thành phần ngoại vi khác phải được cài đặt bên trong hạt nhân của hệ điều hành, hoặc mã lõi của máy tính. Tuy nhiên, Minix được thiết kế để các trình điều khiển hoạt động như các ứng dụng bên ngoài hạt nhân, có nghĩa là nếu chúng bị hỏng, máy tính sẽ tiếp tục, Tanenbaum nói.

Trong mô hình của Tanenbaum, các thành phần khác của hệ điều hành sẽ hoạt động trong các mô-đun bị ràng buộc chặt chẽ mà không thể can thiệp lẫn nhau nếu chúng thất bại. Nó cũng cải thiện an ninh tổng thể.

Một hệ điều hành an toàn hơn cũng khiến các nhà cung cấp phần mềm chịu trách nhiệm về các lỗ hổng phần mềm. Tanenbaum cho biết, sự mong đợi cho phần mềm thấp hơn nhiều so với các ngành công nghiệp khác, nơi mà một thành phần thất bại như lốp xe dẫn đến việc thu hồi và phù hợp với luật pháp. "Chúng tôi muốn làm cho phần mềm rất, rất đáng tin cậy", Tanenbaum nói.

Kinh phí sẽ cho phép Minix nghiên cứu tiếp tục trong 5 năm nữa.