Critical Code: Software Producibility for Defense

Abstract

Practice Enhance mission capability, agility, assurance, linking: Enable incremental iterative development at arms length, Process and measurement rethinking the practice, Enable architecture leadership, interlinking, flexibility, Architecture architecture strategy, Enable mission assurance at scale, with rich supply chains, Assurance and security evidence-based and preventive. Research Promote game-changers: Architecture modeling and architectural analysis, Validation, verification, and analysis of design and code, Process support and economic models for assurance, Requirements, Language, modeling, code, and tools, Cyber-physical systems, Human-system interaction. Leadership -- Never relinguish the innovation lead. Recognize the unbounded ness of software. Stay ahead in assurance. Sustain innovation and ecosystem lead.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 26, 2012
Accession Number
AD1014707

Entities

People

  • Enita Williams
  • Jon Eisenberg
  • William Scherlis

Organizations

  • National Research Council

Tags

Communities of Interest

  • Cyber
  • Engineered Resilient Systems

DTIC Thesaurus Topics

  • Computer Programming
  • Computer Science
  • Control Systems
  • Cyber-Physical Systems
  • Economic Models
  • Engineering
  • Geography
  • Human-Computer Interaction
  • Infrastructure
  • Resilience
  • Software Assurance
  • Software Design
  • Software Development
  • Supply Chain
  • Systems Engineering
  • Systems Management
  • Test And Evaluation

Fields of Study

  • Computer science

Readers

  • Software Engineering.
  • Systems Analysis and Design

Technology Areas

  • Cyber