פורטליקס הכריזה על פתרון בדיקה לרכב אוטונומי מבוסס AI

בתמונה למעלה: מייסד שותף בחברת פורטליקס, גיל אמיד

חברת פורטליקס (Foretellix) מרמת-גן הכריזה על יכולות חדשות בתוכנת התרחישים שלה, Foretify, המאפשרות לאמן ולבדוק כלי-רכב אוטונומיים שהתוכנה שלהם מבוססת על בינה מלאכותית ׁׂ(AI). ההרחבה מיושמת באמצעות פלטפורמת הסימולציה הריאליסטית NVIDIA Cosmos אשר פועלת על-גבי הענן Omniverse של אנבידיה. הכלים החדשים מספקים יכולות לאמן את מנועי הבינה המלאכותית של כלי-הרכב באמצעות שימוש בנתוני נסיעה קיימים ובמידע המגיע מחיישני הרכב, ובנתונים משלימים המיוצרים באופן סינתטי באמצעות השילוב בין Foretify ו-Cosmos, אשר מייצר סימולציה ריאליסטית מאוד (Physical AI).

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

שילוב מידע אמיתי ומידע סינתטי במערכת פורטיפיי, לאימון מערכת נהיגה אוטונומית
שילוב מידע אמיתי ומידע סינתטי במערכת פורטיפיי, לאימון מערכת נהיגה אוטונומית

האינטגרציה של פלטפורמת Foretify עם טכנולוגיית סימולציית החיישנים של אנבידיה זכתה בפרס "חדשנות השנה בתחום הסימולציה" בתחרות Automotive Testing Technology International Awards לשנת 2025. מנכ"ל יצרנית המשאיות Torc מקבוצת דיימלר, פיטר ווגן שמידט, אמר שהמערכת תסייע לחברה לפתח משאית אוטונומית עד שנת 2027. גם טילו שוורץ, סמנכ"ל הנדסה בחברת הרכב האוטונומי האמריקאית Nuro, אמר שהחברה החלה להשתמש בה.

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

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

היכן אתם ממוקמים בשרשרת הפיתוח הזו?

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

מהו שיתוף הפעולה עם אנבידיה?

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

איך עושים "טסט" לנהג אוטונומי [פודקאסט]

מנחה: יוחאי שויגר
עורך: רוני ליפשיץ
מנגינת פתיחה: ניר שדה

האורח בתוכנית היום הוא גיל אמיד, סמנכ"ל התפעול והרגולציה בחברת פורטליקס (Fortellix).

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

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

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

עקבו אחר כל תוכניותינו ב-Spotify

וגם ב-Apple Podcasts