A Virtual Upgrade Validation Method for Software-Reliant Systems

Abstract

This report presents a Virtual Upgrade Validation (VUV) method to improve design quality and confidence in qualification through testing for military systems impacted by computer platform changes. This approach uses architecture-centric, model-based analysis to identify system-level problems early in the upgrade process to complement established test qualification techniques. For purposes of this report, the authors focus on changes to the computer platform consisting of processors, network, operating system, and runtime infrastructure. They describe the VUV method steps and introduce the Architectural Dependencies Catalog that provides guidance for modelers on which aspects of the system to model and how to model them. The report also provides a history and overview of the Architecture Analysis and Design Language standard, which is used with the VUV method.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 2012
Accession Number
ADA585501

Entities

People

  • David P. Gluch
  • Dio De Niz
  • Lutz Wrage
  • Peter Feiler

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Cyber
  • Electronic Warfare
  • Engineered Resilient Systems
  • Sensors
  • Space
  • Weapons Technologies

DTIC Thesaurus Topics

  • Application Software
  • Communication Channels
  • Computer Programming
  • Computer Programs
  • Computers
  • Congress
  • Control Systems
  • Control Systems Engineering
  • Data Transmission
  • Digital Communications
  • Embedded Systems
  • Engineers
  • Failure Mode And Effect Analysis
  • Network Science
  • Operating Systems
  • Software Design
  • Software Development

Fields of Study

  • Computer science
  • Engineering

Readers

  • Molecular Photonics/Laser Physics
  • Software Engineering.