SRI International

file

Visible to the public CYPRESS: Cyber-Physical RESilience and Sustainability Dependability Techniques for Instrumented Cyber-Physical Spaces

Abstract:

The objective of this research is to develop semantic foundations, cross-layer system architectures and adaptation services to improve dependability in instrumented cyberphysical spaces (ICPS). The approach is based on the principles of "computation reflection" where information from heterogeneous sensing devices is used to create a digital representation of the evolving cyberphysical world for use by mission-critical applications such as infrastructure monitoring, and incident-site emergency response.

file

Visible to the public Static Previrtualization

Presented as part of the 2012 HCSS conference.

Abstract:

file

Visible to the public Introducing Cyberlogic

Presented as part of the 2003 HCSS conference.

file

Visible to the public Secure Agent Architecture and Types

Presented as part of the 2002 HCSS conference.

file

Visible to the public Disappearing Formal Methods

Presented as part of the 2001 HCSS conference.