AVSI

The Aerospace Research Cooperative

Join AVSI Member Login

  • Home
  • About
    • Research
      • Intellectual Property Rights
      • AVSI Proposal Process
    • Achievements
    • People
  • Projects
    • RF Interference with Radar Altimeters
    • SAVI
    • WAIC
    • Systems Reliability
    • Shape Memory Alloy Specifications
  • News
  • Members
    • Membership Types
    • Join AVSI
  • Contact
Home / Projects / Other Projects / Improved Software Verification Methods and Support Tools

Improved Software Verification Methods and Support Tools

This project initiated a shift of software verification from a “people-intensive” and “test-centric” process to one that is more “model-based” and supported by automated tools.

Project participants

  • Worked to develop more effective model-based verification methods and algorithms for automation.
  • Worked to develop tool prototypes incorporating algorithms.
  • Worked with Tool Vendors and regulators to turn prototypes into commercial “qualifiable” tools per DO-178B/ED-12B.

Researchers defined a methodology to support the specification, verification, and certification of digital avionics systems containing components from multiple suppliers, where some components could be commercial off-the-shelf (COTS) developed for another domain that do not carry the traditional FAA pedigree.

A key element of this project was the development an Architectural Specification Language (ASL) to facilitate system design and verification in which only partial knowledge may be available about some components.

Researchers also investigated how traditional safety analysis, such as fault trees, can be integrated into the overall approach.

Project Details

AFE 32

Period of Performance:
January 1, 2003 – June 30, 2005

Subcontractor: Boeing

Cost per participant: $30,886

Total project value: $135,046

Current AVSI Projects

  • RF Interference with Radar Altimeters
  • Artificial Intelligence in Aerospace Systems
  • Wireless Avionics
  • New Materials for Aerospace Systems

AVSI
753 H.R. Bright Building
3141 TAMU
710 Ross Street
College Station, TX 77843-3141
979-845-5568
Contact AVSI

The Texas A&M University System

© 2023 AVSI