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.<ref></ref><ref></ref><ref></ref>

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

== רמת התוכנה ==
"רמת התוכנה" (Software level), מכונה גם "רמת סמך התכן" או "DAL" (ראשי תיבות של Design Assurance Level), ולפעמים IDAL (Item Development Assurance Level) כמוגדר במסמך ARP4754 (DO-178C רק מזכיר את IDAL כמלה נרדפת ל Software Level<ref name="ReferenceA">RTCA/DO-178C "Software Considerations in Airborne Systems and Equipment Certification", p. 116. "One example is the term “item development assurance level” (IDAL), which for software is synonymous with the term “software level."</ref>), נקבעת בתהליך הערכת בטיחות (safety assessment process) וניתוח סיכונים (hazard analysis) על ידי בחינת תוצאות צפויות של אופני כשל של המערכת.

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

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

כמות היעדים שעליהם יש לענות (עם רמת חופש מסוימת) נקבעת על ידי רמת התוכנה A-E. הביטוי "עם רמת חופש" מתייחס להפרדת תחומי האחריות כאשר היעדים של תהליכי הוריפיקציה וולידציה מובטחים על ידי "רמת החופש" שלהם מתהליך פיתוח התוכנה. ליעדים אשר חייבים לקבל מענה עם חופש, האדם האחראי על אימות הפריט (כמו דרישה לקוד מקור) לא חייב להיות האדם אשר אישר את הפריט, והפרדה זו חייבת להיות מתועדת בפירוש<ref>RTCA/DO-178C "Software Considerations in Airborne Systems and Equipment Certification", p. 41</ref>.

{| class="wikitable"
|-
! רמת תוכנה
! תנאי כשל
! יעדים<ref>RTCA/DO-178C "Software Considerations in Airborne Systems and Equipment Certification", Annex A</ref>
! עם חופש
|-
! A
| Catastrophic
| style="text-align:right;"| 71
| style="text-align:right;"| 30
|-
! B
| Hazardous
| style="text-align:right;"| 69
| style="text-align:right;"| 18
|-
! C
| Major
| style="text-align:right;"| 62
| style="text-align:right;"| 5
|-
! D
| Minor
| style="text-align:right;"| 26
| style="text-align:right;"| 2
|-
! E
| No Safety Effect
| style="text-align:right;"| 0
| style="text-align:right;"| 0
|}

==ראו גם==
* ARP4761
* MIL-STD-882

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

== הערות שוליים ==

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