Foretellix משנה את כללי המשחק בתעשיית הרכב האוטונומי

Foretellix

הפתרון יוצג בכנסSmart Mobility Summit שיתקיים בתיאטרון הבימה בתל-אביב, 29-30 באוקטובר

חברת הסטארטאפ Foretellix, המפתחת פתרון לבדיקות בטיחות של המכוניות האוטונומיות, תציג את הטכנולוגיה שלה בכנס הבינלאומי לתחבורה חכמה ((Smart Mobility Summit בתיאטרון הבימה בת"א, 30-29 באוקטובר 2018.

הפתרון, בשם Adaptive Coverage Driven Verification Flow , מיועד להשגת המטרה של מדידת ויצירת כיסוי של כ-99% מתוך מיליארדים של תרחישים אפשריים ברכבים אוטונומיים. זאת, במטרה לסייע בצמצום שיעור התאונות ברכבים אלה ובכך לתת מענה לחסם הגדול ביותר המונע מרכב אוטונומי לעלות על הכבישים: בטיחות.

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

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

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

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

אודות Foretellix
Foretellix מפתחת טכנולוגיה שמטרתה לפתור את האתגר הגדול של תעשיית הרכב האוטונומי: בטיחות כלי רכב ללא נהג, והצורך לבדוק ולבקר מיליוני עד מיליארדי תרחישים. Foretellix מאפשרת לתעשיית הרכב האוטונומי להתקדם ממיקוד על "כמות הנסועה" (כמות הקילומטראז') למדידת "איכות כיסוי התרחישים", בעזרת Adaptive Coverage Driven Verification Flow.

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