WFCD'10

Submitted by Chris vanBuskirk on

WFCD - Foundations and Applications of Component-based Design 2010 

The workshop aims to discuss recent results on component-based design with emphasis on design frameworks for real-time systems encompassing heterogeneous composition and models of computation. The focus is not only on fundamental results but also on their implementation in methods and tools and their concrete application in areas such as automotive, avionics, consumer electronics and automation. 

PECCS 2010

Submitted by Chris vanBuskirk on

The 1st International Conference on Pervasive and Embedded Computing and Communication Systems

 

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.

Submitted by Anonymous on

ARPA-E Open Funding Opportunity in Energy R&D

General Announcement

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

General Announcement

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)

General Announcement

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.

Subscribe to