"Сертифіковані Rtems ESA у симетричній багатопроцесорній конфігурації для категорії критичності C та D", - сказано, що німецька компанія підтримувала компанія, вбудована мозок. "Це означає, що критичні функції безпеки можуть також виконуватись на сучасних багатогранних процесорах, які покладаються на Rtems. Раніше лише значно зменшилося, тепер застарілі, для цієї мети була доступна одночасна версія ".
Кваліфікація була проведена на процесорах Cobham-Gaisler GR740 та GR712RC, які мають архітектуру SPARC. Сертифікати з сертифікатами з руками та RISC-V є в трубопроводі.
Кваліфікація для категорії А та В передбачено. "Тоді навіть критичні функції безпеки в пілотованих місіях могли працювати на основі Rtems", - сказав вбудований мозок. "Документація та тести для цього вже на місці, а необхідна незалежна перевірка".
За словами вбудованих мізків, які розроблені та розроблені поточні кваліфікаційні дані, сертифікація RTEMS зараз значною мірою автоматизована - від документації до тестування та резюме оцінки. "Таким чином, безліч цільових систем, інтерфейсів та водіїв Rtems можуть бути сертифікованими економічним способом. Навіть у базовій версії це включає понад 2000 тестових процедур та понад 10 000 сторінок результатів та документації "- компанія пропонує свої послуги, щоб полегшити кваліфікацію багатокористувацьких процесорів, які ще не підтримуються.
Вбудована сторінка Rtems тут
Кваліфікаційна сторінка Rtems ESA
Remems тут