Survivable Software

Abstract

The Survivable Software framework (SSW) developed under award AFOSR FA9550-09-1-0481, uses a synergistic combination of (1) compiler-assisted, aspect-oriented program instrumentation, (2) software monitoring with overhead control, (3) runtime verification with state estimation, and (4) adaptive runtime verification to closely monitor high-criticality monitor instances, thereby increasing the probability of violation detection and concomitantly allowing for appropriate repair and recovery actions to be initiated. Applications include online and offline analysis of operating system kernel-level concurrency, and the analysis of NASA space-mission software. This final report discusses each of these key components of the SSW framework, and highlights project accomplishments on a year-by-year basis, including the production of three PhD dissertations.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 2013
Accession Number
ADA582582

Entities

People

  • Erez Zadok
  • Klaus Havelund
  • Radu Grosu
  • Scott A. Smolka
  • Scott D. Stoller

Organizations

  • State University of New York

Tags

Communities of Interest

  • Energy and Power Technologies
  • Materials and Manufacturing Processes
  • Space

DTIC Thesaurus Topics

  • Air Force Research Laboratories
  • Compilers
  • Computer Programming
  • Computer Programs
  • Control Systems
  • Control Theory
  • Hidden Markov Models
  • Language
  • Machine Learning
  • Markov Models
  • Models
  • Observation
  • Operating Systems
  • Probabilistic Models
  • Probability
  • Probability Distributions
  • Websites

Fields of Study

  • Computer science
  • Engineering

Readers

  • Parallel and Distributed Computing.
  • Research Science/Academic Research
  • Software Engineering.

Technology Areas

  • Space