המורכבות הרחבה של פלטפורמות הרכב

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

המונחים: heterogeneous Processing Domains

אדריכלות כלי רכב יחיד עשויה לשלב מיקרובקרים (MCUs) פועל MCTOSAR Classic, ביצועים גבוהים SoCs עם GPUs מוטבע עבור AI inference, וערכי שער הניתנים לחיזוי שדה (FPGA) עבור עיבוד אותות קלים של אימותים קלים (מרכיב עיבוד נתונים מופעל על ידי מודלים שונים של זיכרון, הגדרות, והתנהגויות אשמה.

Multi-Layered Software Stacks

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

קונסולות ותפקודי

פונקציות הרכב מבוזרות באופן חד-משמעי.תמרון יחיד, כגון שינוי נתיב אוטונומי, דורש תיאום בין חיישנים תפיסה, יחידת תכנון מרכזית, כוח המניעה של מחוללי זמן, ואת בקר היציבות האלקטרונית.מרכיבים אלה מתקשרים על מערכות אוטובוסים heterogeneous כולל CAN FD, FlexRay, ו- Auto Ethernet עם הגבלת זמן (TSN) לכל רשת אחרת יש תקלות, למנגנוני אבטחה ואספקה מלאה של זמן (optSync-F) אפילו ללא מגבלות של זמן.

ניווט תקני בטיחות ומנדטים רגולטוריים

תקנות בטיחות ואבטחת סייבר מהוות את עמוד השדרה של אימות הרכב. Standards כגון:0.0.ISO 26262FLT:1 עבור בטיחות פונקציונלית ו-FLT:2ISO 21434BuildFLT 3 עבור אבטחת סייבר מגדיר מחזורי חיים מקיףים אשר מחייבים ניתוח קפדני, תכנון ואימות פעולות. Compliance עם סטנדרטים אלה אינו אופציונלי - הוא תנאי מוקדם עבור ההומורציה בעולם, דרישות רלוונטיות לרמה הנדרשת, דרישות ניהוליות.

המונחים: ASIL D Verification

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

בניית מקרה בטיחות קוהרנטי

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

כתובת בטיחות של פונקציונליות intended (SOTIF)

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

אינטגרציה קשה-Software ו-Co-Verification

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

MIL, SIL ו- HIL Verification chain

בדיקה חוזרת של מודל-in-the-Loop (MIL) מתמקדת בתיקון אלגוריתם שליטה בתוך סביבת צמח מדמיינת. Software-in-the-Con-Loop (SIL) , מאפשרת משוב גבוה דרך חישוב DevOps ואימות של פעולות התזמון מוקדם יותר (HIL) מבדיקת מערכת ההפעלה של מערכת ההפעלה של מערכת ההפעלה (CECU) של כלי הרכב והסביבה, ומאפשרת זיהוי אמיתי של פעולות הפעלה של HIL-F) באופן תקין של שימוש ב-HIL, באופן מיידי, באופן קבוע, באופן מיידי, עלולים, באופן מיידי, באופן קבוע, באמצעות תקלות של שימוש ב-HIL, באמצעות שימוש ב-HIL, עלולים, על ידי שימוש ב-HIL, על ידי שימוש ב-HF.

פלטפורמות וירטואליות לשילוב מוקדם

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

ההרחבה Interface and Signal Integrity Verification

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

עידוד התנהגות אמיתית בזמן אמת

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

זמן ההוצאה להורג הגרוע ביותר (WCET)

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

בדיקת זמן ומרחב

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

המונחים: Timing Verification

שיטות פורמליות כגון Automata ו- Model Check מוחלות יותר ויותר על אימות בזמן אמת: כלים כמו מיצוי תזמון:0UPPAALIRFLT 1 (ה-upPAALIRFLT) ו- Models-Times (FLT) מאפשרות למהנדסים מודל הפעלה של משימות, שיתוף משאבים ותקשורת לכדי למנוע את השינויים הרשמיים של מערכת ההפעלה, או ליישם באופן קבוע, יש צורך בעדכון של שיטות פעולה באופן עצמאי, באופן עצמאי, על מנת לאמת את התכונות של מערכת ההפעלה באופן קבוע, או באופן קבוע.

אבטחת סייבר עבור רכבים מחוברים

שילוב של תקשורת בין כלי רכב ל-V2X, עדכונים מעל האוויר (טא) ושירותים מבוססי ענן הרחיבו באופן דרמטי את פני השטח של כלי רכב מודרניים.אימות סייבר-ביטחוני הוא כעת פעילות חובה מונחה על ידי סטנדרטים כגון ISO 21434 ו-UN Regulation R155 יכול להשפיע ישירות על בטיחות פונקציונלית, מה שהופך אותו חיוני כדי לאמת את שני התחומים באופן מתואמת.

איומים על מודלים והערכה של סיכונים

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

מודול אבטחה קשיח Co-Verification

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

אימות בטיחות מחזור חיים

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

אתגרים של Cross-Cutting Verification

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

כלי טיהור וביטחון

כלים של אימות בעצמם יכולים להציג שגיאות.אג של A מפרש, כלי ניתוח סטטי המחמיץ הפרה, או בדיקת HIL רתום כי שגיאות ביניים אות יכול להוביל למסקנות שגויות לגבי תיקון המערכת. ISO 26262 דורש כי כלים להיות מסווגים על ידי ההשפעה הפוטנציאלית שלהם (רמת ביטחוןol) וכי כלים מסווגים כמו T1 דורשים הסמכה עבור רמות גבוהות יותר של ASIL.

מערכת יחסים מעורבת-Criticality System Interference

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

טיהור בינה מלאכותית ולמידה של מכונות

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

שרשרת אספקה ושילוב Legacy

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

מסקנה

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