דנסו תשתמש בפלטפורמות האימות של פורטליקס

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

דנסו נחשבת לאחת מהיצרניות הגדולות בעולם של מערכות לרכב (Tier-1). ב-2018 הסתכמו הכנסותיה בכמעט 50 מיליארד דולר. יצרנית הרכב טויוטה מחזיקה בכ-25% מדנסו והיא גם הלקוחה העיקרית שלה. ב-2016 הקימה דנסו בעיר לינדאו (Lindau) שבגרמניה מרכז פיתוח ייעודי, Denso ADAS, המתמקד בפיתוח טכנולוגיות חישה ואלגוריתמיקה לזיהוי תמונה עבור מערכות ADAS ונהיגה אוטונומית. השימוש בפלטפורמה של פורטליקס יתבצע במרכז הפיתוח בגרמניה.

השראה מפלטפורמות לאימות תכנון שבבים

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

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

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

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

חברת Forelellix הכריזה על פתרון חדש לבדיקת בטיחות והיעילות עבור מערכות אוטומטיות לשמירה על נתיב (ALKS), שהוא הפתרון הראשון בעולם העונה על תקן האו"ם UNECE Regulation 157 המייצג את הדרישה הרגולטורית הראשונה בעולם עבור שמירת נתיב נסיעה ברכב אוטונומי ברמה 3. נהיגה אוטונומית ברמה 3 מייצגת יכולת של הרכב לבצע בעצמו את כל פונקציות הנהיגה, אולם נדרשת הנוכחות של נהג אנושי אשר יכול להשתלט על הרכב בכל רגע נתון.

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

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

הרכב האוטונומי מגיע לענן

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

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

ASAM אימץ את שפת התרחישים של פורטליקס לרכב אוטונומי

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

איגוד ASAM נחשב לגוף מרכזי בתחום התקינה בתעשיית הרכב וכולל כ-300 גופים גדולים מתעשיית הרכב  העולמית: רוב יצרני הרכב הגדולים, מוסדות אקדמיים וספקי Tier-1 של התעשייה. האיגוד הקים קבוצת עבודה חדשה המפתחת את תקן OpenSCENARIO 2.0, המגדיר את האופן שבו יש לתאר תרחישים ברכב אוטונומי כדי למדוד את רמת הבטיחות של כלי-רכב אוטונומיים ושל מערכות העזר לנהג (ADAS).

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

בעזרתו החברה פיתחה את טכנולוגיית Foretify הכוללת שפה עילית לתיאור תרחישים (M-SDL) , אוטומציה חכמה, אנליטיקה ומדדים. פורטליקס החליטה לספק את השפה הזאת במתכונת של קוד פתוח, ודיווחה שעד היום הורידו כ-500 מהנדסים מ-250 ארגונים שונים, את מסמך ההגדרה של שפת M-SDL.

פורטליקס תארח וובינר ב-30 באפריל 2020 שמתאר את שפת M-SDL ואת תרומתה ל-ASAM OpenSCENARIO 2.0.

למידע ורישום לוובינר: Open M-SDL for Scenario Descriptions

פורטליקס פותחת את שפת התרחישים בפני קהילת הקוד הפתוח

חברת Foretellix, התל אביבית הודיעה שהיא פותחת את שפת התרחישים שפיתחה לאימות התכנון של כלי רכב אוטונומיים, בפני קהילת הקוד הפתוח בתעשיית הרכב. במקביל, היא תרמה את עקרונות השפה לוועדת התקנים של איגוד ASAM, הנחשב לאיגוד התקינה המוביל בתחום של מערכות אוטומציה ומדידה. שפת M-SDL – Measurable Scenario Description Language שהחברה פיתחה בשנתיים וחצי האחרונות מביאה לתעשיית הרכב את גישת האימות של תכנוני שבבים, Coverage Driven Verification, המבוססת על שפת Hardware Verification Language שהומצאה על-ידי אחד ממייסדי פורטליקס, יואב הולנדר, במסגרת חברת וריסיטי שנמכרה לקיידנס.

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

להערכת החברה, שפת M-SDL היא השפה הפתוחה הראשונה שנותנת מענה לחסרונות הקיימים בפורמטים, שפות, שיטות ומדדים המשמשים כיום לאימות בבטיחות של כלי רכב אוטונומיים ומערכות בטיחות (ADAS). במקביל, היא השיקה תוכנית שיתוף פעולה עם התעשייה לקבלת משוב המיועד לשפר את השפה. בין המשתתפות בתוכנית: קבוצת וולוו, חברות הבדיקות והתקינה AVL, TÜV SÜD ו-Horiba Mira, גופי אקדמיה ועוד.

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

חברת Foretellix הוקמה בפברואר 2018 על-ידי יואב הולנדר, זיו בנימיני וגיל אמיד, אשר ייסדו ומכרו את חברת Verisity ונחשבים לחלוצים בתחום הווריפיקציה של מערכות מורכבות בתעשיית השבבים. דירקטוריון החברה כולל את גיל גורן ומשה גבריאלוב, כאשר צוות ה-advisory board כולל את זוהר זיסאפל, בני שניידר, ערן סנדהאוז, ופרופ' עמירם יהודאי. עם הקמתה היא גייסה 1.5 מיליון דולר מקבוצת משקיעים, ובהם זוהר זיסאפל. בינואר 2019 היא ביצעה גיוס הון משמעותי ראשון בהיקף של 14 מליון דולר.

לשפת M-SDL והרשמה לתוכנית: foretellix.com/open-language

טסט לכל רכב אוטונומי: פורטליקס גייסה 14 מיליון דולר

[בתמונה למעלה: זיו בנימיני (מימין) ויואב הולנדר, ממייסדי החברה]

חברת פורטליקס (Foretellix) מתל אביב, המפתחת שפת אימות חדשנית לבדיקה אוניברסאלית ואוטומטית של כלי-רכב אוטונומיים, הודיעה היום (ד') על גיוס הון משמעותי ראשון בהיקף של 14 מליון דולר. את הסבב הובילו הקרנותNorth,Jump Capit83  ו-Nextgear Ventures.

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

איך מוודאים שהרכב האוטונומי בטוח?

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

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

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

מאימות שבבים לאימות כלי רכב

מאחורי החברה עומדים יזמים שביצעו מהלך דומה, אם כי בתחום השבבים. המייסד והטכנולוג הראשי, יואב הולנדר, ייסד את חברת וריסיטי (Verisity) שפיתחה טכנולוגיה ייחודית לבדיקת אימות אוטומטית של תכנוני שבבים. היא נמכרה ל-Cadence בשנת 2005 תמורת כ-315 מיליון דולר ועד היום משמשת כאחד ממרכזי הפיתוח החשובים של קיידנס. מייסד נוסף, המשמש כמנכ"ל, הינו זיו בנימיני, אשר עבד שנים רבות באינטל בתחום האימות והצטרף לווריסיטי כסמנכ"ל פיתוח, ועד לאחרונה שימש כסמנכ"ל קיידנס ומנהל תחום אימות השבבים בחברה. מנהל התפעול ומייסד משותף, גיל אמיד, מגיע מאינטל שבה הוביל את הפיתוח של כלי תכנון אוטומטיים (EDA ו-CAD) ופרוייקטי תכנון שבבים. בתפקידו האחרון שימש כסגן נשיא אינטל העולמית.

לכל בעיה יש שפה משלה

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

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

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

בנימיני: "קיימות רמות רבות של סימולציה בתחום הרכב האוטונומי, החל מרמת הסימולציה הטהורה (Software in the Loop) וכלה ברמת הבקרה של פרוייקטי פיילוט המתבצעים בכבישים. שפת SDL יודעת לבצע בדיקה של כל המערכת בשלמותה ושל כל אחד מהמודולים בנפרד. קיימת גישה המאמינה שכל התחבורה תהיה אוטונומית, אולם זה לא יקרה. הרובוטים צריכים לפעול באינטראקציה עם סביבה אנושית. המטרה שלנו היא לספק כלי המאפשר לבדוק את ההתנהגות הכוללת של הרכב האוטונומי".