SRI International


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


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.


Visible to the public Disappearing Formal Methods