IFIP Working Group 10.4
Dependable Computing and Fault Tolerance

75th Meeting

Champéry, Switzerland

January 24-28, 2019


Meeting Hosts

Marco Vieira, University of. Coimbra, PT
Andrea Bondavalli, University of Firenze, IT


Program-at-a-Glance and Contents

Workshop on Assured Autonomy


Marco Vieira, Univ. Coimbra, PT
Andrea Bondavalli, Univ. Firenze, IT



Session 1

Session 2

Session 3

Session 4

Session 5

Session 6

Research Reports

Business Meeting

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 — Chair: Lorenzo Strigini

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 — Chair: Andrea Bondavalli

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
With A High-Assurance


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











Business Meeting

IFIP Working Group 10.4 business meeting

List of Attendees

Names and Contact Information