ES Diversity
This workshop, which will be held at Embedded Systems Week 2010, will serve as a hothouse for mentoring all varieties of underrepresented minorities in embedded computing and CPS.
This workshop, which will be held at Embedded Systems Week 2010, will serve as a hothouse for mentoring all varieties of underrepresented minorities in embedded computing and CPS.
The 31st IEEE Real-Time Systems Symposium
The Westin Arlington Gateway, Arlington, VA
[Meeting Invitation] [Agenda] [Guidance for Participants] [Poster Assignment] [Register for Meeting] [Hotel Reservations]
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.
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
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!
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.