"Esa Certified Rtems in die simmetriese multiprocessing-konfigurasie vir 'n kritiese kategorie C en D," het Duitse RTems-ondersteuningsmaatskappy-ingebedde brein gesê. "Dit beteken dat veiligheidskritieke funksies nou ook op moderne multicore-verwerkers uitgevoer kan word wat op RTEM's staatmaak. Voorheen was slegs 'n aansienlik verminderde, nou verouderde, enkelkern-weergawe vir hierdie doel beskikbaar. "
Kwalifikasie is uitgevoer op Cobham-Gaisler-verwerkers Gr740 en GR712RC, wat die Sparc-argitektuur het. Sertifisering met ARM en RISC-V kerne is in die pyplyn.
Kwalifikasie vir Kategorie A en B word beoog. "Dan kan selfs veiligheidskritieke funksies in bemande missies op grond van RTEMs funksioneer," het ingebedde brein gesê. "Die dokumentasie en toetse hiervoor is reeds in plek, en die nodige onafhanklike verifikasie is aan die gang."
Volgens ingebedde brein, wat die huidige kwalifikasie data pakket ontwerp en ontwikkel het, is RTEMS-sertifisering nou grootliks geoutomatiseerd - van dokumentasie tot toetsing en die evalueringsopsomming. "Op hierdie manier kan die menigte van teikenstelsels, koppelvlakke en bestuurders van RTEMS op 'n ekonomiese manier gesertifiseer word. Selfs in die basiese weergawe sluit dit meer as 2000 toetsprosedures en meer as 10,000 bladsye van resultate en dokumentasie in. "Die maatskappy bied sy dienste aan om die kwalifikasie van multikore-verwerkers wat nog nie ondersteun word, te vergemaklik nie.
Embedded brein RTems bladsy is hier
ESA se RTEMS kwalifikasie bladsy
RTEMS is hier