The Big Data Interagency Working Group (BD IWG) works to facilitate and further the goals of the White House Big Data R&D Initiative.
The CPS IWG is to coordinate programs, budgets, and policy recommendations for Cyber Physical Systems (CPS) research and development (R&D).
Cyber Security and Information Assurance (CSIA) Interagency Working Group coordinates the activities of the CSIA Program Component Area.
The Health Information Technology Research and Development Interagency Working Group coordinates programs, budgets and policy recommendations for Health IT R&D.
HCI&IM focuses on information interaction, integration, and management research to develop and measure the performance of new technologies.
HCSS R&D supports development of scientific foundations and enabling software and hardware technologies for the engineering, verification and validation, assurance, and certification of complex, networked, distributed computing systems and cyber-physical systems (CPS).
The HEC IWG coordinates the activities of the High End Computing (HEC) Infrastructure and Applications (I&A) and HEC Research and Development (R&D) Program Component Areas (PCAs).
LSN members coordinate Federal agency networking R&D in leading-edge networking technologies, services, and enhanced performance.
The purpose of the SPSQ IWG is to coordinate the R&D efforts across agencies that transform the frontiers of software science and engineering and to identify R&D areas in need of development that span the science and the technology of software creation and sustainment.
Formed to ensure and maximize successful coordination and collaboration across the Federal government in the important and growing area of video and image analytics
The Wireless Spectrum R&D (WSRD) Interagency Working Group (IWG) has been formed to coordinate spectrum-related research and development activities across the Federal government.
A ‘substrate’ for dynamically defined behavior in high assurance, embedded, real-time systems
This paper proposes development of a standard ‘substrate’ for dynamically defined behavior that supports the run-time definition of completely new and previously unanticipated behavior. This stands in contrast to most embedded, hard real-time systems that only support switching between previously defined states and alternatives. The proposal supports the ability to define new behaviors both as end user defined scenarios (which have a run-time representation), and as cross cutting strategies and policies (in an aspect-oriented sense). In the context of systems that learn, it can be used to exchange experience (learned strategies and optimized scenarios). In the context of command and control systems it can be used to issue ‘orders’ corresponding to radical, and unexpected changes in mission. The approach will initially be targeted to a networked Java platform for high assurance, embedded, hard real-time systems. Support for an explicit state based run-time representation allows us to easily analyze system behavior using light weight formal methods such as model checkers. The incremental specification of new behavior allows us to explore similar incremental approaches to analysis. Potential DARPA applications include the use of the platform as a mission computer on an unmanned combat vehicle or, more generally, as a node in a highly adaptable next generation tactical Internet.
Click on a date/time to view the file as it appeared at that time.
|current||10:52, 27 December 2012||(46 KB)||Webmaster||Category:SDP|