Function Extraction: Automated Behavior Computation for Aerospace Software Verification and Certification

Abstract

The complex aerospace systems of the future will challenge the capabilities of present-day software engineering, which is reaching cost and complexity limits of development technologies evolved in the first fifty years of computing. A new science for the next fifty years is required to transform software engineering into a computational discipline capable of fast and dependable software development. This paper describes verification and certification challenges for avionics software, in particular, the need to verify behavior in all circumstances of use. The emerging technology of function extraction (FX) for automated computation of software behavior is discussed as a new technology for avionics software certification. An FX demonstration system is employed to illustrate the role of behavior computation in the avionics certification process.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2008
Accession Number
AD1133537

Entities

People

  • Luanne Burns
  • Redge Bartholomew
  • Rick Linger
  • Stacy Prowell
  • Tim Daly

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Engineered Resilient Systems
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Aeronautics
  • Assembly Languages
  • Astronautics
  • Avionics
  • Computations
  • Computer Programming
  • Computer Programs
  • Computers
  • Emerging Technology
  • Engineering
  • Equations
  • Extraction
  • Language
  • Performance Tests
  • Software Design
  • Software Development
  • Structured Programming

Fields of Study

  • Computer science
  • Engineering

Readers

  • Academic Conference Management
  • Software Engineering.
  • Systems Analysis and Design

Technology Areas

  • Space