Rtems מוסמך עבור שטח רב עיבוד רב

"ESA מוסמך RTEMS בתצורה הכרובת הסימטרית עבור קטגוריית קריטיות C ו- D", אמר גרמנית RTEMS תמיכה החברה מוטבעת המוח. "משמעות הדבר היא כי פונקציות קריטיות בטיחות יכולות גם להיות מבוצעת על מעבדים multicore המודרנית המסתמכים על Rtems. בעבר, רק מופחת מאוד, עכשיו מיושן, גרסה אחת הליבה היה זמין למטרה זו. "

ההסמכה בוצעה על מעבדי קובם-גאיסלר GR740 ו- GR712RC, אשר יש ארכיטקטורת SPARC. אישורים עם ליבות זרוע ו RISC-V נמצאים בצינור.

ההסמכה לקטגוריה A ו- B מצוינת. "אז אפילו פונקציות קריטיות בבטיחות במשימות מאוישות יכולות לפעול על בסיס של RTEMS," אמר המוח מוטבע. "התיעוד והבדיקות לכך כבר נמצאים במקום, ואימות עצמאית הדרושה מתבצעת".

לדברי המוח מוטבע, אשר עוצב ופיתח את החבילה הנוכחית של נתוני ההסמכה, אישור RTEMS הוא כעת אוטומטית - מתוך תיעוד לבדיקה ואת סיכום ההערכה. "בדרך זו, שפע של מערכות היעד, ממשקים ונהגים של Rtems יכול להיות מוסמך בצורה חסכונית. גם בגרסה הבסיסית, זה כולל מעל 2,000 נהלי בדיקה ויותר מ -10,000 עמודים של תוצאות ותיעוד "- החברה מציעה את שירותיה כדי להקל על ההסמכה של מעבדים מרובי ליבות, שעדיין לא נתמכים.

הדף Embedded Rtems הוא כאן

דף ההסמכה של ESA RTEMS

Rtems הוא כאן