"ESA Certified Rteme në konfigurimin simetrochessing simetric për kategorinë e kritikave C dhe D," tha kompania gjermane rtems mbështesin trurin e ngulitur. "Kjo do të thotë që funksionet kritike të sigurisë tani mund të ekzekutohen edhe në përpunuesit modern shumëcore që mbështeten në RTEMs. Më parë, vetëm një version i reduktuar në masë të madhe, tani i vjetëruar, i vetëm, ishte në dispozicion për këtë qëllim ".
Kualifikimi u krye në përpunuesit e Cobham-Gaisler Gr740 dhe GR712RC, të cilat kanë arkitekturën e SPARC. Çertifikatat me kores ARM dhe RISC-V janë në tubacion.
Kualifikimi për kategorinë A dhe B është parashikuar. "Pastaj edhe funksionet kritike të sigurisë në misionet e drejtuar mund të veprojnë në bazë të RTEMs", tha trurin e ngulitur. "Dokumentacioni dhe testet për këtë janë tashmë në vend, dhe verifikimi i nevojshëm i pavarur është duke u zhvilluar".
Sipas trurin e ngulitur, i cili ka hartuar dhe zhvilluar paketën aktuale të të dhënave të kualifikimit, Certifikimi i RTEMs tani është kryesisht i automatizuar - nga dokumentacioni në testim dhe përmbledhja e vlerësimit. "Në këtë mënyrë, shumica e sistemeve të synuara, ndërfaqeve dhe drejtuesve të RTEMs mund të certifikohen në një mënyrë ekonomike. Edhe në versionin bazë, kjo përfshin mbi 2,000 procedura testuese dhe më shumë se 10,000 faqe të rezultateve dhe dokumentacionit "- Kompania po ofron shërbimet e saj për të lehtësuar kualifikimin e procesorëve multicore që ende nuk janë të mbështetura.
Faqja rtems embedded embedded është këtu
Faqja e kualifikimit të RTEMS të ESA
Rtem është këtu