Accession Number:

ADA582582

Title:

Survivable Software

Descriptive Note:

Final rept. 1 Jun 2009-30 Nov 2012

Corporate Author:

STATE UNIV OF NEW YORK AT STONY BROOK

Report Date:

2013-04-01

Pagination or Media Count:

11.0

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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE