Accession Number:

ADA455899

Title:

Management of Test Complexity for Emerging Safety Critical Control Systems Program

Descriptive Note:

Final rept., Jan 2003-Dec 2005

Corporate Author:

LOCKHEED MARTIN AERONAUTICS CO FORT WORTH TX

Personal Author(s):

Report Date:

2006-05-26

Pagination or Media Count:

62.0

Abstract:

Future safety-critical flight control systems will contain sophisticated software algorithms with advanced functionality to enable autonomous operations. However, significant increases in complexity and volume of critical functions will excessively challenge current Verification and Validation VV practices. Therefore, reducing andor managing the complexity of systems has a major impact upon the cost and schedule of development, verification and maintenance of current and future safety-critical flight control systems. The current research first seeks to establish and identify sources of system complexity related to the logical make up of the system. A continuous logic i.e., Logical Matrix Algebra, LMA was applied first to the entire system as a Safety Assurance Monitor SAM, and then at a functional level resulting in a Correct-by-Construction Artificial Neural Network, CCANN. The feasibility of applying these new tools was considered and conclusions drawn from an overall process view to suggest where such tools may be applied.

Subject Categories:

  • Flight Control and Instrumentation
  • Numerical Mathematics
  • Cybernetics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE