Management of Test Complexity for Emerging Safety Critical Control Systems Program
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 (V&V) practices. Therefore, reducing and/or 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.
Document Details
- Document Type
- Technical Report
- Publication Date
- May 26, 2006
- Accession Number
- ADA455899
Entities
People
- Dale W. Boren
Organizations
- Lockheed Martin Aeronautics