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.
Component Technologies and Fundamental Research in Interoperability
Michael W. Mislove1 Joy N. Reed1
Tulane University Armstrong Atlantic State University
White Paper submitted to Workshop for New Visions for Software Design and Productivity: Research and Applications
The complexity of the software infrastructure of the information age is a significant issue affecting the security and economic viability of the U.S. Despite being of fundamental importance to the proper functioning of so much of our everyday life, these complex systems often exhibit bugs that cause system crashes and vulnerabilities to cyber attacks, such as Internet viruses and worms. As ever more complex systems are adopted for use in safety critical applications, it is important to seek methodologies that can assure these systems function as intended, and are invulnerable to interference from hackers. Formal methods have long been viewed as a promising approach to providing such technologies, but the complexities of industrial-strength systems have proven too much for the homogeneous approach most often associated with formal methods analysis. In this white paper we outline an alternative, heterogeneous approach which seeks to apply formal methods in a component-wise fashion that combines varying approaches. We motivate this approach with an example that includes a formal analysis of an event-based system, combined with a similar analysis for a state-based system. Our goal is to devise a wide range of component methods that can be applied where appropriate, and combined under the umbrella an overall formal analysis system.
Click on a date/time to view the file as it appeared at that time.
|current||11:02, 27 December 2012||(81 KB)||Webmaster||Category:SDP|