Theoretical aspects of cyber-physical systems.
Cyber-physical systems (CPSs) allow computer systems to monitor and control the physical world in a new way that could revolutionize many areas of science and engineering. However, they are often too complex for non-specialists to use. The aim of this work is to develop new technology to manage this complexity, enabling scientists and engineers to use CPSs just like other tools and instruments. This research takes a comprehensive approach to macroprogramming -- the task of programming an entire network of devices as a single, programmable substrate. This research exploits global, network-wide information about a CPS provided by a macroprogram to improve traditional software engineering techniques such as testing, debugging, analysis, and optimization. New techniques are being developed that use global information to optimize system performance, automatically generate test cases, and reduce the state space for analysis. This work is developing new programming abstractions that allow the separation of the application logic from quality-of-service requirements and hardware requirements, improving code portability and reuse. This research will produce a comprehensive development environment for CPSs called MacroLab. The new tools developed will greatly simplify the process of their programming and make them more accessible to non-experts. By taking a holistic view of the network and its software, MacroLab will manage a range of complex, interacting issues that would be extremely difficult to manage by hand. MacroLab will be tested pilot studies, including environmental monitoring. A graduate CPS course will be developed. MacroLab will be used for course experiments and in senior capstone projects.
Award Number
Display Videos in Hero
Off
Institution
University of Virginia
Lead PI
Cameron Whitehouse
Outcomes Report URL
Performance Period
-
Sponsor
National Science Foundation
Submitted by Cameron Whitehouse on January 11th, 2016
Abstract:
For reliable operation of programmed molecular systems, the capability to detect faults when they occur and to initiate recovery is essential. Since a faulty system cannot be depended upon to report its own failure, a monitoring device is needed. The work presented here describes the design of one such fault protection device, called a molecular watchdog timer.
Submitted by Robyn Lutz on December 23rd, 2015
Event
INDIN 2016
INDIN 2016 IEEE International Conference on Industrial Informatics
Sponsored by: IEEE Industrial Electronics Society and Pprime Institute, Futuroscope-Poitiers, France
INDIN2016 is 14th International Conference on Industrial Informatics sponsored by the Industrial Electronics Society of the IEEE. The premier conference series presenting the state of the art and future perspectives of industrial information technologies.
Submitted by Anonymous on December 23rd, 2015
Event
PETRA 2016
9th International Conference on PErvasive Technologies Related to Assistive Environments (PETRA 2016)
The PETRA conference is a highly interdisciplinary conference that focuses on computational and engineering approaches to improve the quality of life and enhance human performance in a wide range of settings, in the workplace, at home, in public spaces, urban environments, and other.
Submitted by Anonymous on December 23rd, 2015
Abstract:
General purpose operating systems (OS) are concurrent and multithread, and the primary goal of thread scheduler is to enforce fairness among all threads. This design is unsuitable for Real-Time (RT) systems, because tasks have soft or hard deadline of finishing time. Concurrency breaks timing of RT applications because users never know when their program is actually running. Explicitly allocation of processor resource to programs (threads) is thus necessary for timing-aware applications.
Submitted by Rajesh Gupta on December 22nd, 2015
Abstract:
It's common in controller design to assume that the controller reads the sensors and writes to the actuators at the same time instant. This assumption is often violated in practice because the controller executes its code sequentially on a microprocessor. If the microprocessor is "fast enough," often the controller will still work.
Submitted by Joao Hespanha on December 22nd, 2015
File
A Novel Human Centric CPS to Improve Motor/Cognitive Assessment and Enable Adaptive Rehabilitation
Abstract:
The objective of this research is to develop methods and tools for a multimodal and multi-sensor assessment and rehabilitation system called CPLAY to help children with Cerebral Palsy (CP). CPLAY collects and processes multiple types of stimulation and performance data while a child is playing in different types of therapy games simulating traditional therapy sessions.
Submitted by Fillia Makedon on December 22nd, 2015
Abstract:
The project is developing novel architectures for control and diagnosis of complex cyber-physical systems subject to stringent performance requirements in terms of safety, resilience, and adaptivity. These ever-increasing demands necessitate the use of formal model-based approaches to synthesize provably-correct feedback controllers.
Submitted by Stephane Lafortune on December 22nd, 2015
Abstract:
We describe the process towards the design of a safe, reliable, and intuitive emergency treatment unit to facilitate a higher degree of safety and situational awareness for medical staff, leading to an increased level of patient care during an epidemic outbreak in an unprepared, underdeveloped, or disaster stricken area.
Submitted by Taskin Padir on December 22nd, 2015
Abstract:
Following Smart Cities Initiative from White House, this project was aimed to address urban transportation challenges through ridership sharing in both time and space across different transportation modes. Our research project is uniquely built upon large-scale urban infrastructure systems across different cities in the world, including NYC, Washington D.C., San Francisco, Rome, Beijing, Shanghai and Shenzhen.
Submitted by Tian He on December 22nd, 2015