עיצוב מערכות דיגיטליות אמין: תקנים, טכניקות ודוגמאות

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

הבנה של מערכת דיגיטלית

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

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

אחריות חשובה

מהנדסי אמינות משתמשים במספר מדדים כמותיים כדי למדוד ולנבא ביצועי מערכת.זמן בין כשלים (MTBF) מייצג את הזמן הממוצע בין כשלים במערכת במהלך פעילות נורמלית.זמן לכישלון (MTTF) מודד את הזמן הממוצע עד שהכישלון הראשון מתרחש במערכות שאינן ניתנות להחלפה.

כשל בזמן (FIT) הוא מדד ביקורתי נוסף, המייצג את מספר הכישלונות הצפויים ב מיליארד שעות של הפעלה.מדד זה חשוב במיוחד לסטנדרטים של בטיחות פונקציונלית שבו יש להשיג מטרות ספציפיות של FIT עבור רמות שלמות בטיחות שונות.זמינות, מחושב כמו MTBF מחולק על ידי סכום MTBFTR, מבטא את שיעור הזמן של מערכת הוא מבצעי ומוכן לבצע את תפקודו המיועד.

סטנדרטים בינלאומיים של אחריות מערכת דיגיטלית

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

IEC 61508: הקרן לבטיחות פונקציונלית

IEC 61508 הוא תקן ההורה לבטיחות פונקציונלית של E / E / E /PE (חשמלי, אלקטרוני, ומערכת אלקטרונית תוכנית) מערכות IEC 61508 הוא תקן כללי יותר החל מגוון רחב של תעשיות, כולל רכב, תהליך ומכונה. זה מספק מסגרת יסוד לבטיחות פונקציונלית, המאפשרת הסתגלות ספציפית המגזר.

IEC 61508 מפרט טכניקות שיש להשתמש בכל שלב של מחזור החיים.הסטנדרט מתייחס לכל מחזור חיי הבטיחות של המושג הראשוני באמצעות תכנון, יישום, תפעול, ובסופו של דבר ניתוק.הסטנדרט דורש כי הסיכון והערכת הסיכונים יבוצעו עבור מערכות ספוגות: "האיחוד האירופי C (התחילה תחת שליטה) יהיה מוערך, או מוערך, לכל אירוע מסוכן", מציעות אסטרטגיות כמותיות של סיכון או ניתוח 'ת', או', אשר ישמשו, לדוגמה, או 'ת', לדוגמה, או', או 'ת', לדוגמה, 'ת', 'ת', 'ת', 'ת', 'ת', 'ת', 'ת', 'ת', 'ת', 'ת', 'ת', 'ת', 'ת', 'ת', 'ת', 'ת', 'ת', 'ת', 'ת', 'ת', 'ת', 'ת', 'ת', 'ת', 'ת', 'ת', 'ת', 'תתתעדויות', 'תעדויות סיכון 'ת', 'תעדויות סיכון 'ת', 'ת', 'ת

IEC 61508 מגדיר את רמת האינטגרטיביות של בטיחות (SIL) החל מ-SIL 1 (נמוך ביותר) ל-SIL 4 (גבוה ביותר), עם כל רמה המציינת דרישות מחמירות יותר ויותר לתפקודי בטיחות.רמות אלה נקבעות באמצעות הערכת סיכונים ולהגדיר את ההסתברות של מטרות שמערכות בטיחות חייבות להשיג.הסטנדרט כולל שבעה חלקים המכסים דרישות כלליות, דרישות חומרה, הגדרות, ובקשות לתקנות, ובקשות, הנחיות ובקשות ליישום.

ISO 26262: בטיחות תפקודית

הוא נובע מסטנדרט IEC 61508 שפותח על ידי הנציבות האלקטרונית הבינלאומית ISO 26262 תוכנן במיוחד עבור תעשיית הרכב, תוך התייחסות לבטיחות התפקודית של מערכות אלקטרוניות בכלי רכב ייצור.זה מכסה את כל מחזור החיים לפיתוח, מהרעיון לייצור ושירות.

המהדורה הראשונה של ISO 26262 פורסמה בשנת 2011 (ISO 26262:2011), בהתייחס לבטיחות תפקודית של מערכות E/E מותקנות ב"מכוניות ייצור העור" עם משקל גולמי מקסימלי של 3,500 ק"ג.המהדורה המתוקנת פורסמה בשנת 2018 (ISO 26262:2018) כדי לכסות את כל כלי הרכב של הכביש, למעט מחוסנים.הסטנדרט הפך למעשה לדרישה לרכב עבור מערכת פיתוח אלקטרונית ברחבי העולם.

תקן מעסיק גישה מבוססת סיכון על ידי קביעת שיעורי סיכון הידועים כרמת בטיחות הרכב (ASILs) המסייעת לציין את דרישות הבטיחות כדי להשיג רמה מקובלת של סיכון השגרה. ASILs טווח מ QM (ניהול איכות, המייצג ללא דרישות בטיחות ספציפיות) באמצעות ASIL A, B, C, ל- ASIL D, עם ASIL המייצגת את דרישות הבטיחות החמורות ביותר עבור תקלות חמורות או תקלות עלולות בפציעות חמורות.

המהדורה האחרונה, ISO 26262:2018 מחולקת ל-12 חלקים.חלקים אלה מכסים אוצר מילים, ניהול של בטיחות פונקציונלית, שלב קונספט, פיתוח מוצר ברמת המערכת, פיתוח חומרה, פיתוח תוכנה, ייצור ותפעול, תמיכה תהליכים, ASIL-oriented וניתוחים מונחי בטיחות, הנחיות על ISO 262, יישום למוליכים למחצה, יישום לאופנועים.

תקני בטיחות תעשייתיים-בינוניים

במהלך השנים פותחו כמה תקני בטיחות פונקציונליים לתעשיות שמתמודדות עם מערכות חשמל, אלקטרוניות ואלקטרומכאניות מ-IEC 61508 (generic) אלה כוללים ISO 26262 (קטר), IEC 61511 (מעבד), EN 50129 (כביש), IEC 620621 (machinery), IEC 615 (גרעיני), וכו '

DO-178C שולט בשיקולי תוכנה במערכות אוויריות והסמכת ציוד, מתן הדרכה לפיתוח של תוכנה תעופה.IEC 62304 מטפל במעבדי מחזור חיי התוכנה עבור תוכנה למכשיר רפואי, ולהבטיח כי מכשירים רפואיים עומדים בדרישות בטיחות ויעילות מתאימות. EN 50128 מכסה תוכנה עבור מערכות בקרה והגנה על רכבת, תוך התייחסות לאתגרי הבטיחות הייחודיים של התחבורה.

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

טכניקות בסיסיות להבטחת אמינות

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

אסטרטגיות Redundancy אסטרטגיות

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

(FLT:0)Hardware RedundancyFLT:1lude כולל יישום נרחב של רכיבים קריטיים. Double Modular Redundancy (DMR) משתמש בשני מודולים זהים עם לוגיקה השוואתית כדי לזהות הבדלים. משולש מודולרי Redundancy (TMR) מעסיק שלושה מודולים מקבילים עם לוגיקה הרוב הצבעה, ומאפשר למערכת להמשיך לפעול גם כאשר מודול אחד נכשל.

(FLT:0)מידע RedundancyFLT:103) מוסיף פיסות נתונים נוספות כדי לאפשר זיהוי שגיאות ותיקון. פיסות נאמנות, בדיקות, וקודים מתוחכמים יותר לתיקון שגיאות להגן על שלמות הנתונים במהלך שידור ואחסון.טכניקות אלה חיוניות במערכות תקשורת, מכשירי זיכרון, ויישומים לאחסון נתונים שבהם שגיאות סיביות יכולות להתרחש עקב רעש, הפרעה, או השפלה פיזית.

(FLT:0)Time RedundancyFLT:1 מבצע פעולות פעמים רבות ומשווה תוצאות לגילוי תקלות טרנסיות. גישה זו יעילה במיוחד נגד שגיאות זמניות שנגרמו על ידי הפרעה אלקטרומגנטית, תנודות מתח, או אפקטים קרינה.זמן מסחר במהירויות ביצוע עבור אמינות משופרת, מה שהופך אותו מתאים ליישומים שבהם מגבלות תזמון מאפשרות פעולות חוזרות ונשנות.

(FLT:0)Software Redundancy FLT:1eurs אלגוריתמים שונים או גישות תכנות כדי להשיג את אותה פונקציונליות. N-version תכנות מפתח יישום עצמאי של פונקציות תוכנה קריטיות, צמצום הסבירות כי פגמים עיצוביים נפוצים ישפיעו על כל הגרסאות בו זמנית. חוסמי התאוששות מספקים אלגוריתמים חלופיים אשר מבצעים כאשר שיטות ראשוניות נכשלות או לייצר תוצאות מפוקפקות.

זיהוי שגיאות ושיטות תיקון

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

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

המונחים:

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

בדיקה אחרונה ב-Cyclic Redundancy Check

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

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

קודים

קוד ה- Hamming Distance Code הוא הקוד הטוב ביותר לתיקון שגיאות אנו משתמשים ברוב רשתות התקשורת ומערכות דיגיטליות.טעות זו מזהה ותיקון טכניקת הקוד מפותחת על ידי R.W.Hamming קודים יכול לזהות עד שתי שגיאות שלביט ולתקן שגיאות חד-ביט על ידי הצבת פיסות פיות אסטרטגית בעמדות כוח בתוך המילה.

מספר הפיסות ההסתברותיות הנדרשת תלוי באורך מילת הנתונים, לאחר מערכת היחסים ש- 2p חייב להיות גדול יותר או שווה ל-p + d + 1, שבו p הוא מספר של ביטים הסתברותיים ו d הוא מספר של פיסות נתונים.כל אחת מהחלקהספקות בודקת עמדות מסוימות, ומאפשרת למקלט לזהות את המיקום המדויק של טעות חד-ביט אחד ולתקן אותו ללא הפוגה.

קודים של ריד-סמית

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

קודים של ריד-Solomon הם נרחבים בתקשורת אחסון כולל תקליטורים, DVDs, Blu-ray דיסקs, קודי QR ותקשורת לווינית.היכולת שלהם לתקן שגיאות סמל מרובים הופכת אותם למורכבים ביישומים שבהם נזק פיזי או הפרעה יכולים להשפיע על אזורי נתונים רציונאליים.

תיקון שגיאות

במחשוב, תקשורת, תיאוריית מידע, ותאוריית הקידוד, תיקון שגיאות מראש (FEC) או ערוץ coding הוא טכניקה המשמשת לשליטה בשגיאות שידור נתונים על ערוצי תקשורת לא אמינים או רועשים.הרעיון המרכזי הוא שהשולח מקודש את המסר בצורה מובנת, לרוב באמצעות קוד תיקון שגיאות, או תיקון קוד שגיאה (EC).

יישומים הדורשים שקיפות נמוכה (כגון שיחות טלפון) אינם יכולים להשתמש בבקשה חוזרת אוטומטית (ARQ); הם חייבים להשתמש לתיקון שגיאות קדימה (FEC) עד שמערכת ARQ מגלה טעות וניתוק מחדש של זה, הנתונים המעודכנים יגיעו מאוחר מדי כדי להיות בר-קיימא.

אדריכלות: Tolerance Architectures

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

(FLT:0) עיצוב בטוח עיצוב FLT:1 מדגיש כי כשלים במערכת לגרום למצבים בטוחים ולא תנאים מסוכנים.רי רכבת אותות ברירת מחדל לאדום כאשר כוח נכשל, מערכות רכב לא ניתן לשלוט על שיוט כאשר מזוהים תקלות חיישן, ומכונות תעשייתיות מפסיקות לפעול כאשר מכשולים בטיחות מופעלים.

(FLT:0)Fail-מבצעי DesignFLT:1) שומר פונקציונליות ביקורתית גם לאחר שכשלונות מתרחשים.מערכות בקרת מטוסים, מערכות הנעה לרכב, וציוד תמיכה בחיים רפואיים לעתים קרובות משתמש בארכיטקטורה של נכשלים, אשר ממשיכים לספק שירותים חיוניים למרות תקלות רכיב.

(FLT:0Graceful DegradationFLT:1ir) מאפשר מערכות להמשיך לפעול עם פונקציונליות מופחתת כאשר כישלונות להתרחש.במקום לסגור את ההשבתה, המערכת מזהה רכיבים כושלים, מבודדת אותם, וממשיך לפעול באמצעות משאבים שנותרו. גישה זו נפוצה במערכות מבוזרות, רשתות תקשורת, ואדריכלות רב-מעבדות שבהן פונקציונליות חלקית היא עדיפה על כשל מוחלט.

עיצוב ל Testability

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

(FLT:0) מנגנונים של העצמי (BIST)FLT:1 מנגנונים מאפשרים מערכות לבחון את עצמם ללא ציוד חיצוני.זיכרון BIST מאמת פונקציונליות RAM, בדיקות לוגיות BIST ועיגולים זניחים, ו אנלוגי BIST מאשר רכיבים מעורבים של BIST מפחית עלויות בדיקה, מאפשר בדיקות שדה, ותומכת ניטור בריאות מתמשך במהלך ניתוח.

טכניקות סורקות:0 (Boundary ScanFLT:1) מספקות גישה לנקודות מעגלים פנימיות באמצעות ממשקי בדיקה סטנדרטיים. תקן IEEE 1149.1 (JTAG) מגדיר אדריכלות גבול המאפשרת בדיקות של חיבורים בין מעגלים משולבים ללא היערכות פיזית.

(FLT:0) סיקור סיקור סיקור ⁇ 1 (FLT:1) מודד את יעילות מנגנוני זיהוי לקוי.כיסוי אבחון גבוה מבטיח כי תקלות מזוהות במהירות, צמצום מערכות הזמן לפעול בתנאים פגומים או לא בטוחים.תקני בטיחות פונקציונליים מציינים דרישות כיסוי מינימליות עבור רמות שלמות בטיחות שונות, עם רמות גבוהות יותר תובעניות זיהוי.

הנדסת תוכנה

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

תהליכי פיתוח תוכנה

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

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

ניתוח סטטי ואיכות קוד

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

תקני קידוד כגון MISRA C, MISRA C++ ו- CERT מספקים כללים המונעים שגיאות תכנות נפוצות ולשפר את יכולת שמירת הקוד.תקנים אלה אוסרים על תכונות שפה מסוכנות, לציין פרקטיקות תכנות הגנה, והקימו מוסכמות שמשפרות את בהירות הקוד. Compliance with coding Standards הוא לעתים קרובות חובה על ידי תקני בטיחות פונקציונליים לפיתוח קריטי בטיחות.

אסטרטגיות בדיקות דינמיות

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

קידוד כיסוי מדדים לכמת בדיקה יסודית.הכיסוי הצהרה מודד את אחוז הצהרות הקוד שבוצעו במהלך בדיקות, כיסוי סניף עוקב אחר תוצאות החלטות, ו- Modified Condition/Decision Coverage (MC/DC) מבטיח שכל מצב משפיע באופן עצמאי על תוצאות החלטות. רמות יושרה בטיחות גבוהה דורשות קריטריונים נוספים לכיסוי מחמיר, עם MC/DC לעתים קרובות המנדט עבור התוכנה הביקורתית ביותר.

שיטות פרוצדורות

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

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

המונחים: Reliability Considerations

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

כישלונות חמורים

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

שיעור או ההסתברות של כשל בחומרה בתחום בשל תקלה אקראית, הנקראת Probability Metric of Hardware Dis (PMHF) כהגדרת ISO 26262, או יכולת של כשל מסוכן לכל שעה (PFH) על פי ההגדרה IEC 61508. המדדים האלה מאמתים את הסבירות של כשלי חומרה שעלולים להוביל להתנהגות מסוכנת.

ISO 26262 מגדיר את המדד הזה כ- Single Point Fault Metric (SPFM), בעוד IEC 61508 מגדיר אותו כהונאה בטוחה של כישלון (SFF) לדוגמה, SPFM = 90% פירושו שאם מתרחשת תקלה יש 90% סיכוי כי האשמה היא בטוחה או מזוהה ומפחיתה על ידי המערכת עצמה.

כישלונות חמורים

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

מצב ואפקטים ניתוח (FMEA) בוחן באופן שיטתי מצבי כשל פוטנציאליים של רכיבים ואפקטים שלהם על התנהגות המערכת.כל רכיב מנתח לזהות כישלונות אפשריים, סיבותיהם, אפקטים, שיטות זיהוי, ואסטרטגיות הפחתה.

ניתוח עץ Fault (FTA) עובד מלמעלה למטה מאירועים מסוכנים ברמת המערכת כדי לזהות שילובים של כשלים רכיב שעלול לגרום להם. FTA משתמשת שערי לוגיקה Boolean כדי מודל כמה כישלונות ברמה נמוכה יותר להפיץ דרך המערכת, המאפשר תחזיות אמינות כמותיות וזיהוי של מסלולי כישלונות קריטיים.

בדיקות מתח סביבתי

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

Highly Accelerated Life Testing (HALT) דוחף חומרה מעבר לגבולות התפעוליים הרגילים כדי לגלות מצבי כישלון ושולי תכנון. Highly Accelerated Stress Screening (HASS) חל על לחצים מבוקרים במהלך הייצור כדי להחליש את התמותה לתינוקות לפני מוצרים להגיע ללקוחות.טכניקות אלה לשפר את האמינות וחיסול רכיבים חלשים פגמים בתכנון.

מערכת-Level Reliability Engineering

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

אמינות מודלים וחיזוי

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

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

Reliability Block Diagrams (RBD) מייצג באופן גרפי ארכיטקטורות מערכת ותלויים רכיב.ניתוח RBD מחשב אמינות מערכת מנקודות מבט של תכונות רכיב וטופולוגיה ארכיטקטונית, תמיכה בעיצוב של שינויים ואופטימיזציה.

גורם משותף

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

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

בטיחות מכניזם וכיסוי אבחון

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

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

תחזוקה והגנתיות תפעולית

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

תחזוקה מונעת

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

תחזוקה חיזוי משתמשת בנתונים חיישן, ניתוח טרנד, ולמידה של מכונה כדי לחזות כישלונות לפני שהם מתרחשים.ניתוח Vibration מזהה ללבוש, הדמיה תרמית מזהה רכיבים מהתחממות יתר, וניתוח שמן מגלה השפלה מכנית.

מעקב בריאות מתמשך

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

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

ניהול קונפדרציה

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

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

דוגמאות אמיתיות לעולם של מערכות דיגיטליות אמינות

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

מטוסים בקרת מטוסים

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

פיתוח תוכנה עוקב אחר הנחיות DO-178C, עם הפונקציות הקריטיות ביותר להשגת רמת העיצוב של ASsurance Level A - הרמה הגבוהה ביותר הדורשת אימות נרחב כולל כיסוי קוד MC/DC.פיתוח חומרה תוכנה עוקב אחר סטנדרטים DO-254, ולהבטיח כי חומרה אלקטרונית מורכבת עומדת ברמות אבטחת עיצוב מתאימות.המשך בדיקות ניטור מערכת בריאות, ובודדות אוטומטית נכשלת ערוצים תוך שמירה על סמכות בקרה.

מערכות בטיחות לרכב

כלי רכב מודרניים משלבים מערכות אלקטרוניות קריטיות רבות, כולל צנרת נגד-lock, בקרת יציבות אלקטרונית, פריסת תיק אוויר ומערכות סיוע מתקדמות לנהג.מערכות אלה חייבות לעמוד בדרישות ISO 26262, עם הפונקציות הקריטיות ביותר להשגת סיווג ASIL D.

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

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

מפקחים רפואיים

מכשירים רפואיים כולל משאבות אינפוזיה, אוורורים, קוצרים, ורובוטים כירורגיים משפיעים ישירות על בריאות המטופל והבטיחות.מכשירים אלה חייבים לעמוד בדרישות מחזור חיי התוכנה של IEC 62304 ולעתים קרובות דרישות רגולטוריות של ה- FDA לאישור מכשיר רפואי.

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

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

מערכות בקרה תעשייתיות

מתקנים תעשייתיים כולל צמחים כימיים, תחנות כוח, מתקני ייצור מעסיקים בקרים לוגיים מתוכנתים ומערכות בקרה מבוזרות שחייבות לעמוד בתקני IEC 61508 או מגזר ספציפיים, כגון IEC 61511 לתעשיות תהליכים.

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

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

פלטפורמות פיננסיות

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

עיבוד עסקאות משתמש בתכונות ACID (Atomicity, Consistency, Isolation, Durability) כדי להבטיח שלמות נתונים.טכניקות Cryptographic להגן על סודיות נתונים ואותנטיות, ו- ביקורת מקיפה מאפשר זיהוי של פעילויות בלתי מורשים ותומכת בניתוח פלילי.

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

תשתיות תקשורת

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

מערכות SynSyncization מבטיחות תזמון מדויק ברחבי הרשת, קריטי עבור תפעול תקין של מערכות שידור דיגיטליות.מערכות ניהול רשת.מערכות ניהול רשת לפקח באופן רציף על ביצועים, לזהות תקלות, לתאם פעילויות ברמת שיקום.שירות מציין מטרות זמינות, לעתים קרובות הדורשות 99.999% עד שעה (חמשת תשעים), המקבילה לפחות מ-5 דקות של זמן השבתה בשנה.

מערכות חלל

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

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

אתגרים וכיוונים עתידיים

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

מערכות אוטונומיות

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

אבטחת בטיחות עבור מערכות אוטונומיות דורשת גישות חדשות כולל בדיקות מבוססות תרחיש, אימות מבוסס סימולציה, ו ניטור במשרה מלאה. תקנים מתפתחים כדי להתמודד עם אתגרים אלה, עם עבודה מתמשכת להרחיב את ISO 26262 לנהיגה אוטונומית ולפתח מסגרות חדשות לבטיחות בינה מלאכותית.

האינטרנט של הדברים

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

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

אינטליגנציה מלאכותית ולמידה של מכונות

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

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

שילוב אבטחת סייבר

אבטחת סייבר ובטיחות פונקציונלית מתאחדות כמערכות מחוברות בפני איומים משני הכישלונות האקראיות וההתקפות הזדוניות. Standards כולל ISO/SAE 21434 עבור אבטחת סייבר ו-IEC 62443 למסגרות אבטחת סייבר תעשייתיות לשילוב ביטחון לפיתוח מערכת קריטי של בטיחות.

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

טכנולוגיות ייצור מתקדמות

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

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

Best Practices for Reliable Digital System Design

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

דרישות הנדסה

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

דרישות מעקב קישורים לכל דרישה באמצעות תכנון, יישום ואימות פעילויות.עקביות עקיפות מאפשרת ניתוח השפעה כאשר דרישות משתנות ומבטיחות שכל הדרישות ייושמו ואומתו.

ביקורות עיצוב

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

ביקורות עצמאיות על ידי אנשים שאינם מעורבים בפיתוח מספקות הערכה אובייקטיבית וזיהוי נושאים שמפתחים עשויים להתעלם מהם.מערכות קריטיות בטיחות דורשות לעיתים קרובות הערכה עצמאית של מומחי אבטחה מוסמכים המאמתים את דרישות הבטיחות.

אימות ואימות

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

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

מסמך

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

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

שיפור מתמשך

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

יש לקחת בחשבון שיעורים מכל פרויקט, החלים על ההתפתחויות עתידיות.יש לבחון ולשפר באופן קבוע על בסיס ניסיון, שיטות עבודה טובות בתעשייה, וסטנדרטים מתפתחים.

מסקנה

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

סטנדרטים בינלאומיים כולל IEC 61508, ISO 26262, ו נגזרות ספציפיות לתחום לספק מסגרות המדריכיות פיתוח מערכת אמין.סטנדרטים אלה מגלמים עשרות שנים של ניסיון וייצגו קונצנזוס על גישות יעילות להשגת בטיחות פונקציונלית ואמינות.

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

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

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

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

(ב) לקבלת מידע נוסף על תקני בטיחות פונקציונליים, בקר באתר האינטרנט של ה-FLT:0 (International Electrotechnical CommissionFeloal CommissionFLT:1Feloal Safety), ניתן למצוא משאבים נוספים על בטיחות פונקציונלית רכב:2 ארגון בינלאומי לתקינה: 3 (FLT 3: The FLT:4Federal Aviation AdministrationFLT:5 מספק הדרכה על הסמכה avionics, בעוד ה-FLT (IFSA) מציע מספר מקורות בטיחותיים ו-IFSA.