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