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.

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.

This project is developing techniques for secured real-time services for cyber-physical systems. In particular, the research is incorporating real-time traffic modeling techniques into the security service, consequently enhancing both system security and real-time capabilities in an adverse environment. While this proposed methodology has not yet been fully tested, it is potentially transformative. To defend against traffic analysis attacks, the research is developing algorithms that can effectively mask the actual operational modes of cyber-physical applications without compromising the guaranteed quality of service. This is achieved by using the traffic modeling theory, developed by the PIs, to precisely manage the network traffic at the right time and the right place. This traffic modeling theory can also help in develop efficient attack detection and suppression methods that can identify and restrain an attack in real-time. The proposed methods are expected to be more effective, efficient, and scale-able than traditional methods.

The objective of this proposal is to bring together faculty and students from the U.S. Southwest area through a workshop on theoretical and applied topics pertaining to cyber-physical systems (CPS). The target U.S. Southwest area, which comprises the states of Arizona, Colorado, New Mexico, Nevada, and Utah, has numerous active research projects of interest to the global CPS community. Through this single-track workshop, which will take place during the Fall of 2010 at the University of Arizona, Tucson, participants will have an opportunity to present new results and explore new venues to contribute to CPS. Additionally, invited speakers from academia and government agencies will deliver technical and informative talks on open problems, opportunities, and future directions of CPS research. The workshop will provide funds to graduate students, faculty, and invitees to attend the meeting. Intellectual merit: The proposed workshop will promote the exchange and discussion of creative ideas across the multidisciplinary fields bridged by CPS. This workshop is a key step in materializing the collaborative vision of CPS, regionally within the Southwest as well as nationally as a potential model activity across the U.S. Broader impacts: The proposed workshop will strengthen collaboration between universities in the Southwest region on topics of national interests. It will provide an ideal venue for dissemination of research results of the participants. The involvement of participants from EPSCOR states will promote new research collaborative activities enlarging their research capabilities. The workshop will provide graduate students a unique opportunity to present and discuss their research with peers and experienced researchers in a semiformal environment. It will consist of the first workshop on CPS in the region, the goal being to have it organized yearly by participants from other institutions within the region. Dissemination of workshop information will be primarily through the workshop website supplemented by e-mail.

Cyber Physical Systems (CPS) are ones that integrate computation, communication and storage capabilities with the monitoring and/or control of the physical and engineering systems. Such systems must be operated safely, dependably, securely, efficiently and in real-time. CPS research is expected to have significant technical, economic and societal impacts in the near future in multiple sectors including transportation systems, smart grids, energy-aware buildings, agriculture, water/sewage treatment, environmental management and manufacturing systems. A core aspect of CPS is its multidisciplinary nature requiring the teamwork, cooperation and collaboration of experts including computer scientists, hardware engineers, control experts, software engineers, network specialists, computer architects, sensor experts, electrical engineers, material engineers, and structural engineers. The award is for support for student travel to CPS Week 2010 and the First International Conference on Cyber-Physical Systems (ICCPS) to be held April 12-16, 2010 in Stockholm, SWEDEN and some start-up activities for the inaugural ICCPS. More specifically, the goals are three-fold: 1. Encourage attendance at CPS Week 2010 by students based in the US to listen to and learn from the keynote speeches, presentations, posters and demos on cutting-edge topics on cyber-physical systems. 2. Promote the robust growth of a research community in the nascent area of cyber-physical systems. 3. Support activities of the inaugural ACM/IEEE International Conference on Cyber-Physical Systems, whose aim is to become a main forum for hosting original research which targets the inter-disciplinary nature of cyber-physical systems. The specific areas of interactions across embedded systems, hybrid systems, real-time systems and sensor networks are of interest in this forum.