Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF or MPI-SWS or Local Campus Event Calendar

<< Previous Entry Next Entry >> New Event Entry Edit this Entry Login to DB (to update, delete)
What and Who
Title:Power to the People. Verified.
Speaker:Holger Hermanns
coming from:Fachrichtung Informatik - Saarbrücken
Speakers Bio:
Event Type:Joint Lecture Series
Visibility:D1, D2, D3, D4, D5, SWS, RG1, MMCI
We use this to send out email in the morning.
Level:Public Audience
Language:English
Date, Time and Location
Date:Wednesday, 11 April 2018
Time:12:15
Duration:60 Minutes
Location:Saarbrücken
Building:E1 5
Room:002
Abstract
Twenty years ago we were able to repair cars at home. Nowadays customer
services repair coffee machines by installing software updates. Soon you
will no longer be able to repair your bike.

Embedded software innovations boost our society; they help us
tremendously in our daily life. But we do not understand what the
software embedded therein actually does, regardless of how well educated
or smart we are. Proprietary embedded software has become an opaque
layer between functionality and user. That layer is thick enough to
possibly induce malicious or unintended behaviour, as it happened
massively in our diesel cars. From the outside, there is no
understanding of how decisions are made inside and across these
software-driven black boxes. The outcomes are often not designed to be
accessible, verified or evaluated by humans, limiting our ability to
identify if, when, where, and why the software produced harm — and worse
still — redress this harm. Proprietary embedded software locks us out of
the products we own.

The presentation of Holger Hermanns will sketch the main cornerstones of
a research agenda which targets the foundations of open and hence
customisable embedded software. A minor customisation might well have
strong unexpected impact, for instance on the longevity of an embedded
battery, or the safety of the battery charging process. Means to detect,
quantify and prevent such implications are needed. Those are delivered
by quantitative verification technology for system-level correctness,
safety, dependability and performability. Hermanns will link
foundational achievements to concrete results in the area of power
management for electric mobility and for satellite operation. Electric
power is intricate to handle by software, is safety-critical, but vital
for mobile devices and their longevity. Since ever more tools, gadgets,
and vehicles run on batteries and use power harvesting, electric power
management is itself a pivot of the future.
Contact
Name(s):Jennifer Müller
Phone:2900
EMail:--email address not disclosed on the web
Video Broadcast
Video Broadcast:NoTo Location:
Tags, Category, Keywords and additional notes
Note:
Attachments, File(s):
Created:Anna Rossien/MPI-INF, 02/05/2018 01:58 PM Last modified:Uwe Brahm/MPII/DE, 04/11/2018 07:01 AM
  • Anna Rossien, 02/05/2018 02:03 PM -- Created document.