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
Submitted by Anonymous on May 7th, 2013
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.
Submitted by Anonymous on March 4th, 2013
The 19th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2013)  
Submitted by Anonymous on February 11th, 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.
Craig Rieger 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:
Submitted by Peter Palensky on April 16th, 2012
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
Alwyn Goodloe 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.
Craig Rieger 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.
Submitted by Quanyan Zhu on April 16th, 2012
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.
Submitted by Anonymous on April 16th, 2012
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
Grit Denker Submitted by Grit Denker on April 7th, 2011
Subscribe to Resilient Systems