Embed code
Note: this content has been automatically generated.
preceding up the word cars i ceasing to exist the way we know today grades uh becomes far with more
automation and m. m. m. battery no stock you already know the computer networks are gonna be destructive itself
itself it doesn't work well it can leave a vehicle destruction it's
part and that's why mission critical software requires high reliability
my research it is here to provide liability protection against crashes and delay falls
via built deployed and tested smart be reliably distributions that's or expertise is
now we don't apply our solutions in other areas like autonomous cars and a data centres
so what i'm gonna do is explain the challenges involved in in doing so
and from your side if you like it i would like to get he's so
that i can continue with my customer discovery process that's going on right now
well uh we went up like autonomous cars i don't understand the problem by profiling the software
we don't have access to a car software the best we can do it with good
so for what we did is we landed softly for a long time and realise
that the normal response times on one millisecond that's how it's designed to be but
every now and then it has a peak of two fifty three hundred millisecond
if this were a car on hiding the us that is doing a emergency stopping application then it would mean that
the car would be inclined more for five to six meters that's quite scary you wouldn't dissident are like that
with our but in the software we can go from blind modified to six meters go blind mode
of under one meter more importantly we did use the fork rake by several orders of magnitude
the basic idea is very simple if something isn't reliable you replicate
now people have been doing for thirty years for discourse passive replication bit primaries in standby is
this was very powerful crash false but does not target delay for it's it's important in real time setting
what happens here is your primary that's doing the control and the backup that
detective the primaries not working correctly and comes back up a bit
to take over the control the other alternative is active didn't sit there
and you have two or more primaries controlling the car simultaneously
you're the problem that arises bird brain you could have these controllers giving competing
set points and driving the car in competing directions that's not receive
the way to solve it is by consensus rating these
replicated controllers agree and then move forward but consensus is not possible to do in real time or it will be like
engine that's where i think you toss lights we have found a class of systems
where we can do like with agreement is of a full blown consensus

Share this talk: 


Conference program

Welcome address
Andreas Mortensen, Vice President for Research, EPFL
7 June 2018 · 9:49 a.m.
Introduction
Jim Larus, Dean of IC School, EPFL
7 June 2018 · 10 a.m.
The Young Software Engineer’s Guide to Using Formal Methods
K. Rustan M. Leino, Amazon
7 June 2018 · 10:16 a.m.
Safely Disrupting Computer Networks with Software
Katerina Argyraki, EPFL
7 June 2018 · 11:25 a.m.
Short IC Research Presentation 2: Gamified Rehabilitation with Tangible Robots
Arzu Guneysu Ozgur, EPFL (CHILI)
7 June 2018 · 12:15 p.m.
Short IC Research Presentation 3: kickoff.ai
Lucas Maystre, Victor Kristof, EPFL (LCA)
7 June 2018 · 12:19 p.m.
Short IC Research Presentation 5: CleanM
Stella Giannakopoulo, EPFL (DIAS)
7 June 2018 · 12:25 p.m.
Short IC Research Presentation 6: Understanding Cities through Data
Eleni Tzirita Zacharatou, EPFL (DIAS)
7 June 2018 · 12:27 p.m.
Short IC Research Presentation 7: Datagrowth and application trends
Matthias Olma, EPFL (DIAS)
7 June 2018 · 12:31 p.m.
Short IC Research Presentation 8: Point Cloud, a new source of knowledge
Mirjana Pavlovic, EPFL (DIAS)
7 June 2018 · 12:34 p.m.
Short IC Research Presentation 9: To Click or not to Click?
Eleni Tzirita Zacharatou, EPFL (DIAS)
7 June 2018 · 12:37 p.m.
20s pitch 1: Cost and Energy Efficient Data Management
Utku Sirin, (DIAS)
7 June 2018 · 2:20 p.m.
20s pitch 2: Gamification of Rehabilitation
Arzu Guneysu Ozgur, EPFL (CHILI)
7 June 2018 · 2:21 p.m.
20s pitch 4: Neural Network Guided Expression Transformation
Romain Edelmann, EPFL (LARA)
7 June 2018 · 2:21 p.m.
20s pitch 5: Unified, High Performance Data Cleaning
Stella Giannakopoulo, EPFL (DIAS)
7 June 2018 · 2:21 p.m.
20s pitch 6: Interactive Exploration of Urban Data with GPUs
Eleni Tzirita Zacharatou, EPFL (DIAS)
7 June 2018 · 2:22 p.m.
20s pitch 7: Interactive Data Exploration
Matthias Olma, EPFL (DIAS)
7 June 2018 · 2:22 p.m.
20s pitch 8: Efficient Point Cloud Processing
Mirjana Pavlovic, EPFL (DIAS)
7 June 2018 · 2:23 p.m.
20s pitch 9: To Click or not to Click?
Eleni Tzirita Zacharatou, EPFL (DIAS)
7 June 2018 · 2:24 p.m.
20s pitch 10: RaaSS Reliability as a Software Service
Maaz Mohiuddlin, LCA2, IC-EPFL
7 June 2018 · 2:24 p.m.
20s pitch 11: Adversarial Machine Learning in Byzantium
El Mahdi El Mhamdi, EPFL (LPD)
7 June 2018 · 2:24 p.m.
Machine Learning: Alchemy for the Modern Computer Scientist
Erik Meijer, Facebook
7 June 2018 · 2:29 p.m.

Recommended talks

Schindler
Martin Kusserow, Schindler
16 March 2017 · 2:14 p.m.
SUSS MicroOptics and Microlens
Myun-Sik Kim, Head of Metrology
18 May 2016 · 3:54 p.m.