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

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

מנחה: יוחאי שויגר. www.techtime.co.il