"ESA bersertifikat RTEMS dalam konfigurasi multiproses simetris untuk kategori kritikalitas C dan D," kata perusahaan dukungan RTEMS Jerman yang tertanam otak. "Ini berarti bahwa fungsi-fungsi keselamatan-kritis sekarang juga dapat dieksekusi pada prosesor multicore modern yang mengandalkan RTEMS. Sebelumnya, hanya versi tunggal yang sangat berkurang, sekarang sudah usang tersedia untuk tujuan ini. "
Kualifikasi dilakukan pada prosesor Cobham-Gaisler GR740 dan GR712RC, yang memiliki arsitektur SPARC. Sertifikasi dengan lengan dan core RISC-V ada di pipa.
Kualifikasi untuk kategori A dan B dipertimbangkan. "Maka bahkan fungsi keselamatan-kritis dalam misi berawak dapat beroperasi berdasarkan RTEMS," kata otak tertanam. "Dokumentasi dan tes untuk ini sudah ada, dan verifikasi independen yang diperlukan sedang berlangsung."
Menurut otak tertanam, yang merancang dan mengembangkan paket data kualifikasi saat ini, sertifikasi RTEMS sekarang sebagian besar otomatis - dari dokumentasi hingga pengujian dan ringkasan evaluasi. "Dengan cara ini, banyaknya sistem target, antarmuka dan driver RTEMS dapat disertifikasi secara ekonomis. Bahkan dalam versi dasar, ini termasuk lebih dari 2.000 prosedur pengujian dan lebih dari 10.000 halaman hasil dan dokumentasi "- perusahaan menawarkan layanannya untuk memudahkan kualifikasi prosesor multicore yang belum didukung.
Halaman Embedded Brains RTEM ada di sini
Halaman Kualifikasi RTEMS ESA
RTEMS ada di sini