Systems that maintain state awareness and an accepted level of operational normalcy in response to disturbances, including threats of an unexpected and malicious nature.
Advancing time-critical systems that cross disciplines and industries
A cyber-physical system consists of two interacting subsystems, a cyber-system and a physical system. The behavior of the cyber system is controlled by the execution of programs on a distributed digital computer system, while the laws of physics control the behavior of the physical system.
The NASA Formal Methods Symposium is a forum for theoreticians and practitioners from academia, industry, and government, with the goals of identifying challenges and providing solutions to achieving assurance in mission- and safety-critical systems. Within NASA, for example, such systems include autonomous robots, separation assurance algorithms for aircraft, Next Generation Air Transportation (NextGen), and autonomous rendezvous and docking for spacecraft. Moreover, emerging paradigms such as code generation
Submitted by Janos.Sztipanovits on Mon, 04/16/2012 - 6:17pm
HiCoNS aims to bring together novel concepts and theories that can help in the development of the science of high confidence networked systems, in particular those considered cyber-physical systems (CPS). The conference will focus on system theoretic approaches to address fundamental challenges to increase the confidence of networked CPS by making them more secure, dependable, and trustworthy.
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.
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 Brian.Hulbert on Mon, 04/16/2012 - 6:17pm
Dear Colleagues,
We cordially invite you to attend the 2011 Safe & Secure Systems & Software Symposium (S5) on 14,15 and 16 June at the Hilton Garden Inn, Beavercreek Ohio (near Wright Patterson Air Force Base). The Air Force Research Laboratory Air Vehicles Directorate will be hosting the Symposium and there is no registration fee to attend.
S5 will bring together industry, academia and government to collaborate on the common goal of improvi
Submitted by Anonymous on Mon, 04/16/2012 - 6:17pm
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.
