Taxonomic Search: Call for Proposal
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 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.
Full Call for Proposal for the EU ICT Program in 2011 and 2012. Pages 124-126 provide overview of objectives with budget figures and deadlines. CPS related areas are in the following chapters: 1.3; 1.6; 2.1; 3.3; 3.4; 6.1; 6.8; 7.1; 7.4; 9.7; 9.10
- 927.52 KB
- 84 views
- 266 downloads