האם אימות רשמי יכול לעזור לרובוטים להיות אמינים?

הקשר הישראלי: הונאת האיידס (יולי 2019).

$config[ads_text] not found
Anonim

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


פתרונות הבדיקה והאימות (T & VS) הכריזו על הפרטים של המצגת המרכזית ועל התוכנית המלאה של מצגות טכניות ופאנל דיונים עבור Formal Verification 2017 (FV2017). עכשיו השנה החמישית שלה מוצלחת FV2017 מאורגן על ידי T & VS והוא הפורום המוביל של אירופה המוקדש לדון ביישום של טכניקות מבוססות פורמלי אימות ואימות של SOCs מורכבים, חומרה משובצת ותוכנה.
FV2017 הוא יום אחד, ללא תשלום, להשתתף בכנס המתרחש רידינג, בריטניה ביום שלישי 27 יוני 2017. זה זמין גם כסמינר מקוון סימול.
"שוב, יש לנו תוכנית חזקה מאוד, ואני שמח במיוחד כדי לקבל את ד"ר קלייר דיקסון מאוניברסיטת ליברפול להצטרף אלינו כדי לספק את המפתח כדי לחלוק את נקודת המבט שלה על רובוטית עוזרי ומה אנחנו צריכים לעשות כדי להבטיח שהם אמין, בטוח ואמין ", אמר מייק בארטלי, מנכ"ל ומייסד T & VS. "קלייר יש מעל 20 שנות ניסיון בעבודה פורמלי ואת הפרס שלה זוכה פרס" דלת מקרר הוא פתוח "קובע את הסצינה למה שאנחנו יכולים לצפות."
פרטים מרכזיים
• אימות ואישור של רובוטים
- קלייר דיקסון (מרצה בכיר), המחלקה למדעי המחשב, אוניברסיטת ליברפול
מצגות טכניות
• אימות פורמלי על ידי הספר: ISA פורמלי ב ARM
- וויל קין, מהנדס בכיר, קבוצת CPU, ARM.
• גישה מודרנית לאיכות מרובה-מנוע מונע אימות
- וינסנט ריינולדס, מהנדס מוצר בכיר במו"פ פורמלי, קיידנס.
• מאומצת אימות טכניקות להקטנת SEU באמצעות אימות פורמלי
- מארק Handover, מהנדס יישומים, מנטור, סימנס עסקים
• כלי קוד פתוח לאימות פורמלי של Verilog HDL
- קליפורד וולף, חוקר עצמאי
• כיסוי טען: חתימה על עיצובים עם ביטחון
- ד"ר אשיש דרברי, מנהל מוצר, OneSpin Solutions
• העברה ואימות של עיצוב מדור קודם של RTL
- אלחנן רפפורט, נשיאה, גילה לוגיק
• פורמלי עבור ההמונים: האחרונה ואת הגדול ביותר ידידותית ידידותית טכנולוגיה
- Iain Singleton, מומחה אימות פורמלי, סינופסיס
• כבר הגענו? עשרים שנה של אימות רשמי בתוכנה קריטית

.

- רוד צ 'פמן, (מהנדס ראשי) אלטרן בריטניה
מידע נוסף
לקבלת מידע נוסף ולהרשמה, בקר בכתובת:
//www.testandverification.com/conferences/formal-verification-conference/fv2017/
FV2017 הוא חופשי להשתתף והוא מתאפשר באמצעות תמיכה של נותני החסות שלה: Cadence, מנטור, Onespin פתרונות, סינופסיס ו T & VS.