DO-178C

DO-178C, או בשמו המלא "Software Considerations in Airborne Systems and Equipment Certification" (תרגום: שיקולי תוכנה במערכות מוטסות ותקינה של ציוד) הוא מסמך אשר רשויות תקינה בתחום התעופה, כמו FAA, EASA ו Transport Canada מתבססות עליו כדי לתת הסמכה למוצרי תוכנה המשולבים במערכות בתעשיית האירו-ספייס (aerospace). המסמך פורסם על ידי RTCA, במאמץ משולב עם EUROCAE, ומחליף את קודמו DO-178B. המסמך החדש נקרא DO-178C/ED-12C, הוא הושלם בנובמבר 2011 אושר על ידי ה RTCA בדצמבר 2011, וזמין לקנייה ושימוש מינואר 2012.

ה-FAA אישר את AC 20-115C ב-19 ביולי 2013, אשר הפך את DO-178C למסמך אשר "אמצעי קביל, אך לא היחיד, להוכחת תקינות עם רגולציה יישומית בתחום התעופה להיבטי תוכנה המערכות מוטסות ותקינת ציוד".

רמת התוכנה 
"רמת התוכנה" (Software level), מכונה גם "רמת סמך התכן" או "DAL" (ראשי תיבות של Design Assurance Level), ולפעמים IDAL (Item Development Assurance Level) כמוגדר במסמך ARP4754 (DO-178C רק מזכיר את IDAL כמלה נרדפת ל Software Level), נקבעת בתהליך הערכת בטיחות (safety assessment process) וניתוח סיכונים (hazard analysis) על ידי בחינת תוצאות צפויות של אופני כשל של המערכת.

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

DO-178C לא נועד להבטיח את היבטי בטיחות התוכנה. פרמטרי בטיחות בתכן ובמימוש חייבים לקבל משימות בטיחות נוספות כדי להוכיח עמידה בדרישות בטיחות ספציפיות. רשויות התקנים דורשות, ו DO-178C מגדיר שה-DAL המתאים יותאם לשיטות הניתוח כדי לקבוע את רמת התוכנה A-E. רמת התוכנה קובעת את מידת ההקפדה (rigor) הנדרשת כדי להוכיח היענות עם DO-178C. כל תוכנה שפוקדת, שולטת, מנטרת פונקציות עם סיכון בטיחות קריטי (safety-critical) צריכות לקבל את ה-DAL הגבוה ביותר - רמה A.

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

ראו גם
 ARP4761
 MIL-STD-882

קישורים חיצוניים

הערות שוליים 

תקנים בתחום המחשוב
תעופה
הנדסת תוכנה
בטיחות