Management of Test Complexity for Emerging Safety Critical Control Systems Program
Final rept., Jan 2003-Dec 2005
LOCKHEED MARTIN AERONAUTICS CO FORT WORTH TX
Pagination or Media Count:
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.
- Flight Control and Instrumentation
- Numerical Mathematics