NI ופורטליקס יספקו פתרון משולב לאימות ADAS

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

משתי החברות נמסר כי הסינרגיה בין הטכנולוגיות הללו תאיץ את שלבי האימות והוולידציה של תהליך פיתוח המוצר ותאפשר לתמוך בצורה יעילה בכמות הגדולה של תרחישי הבדיקה הנדרשים כדי להביא לפריסה בטוחה ואמינה של רכבים אוטונומיים על הכבישים. מכירותיה של NI ב-2019 הסתכמו ב-1.3 מיליארד דולר והיא נסחרת בנסד"ק בשווי של 5.3 מיליארד דולר. NI השתתפה לפני מספר חודשים בסבב גיוס הון של פורטליקס, בהיקף של 32 מיליון דולר. באותו סבב השתתפו גם וולוו וחברת הביטוח Nationwide.

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

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

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

וולוו מצטרפת להשקעה בפורטליקס

פורטליקס (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:

פורטליקס ויומנטיקס הציגו פתרון משולב לאימות מערכות נהיגה אוטונומית ו-ADAS

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

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

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

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

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

וולוו ופורטליקס ייפתחו פתרון אימות לכלי-רכב אוטונומיים

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

וגם ב-Apple Podcasts

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

יצרנית המערכות לרכב היפנית דנסו (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 יודעת לבצע בדיקה של כל המערכת בשלמותה ושל כל אחד מהמודולים בנפרד. קיימת גישה המאמינה שכל התחבורה תהיה אוטונומית, אולם זה לא יקרה. הרובוטים צריכים לפעול באינטראקציה עם סביבה אנושית. המטרה שלנו היא לספק כלי המאפשר לבדוק את ההתנהגות הכוללת של הרכב האוטונומי".