Systems that maintain state awareness and an accepted level of operational normalcy in response to disturbances, including threats of an unexpected and malicious nature.
Event
TIME 2013
20th International Symposium on Temporal Representation and Reasoning
Symposium Scope
This session of the SAE 2013 World Congress focuses on processes, methods, and tools for the design, analysis, and synthesis of cyber secure automotive embedded systems. The analysis aspect shall cover static code analysis methods and tools for analyzing the vulnerabilities of embedded software (application and platform) prior to their deployment on the target HW.
Event
WiP session at RTAS 2013
The 19th IEEE Real-Time and Embedded Technology and Applications Symposium
(RTAS 2013)
Event
Resilience Week 2013
Symposia dedicated to promising research in resilient systems that will protect cyber-physical infrastructures from unexpected and malicious threats--securing our way of life.
Submitted by Craig Rieger on September 18th, 2012
IEEE DEST 2012 (June 18-20 2012, Campione, ITALY) has a track on Cyber Physical Energy Systems:
The NASA Formal Methods Symposium is a forum for theoreticians andpractitioners from academia, industry, and government, with the goals ofidentifying challenges and providing solutions to achieving assurancein mission- and safety-critical systems. Within NASA, for example, suchsystems include autonomous robots, separation assurance algorithms for aircraft,Next Generation Air Transportation (NextGen), and autonomous rendezvous anddocking for spacecraft. Moreover, emerging paradigms such as code generation
Submitted by Alwyn Goodloe on April 16th, 2012
The major purpose of this symposium is to extend and endorse particular concepts that will generate novel research and codify resilience in next generation control system designs.
Submitted by Craig Rieger on April 16th, 2012
The goal of this two-day, single-track event is to expose researchers to control and modeling challenges in cyber-physical systems (CPS) with the aim of exchanging knowledge and fostering collaborations between academia, industry, and government agencies. The proposed symposium will cover several applications of cyber-physical systems such as networked systems of unmanned vehicles, power grids, green buildings, transportation systems and health-care systems via invited talks, poster presentations and a panel discussion.
This session of the SAE 2012 World Congress focuses on processes, methods, and tools for the design, analysis, and synthesis of cyber secure automotive embedded systems. The analysis aspect shall cover (but not be restricted to) static code analysis methods and tools for analyzing the vulnerabilities of embedded software (application and platform) prior to their deployment on the target HW.
Project
CPS: Medium: Collaborative Research: Dependability Techniques for Instrumented Cyber-Physical Spaces
The goal of this project is to develop a semantic foundation, cross-layer system architecture and adaptation services to improve dependability in instrumented cyberphysical spaces (ICPS) based on the principles of "computation reflection". ICPSs integrate a variety of sensing devices to create a digital representation of the evolving physical world and its processes for use by applications such as critical infrastructure monitoring, surveillance and incident-site emergency response. This requires the underlying systems to be dependable despite disruptions caused by failures in sensing, communications, and computation. The digital state representation guides a range of adaptations at different layers of the ICPS (i.e. networking, sensing, applications, cross-layer) to achieve end-to-end dependability at both the infrastructure and information levels. Examples of techniques explored include mechanisms for reliable information delivery over multi-networks, quality aware data collection, semantic sensing and reconfiguration using overlapping capabilities of heterogeneous sensors. Such adaptations are driven by a formal-methods based runtime analysis of system components, resource availability and application dependability needs. Responsphere, a real-world ICPS infrastructure on the University of California at Irvine campus, will serve as a testbed for development and validation of the overall ?reflective? approach and the cross-layer adaptation techniques to achieve dependability. Students at different levels (graduate, undergraduate, K-12) will be given opportunities to gain experience with using and designing real-world applications in the Responsphere ICPS via courses, independent study projects and demonstration sessions. Students will benefit tremendously from exposure to new software development paradigms for the ICPSs that will be a part of the future living environments.
Off
SRI International
-
National Science Foundation
Denker, Grit
Submitted by Grit Denker on April 7th, 2011