Model-Based Verification: A Technology for Dependable System Upgrade

Abstract

This is a preliminary report on the technological foundations of model-based verification for engineering software system upgrades. It describes the historical background and technical foundations for the approach and begins to provide a basis for the transition of model-based verification into practice. Critical technical and procedural issues that have been or are being addressed to ensure successful transition are examined. The report is aimed at providing technical insight and understanding for software management and engineering personnel on this emerging technology for verification of software system upgrades.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 1998
Accession Number
ADA354756

Entities

People

  • Charles Weinstock
  • David P. Gluch

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • C4I
  • Engineered Resilient Systems
  • Human Systems
  • Space

DTIC Thesaurus Topics

  • Communications Protocols
  • Complex Systems
  • Computer Programming
  • Computers
  • Debugging
  • Department Of Defense
  • Digital Communications
  • Electronic Mail
  • Engineering
  • Engineers
  • Language
  • New York
  • Personnel Management
  • Programming Languages
  • Software Development
  • Verification
  • Websites

Fields of Study

  • Computer science
  • Engineering

Readers

  • Software Engineering.
  • Systems Analysis and Design