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