Software and Systems

Abstract

BRIEF DESCRIPTION OF PORTFOLIO: Enable quantifiable performance evaluation of critical software systems. Manage software environments in order to preserve vital mission functions. Comprehensively understand distributed effects in large software infrastructures to predict global system failures. LIST SUB-AREAS IN PORTFOLIO: Models for Composeable Dynamic Software. Dynamic Formal Analysis and Verification. Online Assessment and Repair of Failure.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 05, 2012
Accession Number
ADA563336

Entities

People

  • Robert J. Bonneau

Organizations

  • Air Force Research Laboratory

Tags

Communities of Interest

  • Autonomy
  • Cyber
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Air Force
  • Air Force Research Laboratories
  • Automata Theory
  • Computational Processes
  • Computer Science
  • Contracts
  • Data Analysis
  • Failure Mode And Effect Analysis
  • Human Systems Integration
  • Human-Machine Interaction
  • Human-Machine Systems
  • Human-Robot Interaction
  • Language
  • Military Research
  • Parallel Computing
  • Parallel Processing
  • Software Testing

Fields of Study

  • Computer science
  • Engineering

Readers

  • Enterprise Information Systems Architecture and Joint Command Capability Interoperability Support.
  • Instructional Design and Training Evaluation.
  • Systems Analysis and Design