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

הבנת בדיקות מיקרו-מעבדות ואימות

בעוד שלעתים קרובות נעשה שימוש בחילופים, FLT:0 (testingofLT:1) ו- (FLT:2;2 validationFLT 3: 3) משרת מטרות נפרדות במחזור החיים של מיקרו-מעבד קריטי בטיחותי, בדיקות מקיף את ביצועו של מכשיר או תוכנה בתנאים מבוקרים כדי לזהות פגמים.זה עונה על השאלה: "האם המיקרו-מעבד מתנהג כפי שצוין?", בניגוד, הוא תהליך הנימוקם של בדיקות בפועל, הוא דורש את דרישות תפעוליות נגד דרישות תפעוליות בפועל, האם הוא פתרון בפועל, כלומר, האם הוא פתרון בפועל, האם הוא דורשות של דרישות ניתוח בפועל, האם הוא פתרון של דרישות ניתוח בפועל, האם הוא דורשות של דרישות ניתוח של דרישות ניתוח בפועל, האם הוא דורשות של חומר ה-עולמיות של חומר ה-עולמיות, האם הוא דורשות של דרישות תפעוליות, האם הוא דורשות של חומר ניתוח בפועל, האם הוא דורשות, האם הוא דורשות של חומר ניתוח בפועל, האם הוא פתרון בפועל, האם הוא פתרון בפועל, או יישום של חומר ה-עולמיות, או יישום של דרישות תפעוליות, האם הוא דורשות, או יישום "האם הוא מענה של דרישות בפועל, האם הוא דורשות, האם הוא דורשות, האם הוא דורשות של דרישות ניתוח בפועל

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

שני התהליכים מסתמכים על מודלים מוגדרים של תקלות (בעיות של uck-at, תקלות חולפות, תקלות תזמון) וסימנים כיסוי (כיסוי מצב, כיסוי סניף, MC/DC) במערכות קריטיות בטיחות, כיסוי חייב לגשת 100%, וכל נתיב בלתי-מתואר מייצג סיכון פוטנציאלי.המחזור לפיתוח מטביע בדיקות ואימות בשלבים מרובים: ברמת יחידה, אינטגרציה, רמה, בדיקות, וקבלה לפני הפריסה.

התפקיד הקריטי של בדיקות במערכות בטיחות-סיטוריות

מערכות קריטיות בטיחות פועלות בתנאים שבהם אי ספיקת נזק בלתי מתקבל על הדעת, הנציבות האלקטרונית הבינלאומית (IEC) מגדירה רמות שלמות בטיחות (SILs) לכמת דרישות הפחתה בסיכון.מיקרומעבדים המשמשים במערכות כאלה חייבים להיות מעוצבים ולבחון כדי לעמוד ב-SIL המתאים. לדוגמה, תיק אווירי רכב חייב להיות הסתברות נמוכה מאוד של כשל לשעה, לעתים קרובות פחות מ 10LTF:0-8F: 1.

בדיקה ישירה מתייחסת למספר איומים עיקריים:

  • (FLT:0) תקלות:FLT:1hil ייצור פגמים, הזדקנות, ולחצים סביבתיים (טמפרטורה, רטט, קרינה) עלול לגרום לכשלים לסירוגין או קבועים.בדיקת מסכים מחוץ לחלקים פגומים ומאמת את העוצמה של מנגנוני הפחתת תקלות.
  • (FLT:0) ,Software באגים: FLT:1 אפילו מיקרומעבדים מאומתים יכולים להיות נפגע על ידי קושחה פגומה.בדיקה מאשרת כי התוכנה מבצעת ביצועים נכונים על החומרה הספציפית, כולל אינטראקציות עם צירים, הפרעות, ומבקרי זיכרון.
  • (FLT:0System שגיאות שילוב:0System אינטגרציה:0System Interfaces: 1 Interfaces בין microprocessors ו peripherals (ADCs, DACs, אוטובוסים תקשורת) הם נקודות כשל נפוצות.Harware-in-the-loop (HIL) בדיקות מדמיינות עומסים אמיתיים בעולם לחשוף באגים.
  • (FLT:0) נקודות תורפה: מערכות קריטיות בטיחותיות 1:1 יותר ויותר להתמודד עם איומים ברשת.בדיקה להתקפות צד, התקפות הזרקת תקלות, וגישה בלתי מורשית חיונית לשמירה על שלמות.

גופי רגולציה מחייבים ראיות בדיקות נרחבות.ברכב, ISO 26262 דורשות פעולות אימות כגון בדיקות הזרקת תקלות וניתוח כיסוי עבור כל רמה ASIL. in aerospace, DO-254 קובע אימות חומרה קפדני עבור מעבדים.ללא בדיקות תועדות, הסמכה היא בלתי אפשרית, ומערכות לא ניתן לפרוס באופן חוקי ברוב תחומי השיפוט.

שיטות בדיקות מפתח

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

בדיקות פונקציונליות

בדיקות פונקציונליות מאמתות שכל הוראה, רישום ופעולת זיכרון מבוצעת על פי מפרט האדריכלי של המיקרו-מעבד. סוויטות מבחן כגון אלה הנגזרים מסטנדרט IEEE 754 עבור קידוד צף או דפוסי בדיקה ספציפיים ליישום מותאם אישית מבוצעים. במערכות קריטיות בטיחות, בדיקות פונקציונליות צריכות להשיג כיסוי מבני גבוה - לעתים קרובות שינוי / חיפוי (MC/DC) מעל 100% עבור קוד בטיחותי, בעוד ש-לזה אינו יכול לחשוף שגיאות פונקציונליות או לזהות שגיאות.

בדיקה אחרונה

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

בדיקת מתח

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

Hardware-in-the-Loop (HIL) Testing

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

הזריקה Fault

הזרקת Fault מציגה באופן מכוון תקלות - שבבים בזיכרון, אותות תקועים על אוטובוסים, זעזועים חד-פעמיים מקרינה - במיקרו-מעבד כדי לבחון את מנגנוני זיהוי ההחלמה שלו.טכניקות נעות מזרקה מבוססת תוכנה (רישום או תוכן זיכרון) להזרקת חומרים (באמצעות לייזרים או בדיקות אלקטרומגנטיות) את התוצאות לאנליזה בטיחותית כגון מצבי כישלונות ואפקטים מבוססי תוכנה (ניתוח בטיחותי) וזיהוי (Framilative Analysis) ו-Framic Analysis (מרפאים) (ניתוח אבטחה (מתקן אבטחה (מתקן אבטחה) (Framicial Analysis) (Framicial Analysis) (Framicial Analysis) (Framicial Analysis) (Framicial Analysis) (Framicial Analysis) (Framicial tube Defe) (Framicial Analysis) (Framic Analysis) (Framicial tube Default-Fault) (מחדשניים (מחדשניים (מחדשניים (מחדש) (מחדש) (מחדשניים (מחדש) (מחדש) (מחדש) (מחדש) (מחדש) ו-Fault-Fault-Fault-Fault

טכניקות מתקדמות: טיהור טפסים ובדיקת Machine Learning

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

אימות ובטיחות

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

ISO 26262 (Automotive)

ISO 26262 מגדיר רמות אינטגרטיביות בטיחות רכב (ASIL A דרך D) בהתבסס על חומרה, חשיפה, ושליטה של סיכונים. עבור מיקרו-מעבדים, אימות דורש ניתוח סיכונים, הגדרה של מטרות בטיחות, ואימות כי החומרה עונה על מטרות פרוביסטיות - לדוגמה, פחות מ-1% של כשלים מסוכנים עבור ASIL. בדיקות פונקציונליות, תוצאות של זריקות, וכיסוי תסמינים של כל דרישות בטיחות סטנדרטיות.

DO-178C/DO-254 (Aerospace)

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

IEC 61508 (התעשייה הכללית)

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

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

אתגרים ב Microprocessoration

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

גידול המורכבות

מיקרומעבדים מודרניים משלבים מיליארדי טרנזירים, ליבות מרובות, צ'יפים, בקרים זיכרון, ו- I / O תת-מערכתs. בדיקות ממצה של כל המדינות הוא בלתי אפשרי. עיצוב באגים (ררטה) יכול להימשך שנים גם לאחר אימות נרחב.התעשייה הופכת יותר ויותר לאימות פורמליות עבור בלוקים קריטיים ו/תוכנות co- co-validation כדי לתפוס בעיות מוקדמות.

לחץ זמן עד לשיווק

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

אבטחה Vulnerabilities

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

אדריכלות heterogeneous Architectures

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

אמינות לאורך זמן

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

טכניקות מתפתחות וכיוונים עתידיים

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

טיהור פורמלי ב- Scale

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

בדיקות מבוססות למידה

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

קוד פתוח: RISC-V

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

העצמה וטיהור מבוסס ענן

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

ניתוח בטיחותי של AI

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

מסקנה

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