Towards Rapid Re-Certification Using Formal Analysis

Abstract

Outline. 1. Problem Overview: Why is software (re)certification hard? What s the risk? 2. What kind of solution is needed? 3. Technical Background. 4. Approach, Running Example. Conflict Detection, Reconciliation. 5. Recertification Triggers. 6. Does it scale? 7. Future Work.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 01, 2015
Accession Number
ADA625064

Entities

People

  • Daniel Smullen
  • Travis Breaux

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Cyber
  • Ground and Sea Platforms

DTIC Thesaurus Topics

  • Abstracts
  • Acquisition
  • Data Processing
  • Destroyers
  • Detection
  • Information Exchange
  • Information Operations
  • Infrastructure
  • Language
  • Performance Tests
  • Radar
  • Security
  • Ships
  • Universities
  • Uss Zumwalt
  • Zumwalt Class

Readers

  • Political Violence and Terrorism Studies.
  • Software Engineering.