Securing Mobile Cyber-Physical Systems (CPSs) Against Stealthy Attacks
Lead PI:
Mina Guirguis
Abstract
As Cyber-Physical Systems (CPSs) employing mobile nodes continue to integrate into the physical world, ensuring their safety and security become crucial goals. Due to their mobility, real-time, energy and safety constraints, coupled by their reliance on communication mediums that are subject to interference and intentional jamming, the projected complexities in Mobile CPSs will far exceed those of traditional computing systems. Such increase in complexity widens the malicious opportunities for adversaries and with many components interacting together, distinguishing between normal and abnormal behaviors becomes quite challenging. The research work in this project falls along two main thrusts: (1) identifying stealthy attacks and (2) developing defense mechanisms. Along the first thrust, a unifying theoretical framework is developed to uncover attacks in a systematic manner whereby an adversary solves Markovian Decision Processes problems to identify optimal and suboptimal attack policies. The effects of the attacks are assessed through different instantiations of damage and cost metrics. Along the second thrust, novel randomization controllers and randomization-aware anomaly detection mechanisms are developed to prevent, detect and mitigate stealthy attacks. The outcomes of this CAREER project will ultimately provide concrete foundations to build more secure systems in the areas of robotics, autonomous vehicles, and intelligent transportation systems. The educational activities--as in curriculum development and hands-on laboratory experiences--will provide students with the essential skills to build dependable and trustworthy systems, while ensuring the participation of undergraduates, women and underrepresented minorities. The outreach activities will expose high school students to Computer Science education and scientific research.
Performance Period: 01/13/2012 - 02/26/2015
Institution: Texas State University - San Marcos
Sponsor: National Science Foundation
Award Number: 1149397
Project URL
Longevity-Oriented Curriculum Enhancement for Cyber-Physical Systems
Lead PI:
Hui Chen
Abstract
The objective of this project is to incorporate educational modules related to the new computing paradigm, called Cyber-Physical Systems (CPS) into a number of computer science courses. CPS integrates computation and sensing into physical processes, producing a wealth of exciting applications in many domains of life. The proposed longevity-oriented approach of using several courses exposes students to these concepts over the long term from their freshman to senior years. Additionally, the modules address cross-cutting concerns such as fault-tolerance, scalability, software design and testing, resource constraints, and concurrency. This approach has the potential to prepare students for future careers in development of CPS applications, while attempting to address high freshmen attrition problems faced by computer science programs. The proposed modules allow students to develop socially-relevant applications early-on in their education and continue those practices throughout the curriculum with gradually increasing complexity. These approaches and modules specifically target the improvement of the quality of computer science education offered to academically underprepared students. This project aims to (1) develop an infrastructure suited for teaching CPSs that can be used as a best practice example in the construction of future laboratories at other institutions; (2) promote computer science education through the development of teaching modules that will be made publicly available, allowing adoption by other institutions; (3) provide students with opportunities to participate in research and development as they develop socially-relevant applications; and (4) use developed socially-relevant applications to recruit K-12 students into STEM programs.
Performance Period: 10/01/2011 - 09/30/2014
Institution: Virginia State University
Sponsor: National Science Foundation
Award Number: 1044841
Project URL
CPS: Frontiers: Collaborative Research: ROSELINE: Enabling Robust, Secure and Efficient Knowledge of Time Across the System Stack
Lead PI:
Rajesh Gupta
Co-PI:
Abstract
Accurate and reliable knowledge of time is fundamental to cyber-physical systems for sensing, control, performance, and energy efficient integration of computing and communications. This statement underlies the proposal. Emerging CPS applications depend on precise knowledge of time to infer location and control communication. There is a diversity of semantics used to describe time, and quality of time varies as we move up and down the system stack. System designs tend to overcompensate for these uncertainties and the result is systems that may be over designed, inefficient, and fragile. The intellectual merit derives from the new and fundamental concept of time and the holistic measure of quality of time (QoT) that captures metrics including resolution, accuracy, and stability. The proposal builds a system stack ("ROSELINE") that enables new ways for clock hardware, operating system, network services, and applications to learn, maintain and exchange information about time, influence component behavior, and robustly adapt to dynamic QoT requirements, as well as to benign and adversarial changes in operating conditions. Application areas that will benefit from Quality of Time will include: smart grid, networked and coordinated control of aerospace systems, underwater sensing, and industrial automation. The broader impact of the proposal is due to the foundational nature of the work which builds a robust and tunable quality of time that can be applied across a broad spectrum of applications that pervade modern life. The proposal will also provide valuable opportunities to integrate research and education in graduate, undergraduate, and K-12 classrooms. There will be extensive outreach through publications, open sourcing of software, and participation in activities such as the Los Angeles Computing Circle for pre-college students.
Performance Period: 06/15/2014 - 05/31/2019
Institution: University of California-San Diego
Sponsor: National Science Foundation
Award Number: 1329766
Project URL
CPS: Synergy: Smart Flexible Camera Sheet: Ultra-Thin Semantic-Guided Cooperative Micro-Camera Array
Lead PI:
Hongrui Jiang
Co-PI:
Abstract
This highly interdisciplinary research addresses two fundamental challenges in image sensing and image understanding: 1) versatile camera systems in a small form factor, and 2) 3-dimensional scene and object recognition from 2-dimensional photos. These fundamental challenges are tackled together by developing a cyber-physical imaging system, called smart flexible camera sheet, which integrates an array of many micro-cameras (millimeters in size each) onto a thin substrate. The substrate has flexible geometric shape and the orientation of each camera is individually adjusted and controlled in real time via intelligent algorithms. The overall imaging system is ultra-thin and space-efficient, and can be easily mounted onto or embedded into any planar or curved surface. Hence it opens up a plethora of new civilian and military applications where surveillance and visual monitoring are required, thus bearing great commercialization potential. Example applications are: smart vehicles, smart transportation, highway safety, smart civil infrastructure, manufacturing lines, battlefield surveillance and reconnaissance, sensor networks, mobile robotics, medical facilities, and patient care.
Performance Period: 10/01/2013 - 09/30/2017
Institution: University of Wisconsin-Madison
Sponsor: National Science Foundation
Award Number: 1329481

Washington Post Article on Driverless Vehicles

Washington Post Article on Driverless Vehicles

See the Washington Post article featuring Raj Ragunathan's work on Autonomous Transportation Systems.

An autonomous car takes a capital test run.

Driverless cars are coming. And those of us who drive in Washington know that the city offers its own particular version of driver hell. What we don’t know is what will happen when the autocar finds itself in that hell. So we set out on a summer afternoon to see how a driverless car could do on the streets of the nation’s capital.

Submitted by Anonymous on

MDD4DRES 2014

Submitted by Anonymous on

5th International Summer School on Model-Driven Development for Distributed, Realtime, Embedded Systems
MDD4DRES 2014

Model-Driven Development (MDD) is now an established paradigm the application of which spans multiple domains. One of the main domains is Distributed Real-Time and Embedded Systems (DRES) where MDD has proven its efficiency.

REACTION 2014

Submitted by Anonymous on

3rd International Workshop on Real-Time and Distributed Computing in Emerging Applications

Co-located with IEEE RTSS     

EMBC 2014

Submitted by Anonymous on

36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC’14)

will be held from August 26-30, 2014 at the Sheraton Hotel & Towers, Chicago, Illinois, USA. The overall theme of the conference is “Discovering, Innovating, and Engineering Future Biomedicine.” It will cover diverse topics from cutting-edge biomedical and healthcare technology research and development, clinical applications, to biomedical education.

PV@CONCUR 2014

Submitted by Anonymous on

First Workshop on Parameterized Verification

Parameterized Verification (PV) is the task of verifying the correctness
of systems composed of a finite but arbitrary number of identical
components. The workshop is aimed at bringing together researchers
working on PV in areas like Concurrent Software, Protocols, Distributed
Algorithms, and Hardware Design.

The home page of the workshop is at the URL:
http://www.disi.unige.it/person/DelzannoG/PV/PV14/

ARCS 2015

Submitted by Anonymous on

28th GI/ITG International Conference on Architecture of Computing Systems

The ARCS series of conferences has over 30 years of tradition reporting high quality results in computer architecture and operating systems research. The focus of the 2015 conference will be on reconciling parallelism and predictability in mixed-critical systems. Like the previous conferences in this series, it continues to be an important forum for computer architecture research, including also workshops and tutorials within its technical scope.

Subscribe to