Systems that determine, based on the principles of science, engineering and measurement theory, whether an artifact satisfies accepted, well-defined and measurable criteria.
Event
CPS&IoT’2023
11th International Conference on Cyber-Physical Systems
Contemporary Cyber-Physical Systems (CPS) are smart compound systems engineered through seamless integration of embedded information processing sub-systems and physical sub-systems. The modern smart collaborating CPS, that started to form the Cyber-Physical Systems of Systems (CPSoS) and Internet of Things (IoT), have important applications in virtually all economic and social segments, and their huge economic and societal impact rapidly increases. The CPS and IoT area undergoes a revolutionary development.
Submitted by Anonymous on December 8th, 2022
Event
SSIV 2018
4th International Workshop on Safety and Security of Intelligent Vehicles
Co-located with DSN 2018
WORKSHOP DESCRIPTION
Submitted by Anonymous on January 29th, 2018
Episodic brain disorders such as epilepsy have a considerable impact on a patient’s productivity and quality of life and may be life-threatening when seizures cannot be controlled with medications. We will create a second generation brain-implantable sensing and stimulating device (BISSD) based on CPS principles and practice. The BISSD will be composed of modules placed intracranially to continuously monitor brain state and vulnerability to seizure and intervene with electrical stimulation to block the development of seizure.
Submitted by Anonymous on November 29th, 2017
Our results concern using program‐slicing to model software components in a CPS, with applications to verification of aviation software.
Submitted by Jason Rife on November 29th, 2017
Automation is being increasingly introduced into every man-made system. The thrust to achieve trustworthy autonomous systems, which can attain goals independently in the presence of significant uncertainties and for long periods of time without any human intervention, has always been enticing. Significant progress has been made in the avenues of both software and hardware for meeting these objectives. However, technological challenges still exist and particularly in terms of decision making under uncertainty.
Submitted by Yier Jin on November 29th, 2017
This project develops a theoretical framework as well as software tools to support testing and verification of a Cyber-Physical System (CPS) within a Model-Based Design (MBD) process. The theoretical bases of the framework are stochastic optimization methods, and robustness notions of formal specification languages.
Submitted by Georgios Fainekos on November 29th, 2017
File
CPS: Synergy: Certifiable, Attack-resilient Submodular Control Framework for Smart Grid Stability
ABSTRACT
Submitted by Linda Bushnell on November 28th, 2017
Automation is being increasingly introduced into every man-made system. The thrust to achieve trustworthy autonomous systems, which can attain goals independently in the presence of significant uncertainties and for long periods of time without any human intervention, has always been enticing. Significant progress has been made in the avenues of both software and hardware for meeting these objectives. However, technological challenges still exist and particularly in terms of decision making under uncertainty. In an autonomous system, uncertainties can arise from the operating environment, adversarial attacks, and from within the system. While a lot of work has been done on ensuring safety of systems under standard sensing errors, much less attention has been given on securing it and its sensors from attacks. As such, autonomous cyber-physical systems (CPS), which rely heavily on sensing units for decision making, remain vulnerable to such attacks. Given the fact that the age of autonomous CPS is upon us and their influence is gradually increasing, it becomes an urgent task to develop effective solutions to ensure the security and trustworthiness of autonomous CPS under adversarial attacks. The researchers of this project provide a comprehensive real-time, resource-aware solution for detection and recovery of autonomous CPS from physical and cyber-attacks. This project also includes effort to educate and prepare the community for the potential cyber and physical threats on autonomous CPS.
With the observation that a thorough security certification of autonomous CPS will provide formal evaluation of autonomous CPS, the researchers in this project intend to develop methods to facilitate manufacturers for certifying security solutions. Toward this goal, the researchers will first develop new theories to understand the impact of physical and cyber-attack on system level properties such as controllability, stability, and safety. They will then develop algorithms for detection and recovery of CPS from physical attacks on active sensors. The proposed recovery method will ensure the integrity of sensor measurements when the system is under attack. Furthermore, a new analysis framework will be constructed that uses platform-based design methodology to represent the CPS and verifies it against design metric constraints such as security, timing, resource, and performance. The key contributions of this project towards autonomous CPS security certification include 1) a comprehensive study of relationship between attacks and system-level properties; 2) algorithms and their optimization for detection and automatic recovery of autonomous CPS from attacks; and 3) systematically quantifying impact of security on design metrics.
Award Number
Display Videos in Hero
Off
Institution
University of Central Florida
Lead PI
Yier Jin
Performance Period
-
Sponsor
National Science Foundation
Sponsor Award URL
Co-PIs (text)
Teng Zhang
Submitted by Yier Jin on September 21st, 2017
Event
CRTS 2017
The 10th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems
In conjunction with RTSS'2017 conference
Background:
Large safety-critical real-time systems are typically created through the integration of multiple components that are developed mostly independently from each other.
Submitted by Anonymous on August 23rd, 2017
Event
ERTS² 2018
Embedded Real Time Software and Systems ( ERTS² 2018)
The ERTS2 congress created by the late Jean-Claude Laprie in 2002 is a unique European cross sector event on Embedded Software and Systems, a platform for top-level scientists with representatives from universities, research centres, agencies and industries. The previous editions gathered more than 100 talks, 500 participants and 60 exhibitors. ERTS2 is both:
Submitted by Anonymous on June 9th, 2017