Những nguyên tắc này bảo đảm sự ổn định, an ninh và hiệu quả trong các hoạt động nhân.

Sự khác biệt và tách biệt mối quan tâm

Một hạt nhân đáng tin cậy được xây dựng với các thành phần mô- đun hoạt động riêng biệt. Việc tách rời này cho phép bảo trì và thử nghiệm dễ dàng hơn. Khi các thành phần bị cô lập, các lỗi trong một mô- đun sẽ ít ảnh hưởng đến các thành phần khác, cải thiện sự ổn định tổng thể.

Xử lý lỗi Robust

Lỗi xử lý hiệu quả là thiết yếu cho sự đáng tin cậy nhân. Hạt nhân cần phải phát hiện, báo cáo và phục hồi từ lỗi không sụp đổ. Đang gỡ lỗi các cơ chế backback và các kết nối hợp lệ sẽ ngăn chặn lỗi truyền đi.

Sự đồng bộ và đồng bộ hóa

Hệ điều hành quản lý nhiều quá trình đồng thời. Cơ chế đồng bộ đúng như khóa và semaphores, ngăn chặn điều kiện tham nhũng và dữ liệu chủng tộc.

Điều khiển hệ thống bảo mật và truy cập

Tính năng bảo mật hạn chế truy cập trái phép đến nguồn hạt nhân. Đang kiểm tra chặt chẽ truy cập và thẩm tra quyền truy cập hợp lệ bảo vệ hệ thống khỏi các hoạt động nguy hiểm. Các biện pháp bảo mật góp phần làm cho hạt nhân đáng tin cậy bằng cách ngăn chặn lợi dụng.