Vance Hilderman — CEO AFuzion Incorporated
Important New Trends in Safety-Critical Software
Alessandro Frigerio, Bart Vermeulen and Kees Goossens
Component-Level ASIL Decomposition and Safety Analysis for Automotive Architectures
— Break —
Wenbo Xu, Alexander Willecke, Martin Wegner, Lars Wolf and Ruediger Kapitza
Autonomous Maneuver Coordination via Vehicular Communication
Talal Halabi and Mohammad Zulkernine
Reliability-driven Task Assignment in Vehicular Crowdsourcing: A Matching Game
Emilia Cioroaica, Daniel Schneider, Hanna Alzughbi, Rasmus Adler, Jan Reich and Tobias Braun
Predictive Runtime Simulation for building Trust in Cooperative Autonomous Systems
— Lunch —
Prof. Jean-Charles Fabre, LAAS-CNRS and Toulouse INP, France
Resilient computing: evolvability, adaptivity and open issues
John Heneghan, Siraj Shaikh, Jeremy Bryans, Madeline Cheah and Paul Wooderson
Enabling Security Checking of Automotive ECUs with CSP Models
— Break —
Moderator : Henrique Madeira
Vance Hilderman (AFuzion), Jay Lala (Reython), Jean-Charles Fabre (LAAS-CNRS and Toulouse INP, France)