Campus Event Calendar
Event Entry
What and Who
Power to the People. Verified.
Holger Hermanns
MMCI
Joint Lecture Series
AG 1, AG 2, AG 3, AG 4, AG 5, SWS, RG1, MMCI
Public Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Wednesday, 11 April 2018
12:15
60 Minutes
E1 5
002
Saarbrücken
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.
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
Jennifer Müller
2900
--email hidden
passcode not visible
logged in users only
Anna Rossien, 02/05/2018 14:03 -- Created document.