National CPS PI Meeting 2010
The Westin Arlington Gateway, Arlington, VA
[Meeting Invitation] [Agenda] [Guidance for Participants] [Poster Assignment] [Register for Meeting] [Hotel Reservations]
Agency briefings about research interests
Agency briefings about research interests
The ASEE Engineering Research Council held a meeting in Washington DC on March 5, 2012. There were presentations from OSTP, ASD-R&E, AFOSR, ARO, DOE, NIH, NSF, ONR, USDA about the agencies' research interests, funding levels and new opportunities including CPS. Several of the presentations had information relevant to CPS, including Dr. Reginald Brothers, Assistant Secretary of Defense for Research and Engineering; John P.
ARPA-E Open Funding Opportunity in Energy R&D
To address the challenges imposed by the rapidly evolving global energy market, ARPA-E seeks to support transformational research in all areas of energy R&D, including resource identification, extraction, transportation and use, and energy ge
NSF Solicitation: Expeditions in Computing
The far-reaching impact and rate of innovation in the computing and information disciplines has been remarkable, generating economic prosperity and enhancing the quality of life for people throughout the world. But the best is yet to come!
High-Assurance Cyber Military Systems (HACMS)
Synopsis:
The goal of the High-Assurance Cyber Military Systems (HACMS) program is to create technology for the construction of high-assurance, cyber-physical systems, where high assurance is defined to mean functionally correct and satisfying appropriate safety and security properties. Achieving this goal requires a fundamentally different approach from what the software community has taken to date. HACMS will adopt a clean-slate, formal methods–based approach that enables semi-automated code synthesis from executable, formal specifications.
Component, Context, and Manufacturing Model Library - 2 (C2M2L-2)
Synopsis:
Power Efficiency Revolution for Embedded Computing Technologies (PERFECT)
Synopsis:
The goal of the Power Efficiency Revolution for Embedded Computing Technologies (PERFECT) program is to provide the technologies and techniques to overcome the power efficiency barriers that currently constrain embedded computing systems capabilities and limit the potential of future embedded systems.
Important Dates:
Posting Date: February 3, 2012
Abstract Due Date: February 23, 2012
Proposal Due Date: April 16, 2012
NSF Announces Updated CPS Solicitation
Cyber-physical systems (CPS) are engineered systems that are built from and depend upon the synergy of computational and physical components.