ניו-טק מגזין | אוגוסט 2018

AUTOMOTIVE מוסף מיוחד

", המערכתתחולל keepperson . type = child " את כל תרחישי החצייה הפתאומית הכוללים ילדים. באופן דומה ניתן להוסיף אילוצים על ) על keep road . lane _ number = 2( סוג הדרך keep ( cross . angle > 100 deg אופן החצייה ), זמן החצייה and cross . angle < 130 deg ) ועוד. אופן keep before . time < 1 sec (ה- הגדרה וחילול זה של תרחישים מפשט מאוד את יצירת מגוון התרחישים הנדרש ומאפשר בצורה קלה להגדיר שילובים של תרחישים שונים ולהגיע לתרחישי קצה. בנוסף, הגדרה מאפשרת בניית מנגנון יעיל SDL באמצעות לניטור התממשות התרחישים המוגדרים על פלטפורמות בדיקה שאינן סימולטיביות, וריכוזם במסגרת תוכנית וריפיקציה אחת. מה הרקע המקצועי שצריכים מהנדסים ובתעשיית Foretellix בסטארטאפ כמו האוטוטק בכלל? אנחנו כותבים תוכנה ולכן קודם כל צריך רקע בתכנות, אבל צריך הבנה רב-מערכתית, כיוון שרכב אוטונומי זו מערכת שמשלבת המון תחומים: הפלטפורמה המכנית של הרכב עצמו, חיישנים ואלקטרוניקה, חומרה, למידת מכונה, בינה מלאכותית, וריפיקציה ואפילו רגולציה. "לא ניתן למנוע לחלוטין תאונות ברכבים האוטונומיים, אבל כן אפשר לצמצם אותם באופן משמעותית בתנאי שנבצע כיסוי איכותי של מרחב תרחישי הפעולה של הרכב האוטונומי. התעשייה הזאת מאוד דינאמית והיום שבו יהיו פחות תאונות ברכבים אוטונומיים מאשר ברכבים רגילים מתקרב עם כל שנה שעוברת". האם בסוף התהליך לא יהיו תאונות ברכבים אוטנומיים בכלל?

מערכת ניהול התרחישים של « - מחוללת מאות מיליוני Fortellix תרחישים, "מערבבת" אותם ומודדת מה נבדק

- ניהול Giga Scale Verification

« תרחישים בקנה מידה עצום

לממשקים השונים ולנטר את מימוש Coverage Driven התרחישים לטובת ביצוע ." Verification – לבדוק Giga Scale Verification תרחישים בקנה מידה עצום מתוכננת לבדוק מאות Foretellix המערכת של מיליוני תרחישים. בשלב הראשון מוגדרת תכנית וריפיקציה המגדירה את כלל המצבים הנדרשים להיבדק, והשילובים בניהם. בשלב השני מוגדרים תרחישי הבדיקה באמצעות . בשלב הבא מבוצעת SDL כתיבתם בשפת הרצה של התרחישים על הפלטפורמות Test ו- HIL השונות (כמו סימולציה מלאה, ), הרצות אלו מנוטרות על מנת לבחון Track איזה חלק מתכנית הוריפיקציה הם מכסים. בשלב הסופי המערכת מאפשרת הצגה גרפית וסטטיסטית של העמידה בתוכנית הוריפיקציה. ? SDL מה מיוחד בשפת ה- SDL אחת מתכונות הליבה של שפת ה- היותה שפה הצהרתית המאפשרת להגדיר את מרחב התרחישים הרצוי באמצעות סדרה קצרה של הגבלות או "אילוצים". כל תכונות התרחיש אשר לא אולצו, יוגרלו באופן אקראי. לדוגמה כדי לבצע בדיקה של התמודדות עם התפרצות אדם , SDL לכביש, מספיק לכתוב בשפת ה- keep person cross road before EGO "(" ) הינו הרכב האוטונומי. המערכת EGO באופן אוטומטי תייצר ותריץ את כל התרחישים האפשריים המקיימים התפרצות אדם לכביש לפני הרכב האוטונומי, כולל כבישים מהירים, כבישים עירוניים, בני אדם מבוגרים וילדים. על מנת לבחון התמודדות ספציפית עם ילדים החוצים את הכביש בפתאומיות. ניתן להוסיף אילוץ:

לקבוע מדד מבוקר לתחומים הנבדקים. כחלק מהפתרון החברה מפתחת שפה ייעודית SDL ) Scenario Definition לתיאור תרחישים ( , שתהיה פתוחה, בשאיפה שתהפוך Language לסטנדרט בבדיקת רכבים אוטונומיים. על לפתח Foretellix מתכוונים ב- SDL בסיס ה- את ספריית התרחישים הראשונה לרכב אוטונומי, שתהיה פתוחה ויהיה ניתן להוסיף עליה תרחישים נוספים באמצעות קידוד בשפה החדשה. "כמויות המידע האדירות של הרכבים האוטונומיים יצרו בעיה: איך בכלל יודעים מה בדקנו ומה לא? אם לדוגמה בדקנו תרחיש 40- עם רכב אוטונומי שנוסע באור צהוב ב קמ"ש, איך נדע מה קורה כשאותו רכב יסע קמ"ש יותר או פחות, או כשחתול 30,40,50- ב יתפרץ לכביש ועוד מאות מיליוני תרחישים אחרים שיש ביניהם הבדל משמעותי? ומה יקרה שכמה מהתרחישים יקרו בו זמנית? הוא היכולת Foretellix הייחוד בפיתוח של לבדוק את כל התרחישים האלו, "לערבב אותם" כך שיקרו בו זמנית, ולמדוד מה נבדק ומה לא". "כיום אנחנו רואים התפתחות של מגוון פלטפורמות בדיקה בניהן פלטפורמות פיזיות כמו בחינה בכבישים ציבוריים, פלטפורמות וירטואליות כמו סימולציות ופלטפורמות Test היברידיות המשלבות בין העולמות כמו , אך HIL (Hardware in the Loop) ו- Tracks הבדיקות המבוצעות בפלטפורמות אלו אינן מקושרות אלו לאלו באופן יעיל שיאפשר הצגה ברורה של תרחישים ספציפיים מתוך כלל התרחישים שבוצעו. המערכת של יודעת להתחבר לכל פלטפורמות Foretellix הבדיקה מכל העולמות באמצעות התאמה מהן פלטפורמות הבדיקה הקיימות כיום לרכבים אוטונומיים?

דניאל מלץ,

« Foretellix- מהנדס בכיר ב

65 l New-Tech Magazine