ניו-טק מיליטרי מגזין | יולי-אוגוסט 2017

הן חיוניות COTS למההוכחות להסמכות

סטפן אולסן, ווינד ריבר

ה

מבטלת סיכון משמעותי בהסמכה והטמעה של תוכניות אוויוניקה. מגדילה איכות הוכחת ואת העומק שלה, שאינן מתאפשרות בשימוש בתקציבי תוכניות יחידות. מפחיתה את העלויות הכוללות של הסמכה, כולל כל עבודה להסמכה חוזרת. מקצרת את הזמן עד הפעלה עבור תוכניות FAA RTCA DO -178 C DAL הסמכה מאתגרות לריבוי ליבות. A מערכות מרובות ליבות יוצרות שכבה נוספת של מורכבות במונחי אינטגרציה של מערכות והסמכתן. מעבר להיבטים הטכניים הקשורים לחציצה לצורך אבטחה, ספקי תעופה חייבים גם לנהל נושאים עסקיים הקשורים לרכישת אפליקציות מספקים שונים. אפליקציות אלה חייבות לחלוק את אותו מעבד, אבל לעיתים קרובות ניתן להסמיך אותן ברמות הבטחת הסמכה: תרחיששימוש של מערכות מרובות ליבות

ועלויות של הסמכה, ווינד ריבר הכריזה על השקת מהדורת הוכחות להסמכה עבור הפועל VxWorks ® 653 Multi - core Edition מרובה ליבות, ועונה PowerPC על גבי מעבד RTCA DO -178 C לדרישות המחמירות של . EUROCAE ED - 12C DAL A ו- מהדורה זו מוסיפה את חבילת ראיות ההסמכה הנדרשות כדי לעמוד בדרישות הבטיחות של תכנונים, מבחנים, סקירות, קוד - FAA ה- מקור, קבצי בנייה, תוצאות מבחנים, כיסוי מלווה הערות של קוד ברמת אובייקט, ונתוני הסמכת כלים עבור מערכות תעופה מודולוריות .) IMA קריטיות משולבות ( זו: COTS האספקה של הוכחת הסמכת מאפשרת לספקים למנף את פלטפורמת הבסיס של ווינד ריבר שהינה בעלת בטיחות מוכחת, אשר נבנתה מול קבצים בינאריים מוסמכים, כדי להאיץ את תהליך ההסמכה של הספקים בדור הבא של מערכות בעלות הסמכת בטיחות, המשתמשות במעבדים מרובי ליבות.

ביקוש הגובר למערכות תעופה ברמת מורכבות גבוהה, יוצר על ספקים לחץ

לספק מטוסים עם יכולות הרבה יותר גדולות, תוך עמידה בדרישות הגוברות להסמכות בטיחות – מאחר שתאי הטייס המתקדמים ביותר דורשים שימוש בתוכנה הנחשבת קריטית לבטיחות. דרך אחת לטפל במורכבות זו היא להשתמש ,) COTS בטכנולוגיות תוכנות מדף מסחריות ( אשר מגיעות עם הוכחות הסמכה, אותן כוללים (רשות התעופה הפדרלית), FAA בהגשה ל- , או לסוכנויות בטיחות אחרות EASA המעניקות את ההרשאה לתפעל מטוס. כאשר ספקי טכנולוגיה יוצרים הוכחה שכזאת, הם מסירים סיכון משמעותי מחברות תעופה, אשר מצדן חייבות לפעול למזעור סיכוני תפעול בכל הרמות של תוכנית חדשה. הדבר הופך לחשוב במיוחד כאשר משתמשים במעבדים מרובי ליבות, עבורם אין נתיב ישיר להסמכה, ולכן הסיכון בפרויקט מזנק באופן אקספוננציאלי. כדי לסייע לספקי תעופה להפחית סיכונים

New-Tech Military Magazine l 30