|
|
|
|
|
Meeting Hosts |
Marco Vieira, University of. Coimbra, PT |
Program-at-a-Glance and Contents
|
Workshop |
Marco Vieira, Univ. Coimbra, PT |
List of Attendees
Workshop on Assured Autonomy
January
25-26, 2019 (Friday to Saturday)
8:00 Paulo Esteves-Veríssimo (University of Luxembourg, LX) Introduction to the meeting Marco Vieira, University of Coimbra, PT, and Andrea Bondavalli, University of Florence , IT Introduction to the Workshop on Assured Autonomy by co-Chairs |
|
Session 1 - Perception and Timing — Chair: Yair Amir (Johns Hopkins Universit, US)
|
8:30 Philip Koopman (Carnegie Mellon University, PA, US), Autonomous Vehicle Perception Stress Testing
|
|
|
9:15 Sibin Mohan (University of Illinois at Urbana-Champaign, IL, US) “Who has the time?” The Interplay of Timing and Resiliency In Autonomous Cyber-Physical Systems
|
|
Session 2 - Safety Management and Design
|
10:30 Marcus Voelp (University of Luxembourg, LX), Towards sustainable safety and security in autonomous vehicles
|
|
|
11:15 Francesco Brancati (ResilTech S.r.l., IT) Challenges and approach to embed complex libraries (and tool-chains) into safety critical automotive systems
|
 |
Session 3 - (17:00 - 18:30) Panel on the Assurance of Autonomous Systems
|
17:00 Andrea Bondavalli, Introduction to the Panel |
|
|
17:10 Hermann Kopetz (Vienna University of Technology, AT), Assurance of Autonomous Systems
|
|
| 17:20 Paulo Esteves-Veríssimo, Challenges, current solutions and research directions regarding assured autonomy | |
| 17:30 Henrique Madeira (University of Coimbra, PT), Autonomous systems: big differences in assurance and certification | |
| 17:40 Mohamad Gharib (University of Florence, IT), Assurance of Autonomous Systems: Characteristics and Challenges | |
Session 4 - Trustworthiness and Protection — Chair: Karthik Pattabiraman (University of British Columbia, CA)
|
8:30 Flavio Figueiredo (Federal University of Minas Gerais, BR) Issues of Trust and Trustworthiness for Dependable Machine Learning Systems
|
|
9:15 Gernot Heiser (University of New South Wales, AU) Protecting Autonomous Operation |
|
Session 5 - Cloud Security and Privacy — Chair: Alysson Bessani(University of Lisbon, PT) Antonio Casimiro
10:30 Emilia Cioroaica, Fraunhofer IESE, DE, Safety in Cooperative Autonomous Systems: Vision of Dynamic Safety Management |
|
11:15 Antonio Casimiro, FCUL, PT, An Architectural Approach for Safe Cooperative Autonomous Vehicles |
|
Session 6 - Workshop Wrap Up: Presentation of Session Summaries and Discussion
|
Session 1 - Yair Amir |
|
|
Session 2 - Lorenzo Strigini |
|
| Session 3 - Andrea Bondavalli | No slides |
| Session 4 - Karthik Pattabiraman | |
|
Session 5 - Alysson Bessani
|
|
Research Reports - Monday January 28, 2019
|
TBC |
|
|
TBC |
|
|
TBC |
|
|
TBC |
|
|
TBC |
|
TBC |
|
|
TBC |
|
|
IFIP
Working Group 10.4 business meeting |
|
List of Attendees
|
Names and Contact Information |
|