Automated Integration of Potentially Hazardous Open Systems

John Rushby

Invited paper, presented at Workshop on Open Systems Dependability (WOSD) 2017, Keio University, Japan, October 2017.

Abstract

I speculate on the feasibility of open systems that self-assemble into integrated systems of systems using automation to identify and manage novel hazards.

PDF

Slides

PDF

BibTeX Entry

@INPROCEEDINGS{Rushby:WOSD17,
 AUTHOR = {John Rushby},
 TITLE = {Automated Integration of Potentially Hazardous Open Systems},
 BOOKTITLE = {Sixth Workshop on Open Systems Dependability ({WOSD})},
 YEAR = 2017,
 EDITOR = {Mario Tokoro and Robin Bloomfield and Yoshiki Kinoshita},
 PAGES = {10--12},
 ORGANIZATION = {{DEOS} Association and {IPA}},
 ADDRESS = {Keio University, Tokyo, Japan},
 MONTH = oct
}
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