"ESA-certifierade rtems i den symmetriska multiprocesskonfigurationen för kritisk kategori C och D," sade tyska RTEMS stödföretagets inbäddade hjärnor. "Det innebär att säkerhetskritiska funktioner nu också kan utföras på moderna multicore-processorer som är beroende av rtems. Tidigare var bara en kraftigt reducerad, nu föråldrad, enkärnversion tillgänglig för detta ändamål. "
Kvalificeringen utfördes på Cobham-Gaisler-processorer GR740 och GR712RC, som har SPARC-arkitekturen. Certifieringar med ARM och RISC-V kärnor är i rörledningen.
Kvalificering för kategori A och B är tänkt. "Sedan kan även säkerhetskritiska funktioner i bemannade uppdrag fungera på grundval av RTEMS," sade de inbäddade hjärnorna. "Dokumentationen och testen för detta är redan på plats, och den nödvändiga oberoende verifieringen pågår."
Enligt inbäddade hjärnor, som utformade och utvecklade det nuvarande kvalifikationsdatapaketet, är RTEMS-certifiering nu till stor del automatiserad - från dokumentation till testning och utvärderingsöversikt. "På så sätt kan mångfalden av målsystem, gränssnitt och förare av RTEMs certifieras på ett ekonomiskt sätt. Även i den grundläggande versionen innehåller detta över 2000 testprocedurer och mer än 10 000 sidor av resultat och dokumentation "- Bolaget erbjuder sina tjänster för att underlätta kvalifikationen av multicore-processorer som ännu inte stöds.
Embedded Brains Rtems sida är här
Esas rtems kvalifikationssida
Rtems är här