John Rushby

Date: 17:00, Wednesday, March 9, 2016
Speaker: John Rushby
Venue: IST Austria


Day: Wednesday

Patients in intensive care often have a dozen or more medical devices
and sensors attached to them.  Each is a self-contained system that
operates in ignorance of the others, and their operation as an
integrated system of systems that delivers coherent therapy is
arranged and managed by doctors and nurses.  But we can easily imagine
a scenario where the devices recognize each other and self-integrate
(perhaps under the guidance of a suitable “therapy app”) into a
unified system.  Similar scenarios can be (and are) envisaged for
vehicles and roads, for the devices and services in a home, and for
the general “Internet of Things.”

These self-integrating systems promise significant benefit, but also
have the potential for harm, so as they integrate they should adapt
and configure themselves appropriately and should construct an
“assurance case” for the utility and safety of the resulting system.
Thus, trustworthy self-integration requires autonomous adaptation,
synthesis, and verification at integration time, and this means that
embedded automated deduction (i.e., theorem provers) will be the
engine of integration in the Internet of Things.

Posted in RiSE Seminar