"Các rtem được chứng nhận" ESA trong cấu hình đa xử lý đối xứng cho loại quan trọng C và D, "Công ty hỗ trợ RTEM của Đức cho biết các bộ não nhúng. Điều này có nghĩa là các chức năng quan trọng an toàn bây giờ cũng có thể được thực thi trên các bộ xử lý đa tuyến hiện đại dựa vào RTEMS. Trước đây, chỉ có một phiên bản lõi đơn đã giảm mạnh, bây giờ đã lỗi thời, một lần có sẵn cho mục đích này. "
Trình độ chuyên môn được thực hiện trên các bộ xử lý Cobham-Gaisler GR740 và GR712RC, có kiến trúc SPARC. Giấy chứng nhận có cánh tay và lõi RISC-V nằm trong đường ống.
Trình độ chuyên môn cho loại A và B được dự tính. "Sau đó, thậm chí các chức năng quan trọng an toàn trong các nhiệm vụ có người lái có thể hoạt động trên cơ sở RTEMS," Bộ não nhúng. "Tài liệu và bài kiểm tra cho việc này đã có sẵn và xác minh độc lập cần thiết đang được tiến hành."
Theo bộ não nhúng, được thiết kế và phát triển gói dữ liệu trình độ hiện tại, chứng nhận RTEMS hiện đang được tự động phần lớn - từ tài liệu đến thử nghiệm và tóm tắt đánh giá. Theo cách này, vô số hệ thống đích, giao diện và trình điều khiển của RTEM có thể được chứng nhận một cách tiết kiệm. Ngay cả trong phiên bản cơ bản, điều này bao gồm hơn 2.000 quy trình kiểm tra và hơn 10.000 trang kết quả và tài liệu "- Công ty đang cung cấp dịch vụ của mình để giảm bớt đủ điều kiện của bộ xử lý đa tuyến chưa được hỗ trợ.
Trang RTEMS Nhúng RTEMS đang ở đây
Trang trình độ RTEMS của ESA
RTEMS đang ở đây