שיתוף פעולה בין חברת פורטליקס (Fortellix) לבין אנבידיה (Nvidia), יאפשר ליצרניות רכב וספקיות של מערכות נהיגה (Tier-1) לייצר סימולציות ריאליסטיות המדמות במדויק את תפיסת המציאות של כל אחד מחיישני הרכב, וזאת כחלק מתהליכי האימות, הבדיקה, וגם האימון, של מערכות נהיגה אוטונומית. אנבידיה השתתפה בסבב הגיוס שביצעה פורטליקס בחודש דצמבר בהיקף כולל של 85 מיליון דולר.

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

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

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

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

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

המכונית הופכת ל-"AI על גלגלים"

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

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

חברת פורטליקס (Foretellix) מתכוונת לשלב טכנולוגיה של בינה מלאכותית גנרטיבית (Gen AI) בפלטפורמת Foretify של החברה, המשמשת לאימות ובדיקות ממוחשבות של מערכות נהיגה אוטונומיות ומערכות סיוע לנהג (ADAS). לצורך כך, החברה החלה לגייס בימים אלה עובדים המתמחים ב-ML AI, LLM, MLOps ועוד. החברה מעסיקה כיום 150 עובדים, מחציתם בישראל והשאר בארצות הברית, באירופה והמזרח הרחוק.

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

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

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

לבדוק מיליארדי תרחישים, במעבדה

שפת התרחישים של החברה עומדת בבסיס התקן הבינלאומי OpenSCENARIO^® 2.0 למדידת הבטיחות של מערכות אוטונומיות, המוגדר על-ידי ארגון ASAM. פורטליקס תרמה לתקן אלמנטים מרכזיים, וממשיכה להוביל הרחבות נוספות שלו. החברה מסרה שפלטפורמת Foretify היא הפתרון הראשון בתעשיה המציע תמיכה בתקן הזה. כיום החברה פועלת בשיתוף פעולה עם שותפים אסטרטגיים מרכזיים בתעשייה, בהם: קבוצת וולוו, חטיבת המשאיות של דיימלר, דנסו היפנים ועוד. היא גם עובדת עם יצרניות מערכות סימולציה מרכזיות, כמו NI, אנבידיה, קוגנטה הישראלית, dSPACE, VIRES, AI Motive ו-IPG.

בפורטליקס מציינים כי החברה חווה בשנה האחרונה ביקוש הולך וגובר למוצריה, בשל צורך גדל בבדיקות וירטואליות ממוחשבות של רכבים אוטונומיים. החברה גייסה לאחרונה 43 מיליון דולר בסבב גיוס C, בהובלת קרן 83North, ובהשתתפות משקיעים בולטים כמו טויוטה, אנבידיה, קבוצת וולוו, Moretech  ועוד. פורטליקס, שהוקמה ב-2018 על ידי יואב הולנדר, זיו בנימיני וגיל אמיד, גייסה עד כה 93 מיליון דולר.

חברות האוטו-טק הישראליות פורטליקס (Foretellix) וקוגנטה (Cognata) הכריזו על פתרון משותף המחבר בין מנוע הסימולציה Enterprise של קוגנטה, ופלטפורמת התרחישים Foretify שפיתחה פורטליקס לאימות ותיקוף של מערכות נהיגה.

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

"האינטגרציה בין Enterprise של קוגנטה לבין Foretify של פורטליקס תאפשר השקה בטוחה, בהיקף מסחרי של פתרונות אוטונומיים ביישומים רבים, כולל מערכות ADAS מתקדמות, מערכות אוטונומיות ברמה 3 (L3 highway pilot), ברמה 4 (משאיות שנוסעות על כבישים בין עירוניים בין מרכזים לוגיסטיים ובתוך שטחי מכרות)", אמר זיו בנימיני, מנכ"ל ומייסד שותף של פורטליקס.  

"פלטפורמת הסימולציה הרבודה והפוטוריאליסטית של קוגנטה מתוכננת לשילוב מלא של כל הגורמים במנוע הסימולציה ובכך ליצור סנכרון מלא של התוכנה, החל משלב התכנון ועד לשלב בדיקות 'החומרה בלולאה' (hardware in the loop)", אמר דני עצמון, מנכ"ל ומייסד קוגנטה. החיבור עם פלטפורמת האימות והבדיקות של פורטליקס מגביר את עוצמתה של הסימולציה של קוגנטה לרמת תיקוף בהיקף נרחב, הנדרשת על מנת להבטיח השקה בטוחה של מערכות ADAS ורכב אוטונומי."

תקן ראשון לאימות מערכות נהיגה אוטונומיות

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

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

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

האזינו לשיחה עם גיל אמיד, סמנכ"ל תפעול ורגולציה של פורטליקס, מתוך תוכנית מס' 32 בפודקאסט שלנו, שעלתה בפברואר 2021:

האזינו לשיחה עם סרג'יו נאכט, סמנכ"ל המו"פ של חברת קוגנטה, מתוך תוכנית מס' 37 בפודקאסט של Techtime (מאי 2020):

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

התקן מבוסס על שפת M-SDL שפיתחה חברת פורטליקס (Foretellix) התל אביבית, אשר המציאה אותה כדי לספק יכולת סינתטית לבטא את כל התרחישים שעמם מתמודד רכב אוטונומי. התקן החדש מאפשר ליצרני רכב, ספקים, רגולטורים וחברות ביטוח להשתמש בשפה משותפת ובמתודולוגיה אחת לצורך הערכה והבטחת הבטיחות של מערכות נהיגה אוטומטיות לאורך כל שרשרת האספקה וההסמכה. איגוד ASAM נחשב לגוף מרכזי בתחום התקינה בתעשיית הרכב וכולל כ-400 גופים גדולים מתעשיית הרכב  העולמית: רוב יצרני הרכב הגדולים, מוסדות אקדמיים וספקי Tier-1 של התעשייה.

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

האזינו לשיחה עם גיל אמיד, סמנכ"ל תפעול ורגולציה של פורטליקס, מתוך תוכנית מס' 32 בפודקאסט שלנו, שעלתה בפברואר 2021:

[בתמונה: מתוך הסימולטור של אנבידיה]

חברת אנבידיה (Nvidia) וחברת פורטליקס (Fortellix) הישראלית הכריזו על פתרון משולב לאימון ואימות מערכות ADAS ונהיגה אוטונומית. במסגרת הפתרון המשולב, פלטפורמת אימות התכנון של פורטליקס, Foretify, תתממשק עם סימולטור הנהיגה של אנבידיה, Nvidia Drive Sim.

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

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

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

תאום דיגיטלי של כבישי העולם

במסגרת ועידת GTC של אנבידיה, שנערכה בשבוע שעבר, הציג מייסד ומנכ"ל החברה, ג'נסן הואנג, את החידושים בסימולטור הנהיגה של החברה. מטרת הסימולטור היא לייצר "תאום דיגיטלי" של כבישי העולם, אשר ישמש כלי לאימון ובדיקה, בסביבה וירטואלית, של תפקוד מערכות נהיגה אוטומטיות בתרחישי נסיעה שונים. הסימולטור מאפשר לבנות, על גבי מפות תלת-מימד אמיתיות ממנוע המיפוי Nvidia Drive Map, סביבות וירטואליות ריאליסטיות ומפורטות מאוד, הכוללות נוף, שילוט וסימוני דרך, הולכי רגל וכלי-רכב, המתנהגים באופן דינמי המבוסס על בינה מלאכותית. שירות המיפוי אמור לכלול עד 2024 כבישים באורך של כ-300 אלף קילומטר.

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

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

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

פורטליקס מדווחת בשנה האחרונה על זינוק בביקוש לפלטפורמה שלה מצד יצרני הרכב המובילים וספקי Tier1 המפתחים פרויקטים של מערכות סיוע לנהג ורכבים אוטונומיים, ליישומים בכבישים פתוחים (On-road) ובשטח  (Off-road). פורטליקס עובדת כיום עם עשרות מהמותגים המובילים בתעשיית הרכב, בהם וולוו, NI ודנסו.

הדגמה של הסימולטור של אנבידיה:

פורטליקס (Foretellix), שפיתחה פלטפורמה לבדיקה ואימות של מערכות נהיגה אוטונומיות ומערכות סיוע לנהג (ADAS), מודיעה על גיוס של 32 מיליון דולר בסבב הגיוס השני (Round B). הגיוס הנוכחי מביא את סך ההשקעות בחברה ליותר מ-50 מיליון דולר.

את הסבב הנוכחי הובילה קרן MoreTech Ventures, בהשתתפות משקיעים אסטרטגיים, בהם חברת הביטוח האמריקאית Nationwide, וולוו, חברת ציוד הבדיקה National Instruments, ו-Japan-Israel Ventures. בנוסף, השתתפו בגיוס כל המשקיעים מסבב הגיוס הראשון, בהם 83North Ventures, Jump Capital, OurCrowd ו-NextGear.

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

פורטליקס מדווחת על זינוק בביקוש לפלטפורמה שלה מצד יצרני הרכב המובילים וספקי Tier1 המפתחים פרויקטים של מערכות סיוע לנהג ורכבים אוטונומיים, ליישומים בכבישים פתוחים (On-road) ובשטח  (Off-road). פורטליקס עובדת כיום עם עשרות מהמותגים המובילים בתעשיית הרכב, בהם וולוו ודנסו.

האזינו לשיחה עם גיל אמיד, סמנכ"ל תפעול ורגולציה של פורטליקס, מתוך תוכנית מס' 32 בפודקאסט שלנו, שעלתה בפברואר 2021:

[בתמונה: אחד הכלים התעשייתיים האוטונומיים שפיתחה וולוו]

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

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

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

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

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

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

האזינו לשיחה עם גיל אמיד, אחד ממייסדיי פורטליקס, מתוך תוכנית מס' 32 בפודקאסט שלנו, שעלתה בפברואר 2021:

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

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

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

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

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

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

חברת 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