Trustworthy Self-Integrating Systems
John Rushby
Invited paper, presented at
the 12th International Conference on Distributed Computing and
Internet Technology (ICDCIT), Bhubaneswar, India, January 2016;
published as Springer LNCS Vol. 9581, pp. 19--29
Abstract
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 integrated operation as
a system of systems that delivers coherent therapy is performed 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 master "therapy app") into a unified system. Similar
scenarios can be (and are) envisaged for vehicles and roads, and for
the devices and services in a home. These self-integrating systems
have the potential for significant harm as well as benefit, 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.
PDF
Slides
PDF
BibTeX Entry
@INPROCEEDINGS{Rushby16:ICDCIT,
AUTHOR = {John Rushby},
TITLE = {Trustworthy Self-Integrating Systems},
BOOKTITLE = {12th International Conference on Distributed Computing
and Internet Technology, {ICDCIT 2016}},
MONTH = jan,
YEAR = 2016,
EDITOR = {Nikolaj Bj{\o}rner and Sanjiva Prasad and Laxmi Parida},
PAGES = {19--29},
PUBLISHER = {Springer-Verlag},
SERIES = {Lecture Notes in Computer Science},
VOLUME = 9581,
ADDRESS = {Bhubaneswar, India}
}
Having trouble reading our papers?
Return to John Rushby's bibliography page
Return to the Formal Methods Program home page
Return to the Computer Science Laboratory home page