Abstract
This NSF award supports a planning workshop on Innovation in Medical Cyber-Physical Systems. This activity arises from an interagency exploration of emerging CPS research directions. The meeting will develop plans for further assessment by the CPS community of biomedical research needs and opportunities. The meeting and subsequent community-wide assessment are conducted in the context of the interagency High Confidence Software and Systems Coordinating Group.
Performance Period: 08/15/2012 - 07/31/2013
Institution: Massachusetts General Hospital
Sponsor: National Science Foundation
Award Number: 1248083
Abstract
This proposed task provides the support for a community meeting by the Federal agencies, whose mission is to advance the science and technology of cyber security, with leading experts and researchers in academia, industry, and government at the Gaylord National Hotel and Convention Center, National Harbor, Maryland. This meeting will focus on recent progress in developing the scientific foundation for the design and analysis of trusted systems.
Over 150 leaders from government, industry, and the academic community met to discuss new and ongoing programs in security science being pursued by U.S. government research sponsors, and an exciting new Cybersecurity Research Institute recently established in the U.K. The presentations included work in a broad range of disciplines including mathematics, computer science, behavioral science, economics, physics, and biology. The meeting introduced a new Science of Security Virtual Organization website designed to promote research collaboration and community development. NSA's Director of Research concluded the meeting with the announcement of a Cybersecurity Science Paper Competition.
Chris vanBuskirk
A Research Project Manager at Vanderbilt University’s Institute for Software Integrated Systems (http://www.isis.vanderbilt.edu) since 1999, Chris’ general professional interests lie in the practical application of novel, model-based formalisms and design methodologies to complex, real-world, human-in-the-loop, science/engineering activities. After completing his B.S. in Computer Science and an M.S. in Engineering at The University of Mississippi, Chris has pursued a career in R&D at organizations such as Cray Research Inc., UMiss Medical Center, The National Cancer Institute's Biomedical Supercomputing Center, and The Mind/Brain Institute at Johns Hopkins University. Currently, Mr. vanBuskirk serves as Executive Director for the NSF’s CPS Virtual Organization (http://cps-vo.org/), which actively supports the formation and development of distributed research communities required by the demanding challenges of the massively multi-disciplinary cyber-physical systems domain.
Performance Period: 08/15/2012 - 07/31/2013
Institution: Vanderbilt University
Sponsor: National Science Foundation
Award Number: 1247384
Project URL
Project URL
Abstract
This award supports the third annual NSF Cyber-Physical Systems (CPS) program's Principal Investigator meeting, Gaylord National Hotel, National Harbor, Maryland, October 3-5, 2012. This working meeting enables increased NSF interaction with projects, visibility into progress of the CPS research portfolio, and information exchange and interaction across CPS research projects. The PI meeting also provides an opportunity for interaction among CPS research community and industrial participants, international speakers, and officials from U.S. government agencies.
Janos Sztipanovits
Dr. Janos Sztipanovits is currently the E. Bronson Ingram Distinguished Professor of Engineering at Vanderbilt University. He is founding director of the Institute for Software Integrated Systems (ISIS). His current research interest includes the foundation and applications of Model-Integrated Computing for the design of Cyber Physical Systems. His other research contributions include structurally adaptive systems, autonomous systems, design space exploration and systems-security co-design technology. He served as program manager and acting deputy director of DARPA/ITO between 1999 and 2002 and he was member of the US Air Force Scientific Advisory Board between 2006-2010. He was founding chair of the ACM Special Interest Group on Embedded Software (SIGBED). Dr. Sztipanovits was elected Fellow of the IEEE in 2000 and external member of the Hungarian Academy of Sciences in 2010. He graduated (Summa Cum Laude) from the Technical University of Budapest in 1970 and received his doctorate from the Hungarian Academy of Sciences in 1980.
Performance Period: 10/01/2012 - 09/30/2014
Institution: Vanderbilt University
Sponsor: National Science Foundation
Award Number: 1241676
Abstract
This Cyber-Physical Systems project designs and evaluates a foundational information substrate for efficient, agile, model-driven, human-centered building systems. The approach is to develop software-defined buildings, to shatter existing stovepipe architectures, dramatically reduce the effort to add new functions and applications without forklift upgrades, and expand communications and control capabilities beyond a single stand-alone building to enable groups of buildings to behave cooperatively and in cooperation with the energy grid. We investigate how such Software-Defined Buildings can be founded on a flexible, multi-service and open Building Integrated Operating System (BIOS) that allows applications to run reliably in safe, sandboxed environments. It supports sensor and actuator access, access management, metadata, archiving, and discovery, as well as multiple simultaneously executing programs. Building operators retain supervisory management, controlling application separation physically (access different controls), temporally (change controls at different times), informationally (what information leaves the building), and logically (what actions or sequences thereof are allowable). We construct, deploy, and demonstrate the capabilities of a prototype BIOS in the context of university, residential buildings and closely related industrial processes.
Making buildings more efficient, while keeping occupants comfortable, productive, and healthy, is critical to our economy and health. Transforming buildings into agile, human centered cyber-physical systems eliminates waste, while allowing them to be a proactive resource on the electric grid with zero emission renewable supplies. And by providing greater value from the same physical plant, the SDB approach can move beyond cost-to-build and cost-to-operate metrics to broader return-on-investment for new extendable future-proof technologies.
Performance Period: 10/01/2012 - 09/30/2016
Institution: University of California at Berkeley
Sponsor: National Science Foundation
Award Number: 1239552
Project URL
Project URL
Abstract
This project aims to achieve key technology, infrastructure, and regulatory science advances for next generation medical systems based on the concept of medical application platforms (MAPs). A MAP is a safety/security-critical real-time computing platform for: (a) integrating heterogeneous devices and medical IT systems, (b) hosting application programs ("apps") that provide medical utility through the ability to both acquire information and update/control integrated devices, IT systems, and displays. The project will develop formal architectural and behavioral specification languages for defining MAPs, with a focus on techniques that enable compositional reasoning about MAP component interoperability and safety. These formal languages will include an extensible property language to enable the specification of real-time, quality-of-service, and attributes specific to medical contexts that can be leveraged by code generation, testing, and verification tools.
The project will work closely with a synergistic team of clinicians, device industry partners, regulators, and medical device interoperability and safety standard organizations to develop an open source MAP innovation platform to enable key stakeholders within the nation's health care ecosphere to identify, prototype, and evaluate solutions to key technology and regulatory challenges that must be overcome to develop a commodity market of regulated MAP components. Because MAPs provide pre-built certified infrastructure and building blocks for rapidly developing multi-device medical applications, this research has the potential to usher in a new paradigm of medical system that significantly increases the pace of innovation, lowers development costs, enables new functionality by aggregating multiple devices into a system of systems, and achieves greater system safety.
Performance Period: 10/01/2012 - 09/30/2016
Institution: Kansas State University
Sponsor: National Science Foundation
Award Number: 1239543
Abstract
This project's objective is to enable assertion-driven development and debugging of cyber-physical systems (CPS), in which required conditions are formalized as part of the design. In contrast with traditional uses of assertions in software engineering, CPS demand a tight coupling of the cyber with the physical, including in system validation. This project uses mathematical models of key physical attributes to guide creation of assertions, to identify inconsistent or infeasible assertions, and to localize potential causes for CPS failures. The goal is to produce methods and tools that use physical models to guide assertion-based verification of cyber-physical systems.
An assertion language is being developed that is founded in mathematical logic while providing the familiarity of commonly used programming languages. This foundation enables new automated debugging techniques for CPS. By leveraging models that encode laws of physics and an automated decision procedure, the techniques being developed help identify causes of CPS failures by distinguishing inconsistent or infeasible physical states from valid ones. This model-based approach incorporates means to assess these physical states using both probabilistic and non-probabilistic measures.
Two safety-critical applications guide the research and demonstrate the impact on the development of CPS: coordinated control of autonomous vehicles and monitoring and control of left-ventricular assist devices (LVADs). The focus on these safety-critical applications are motivational for recruiting and educating engineering students who have high expectations for how their lives should be enabled by computing advances. Further, this research advances methods needed to validate safe and effective CPS, promoting the public's confidence in their application to safety-critical systems.
Performance Period: 09/01/2013 - 08/31/2017
Institution: University of Texas at Austin
Sponsor: National Science Foundation
Award Number: 1239498
Abstract
Cyber physical systems (CPSs) are merging into major mobile systems of our society, such as public transportation, supply chains, and taxi networks. Past researchers have accumulated significant knowledge for designing cyber physical systems, such as for military surveillance, infrastructure protection, scientific exploration, and smart environments, but primarily in relatively stationary settings, i.e., where spatial and mobility diversity is limited. Differently, mobile CPSs interact with phenomena of interest at different locations and environments, and where the context information (e.g., network availability and connectivity) about these physical locations might not be available. This unique feature calls for new solutions to seamlessly integrate mobile computing with the physical world, including dynamic access to multiple wireless technologies. The required solutions are addressed by (i) creating a network control architecture based on novel predictive hierarchical control and that accounts for characteristics of wireless communication, (ii) developing formal network control models based on in-situ network system identification and cross-layer optimization, and (iii) designing and implementing a reference implementation on a small scale wireless and vehicular test-bed based on law enforcement vehicles.
The results can improve all mobile transportation systems such as future taxi control and dispatch systems. In this application advantages are: (i) reducing time for drivers to find customers; (ii) reducing time for passengers to wait; (iii) avoiding and preventing traffic congestion; (iv) reducing gas consumption and operating cost; (v) improving driver and vehicle safety, and (vi) enforcing municipal regulation. Class modules developed on mobile computing and CPS will be used at the four participating Universities and then be made available via the Web.
Performance Period: 10/01/2012 - 09/30/2016
Institution: University of Virginia Main Campus
Sponsor: National Science Foundation
Award Number: 1239483
Abstract
This project designs algorithms for the integration of plug-in hybrid electric vehicles (PEVs) into the power grid. Specifically, the project will formulate and solve optimization problems critical to various entities in the PEV ecosystem -- PEV owners, commercial charging station owners, aggregators, and distribution companies -- at the distribution / retail level. Charging at both commercial charging stations and at residences will be considered, for both the case when PEVs only function as loads, and the case when they can also function as sources, equipped with vehicle-to-home (V2H) or vehicle-to-grid (V2G) energy reinjection capability. The focus of the project is on distributed decision making by various individual players to achieve analytical system-level performance guarantees.
Electrification of the transportation market offers revenue growth for utility companies and automobile manufacturers, lower operational costs for consumers, and benefits to the environment. By addressing problems that will arise as PEVs impose extra load on the grid, and by solving challenges that currently impede the use of PEVs as distributed storage resources, this research will directly impact the society. The design principles gained will also be applicable to other cyber-physical infrastructural systems. A close collaboration with industrial partners will ground the research in real problems and ensure quick dissemination of results to the marketplace. A strong educational component will integrate the proposed research into the classroom to allow better training of both undergraduate and graduate students. The details of the project will be provided at http://ee.nd.edu/faculty/vgupta/research/funding/cps_pev.html
Performance Period: 10/01/2012 - 09/30/2016
Institution: University of Washington
Sponsor: National Science Foundation
Award Number: 1239408
Project URL
Abstract
This project demonstrates the synergistic use of a cyber-physical infrastructure consisting of smart-phone devices; cloud computing, wireless communication, and intelligent transportation systems to manage vehicles in the complex urban network -- through the use of traffic controls, route advisories and road pricing -- to jointly optimize drivers' mobility and the sustainability goals of reducing energy usage and improving air quality. The system developed, MIDAS-CPS, proactively manages the interacting traffic demand and the available transportation supply. A key element of MIDAS-CPS is the data collection and display device PICT that collects each participating driver's vehicle position, forward images from the vehicle's dashboard, and communication time stamps, and then displays visualizations of predicted queues ahead, relevant road prices, and route advisories.
Given the increasing congestion in most of the urban areas, and the rising costs of constructing traffic control facilities and implementing highway hardware, MIDAS-CPS could revolutionize the way traffic is managed on the urban network since all computing is done via clouds and the drivers instantly get in-vehicle advisories with graphical visualizations of predicted conditions. It is anticipated this would lead to improved road safety and lesser drive stress, besides the designed benefits on the environment, energy consumption, congestion mitigation, and driver mobility. This multidisciplinary project is at the cutting edge in several areas: real-time image processing, real-time traffic prediction and supply/demand management, and cloud computing. Its educational impacts include enhancements of curricula and laboratory experiences at participating universities, workforce development, and student diversity.
Performance Period: 10/01/2012 - 09/30/2016
Institution: Arizona State University
Sponsor: National Science Foundation
Award Number: 1239396
Project URL
Project URL
Abstract
This project demonstrates the synergistic use of a cyber-physical infrastructure consisting of smart-phone devices; cloud computing, wireless communication, and intelligent transportation systems to manage vehicles in the complex urban network ? through the use of traffic controls, route advisories and road pricing ? to jointly optimize drivers? mobility and the sustainability goals of reducing energy usage and improving air quality. The system developed, MIDAS-CPS, proactively manages the interacting traffic demand and the available transportation supply. A key element of MIDAS-CPS is the data collection and display device PICT that collects each participating driver?s vehicle position, forward images from the vehicle?s dashboard, and communication time stamps, and then displays visualizations of predicted queues ahead, relevant road prices, and route advisories.
Given the increasing congestion in most of the urban areas, and the rising costs of constructing traffic control facilities and implementing highway hardware, MIDAS-CPS could revolutionize the way traffic is managed on the urban network since all computing is done via clouds and the drivers instantly get in-vehicle advisories with graphical visualizations of predicted conditions. It is anticipated this would lead to improved road safety and lesser drive stress, besides the designed benefits on the environment, energy consumption, congestion mitigation, and driver mobility. This multidisciplinary project is at the cutting edge in several areas: real-time image processing, real-time traffic prediction and supply/demand management, and cloud computing. Its educational impacts include enhancements of curricula and laboratory experiences at participating universities, workforce development, and student diversity. Additional information on the project is available at http://midas-cps.mobicloud.asu.edu/.
Performance Period: 10/01/2012 - 09/30/2016
Institution: University of Florida
Sponsor: National Science Foundation
Award Number: 1239364
Project URL
Project URL