Validation and Verification of Future Integrated Safety-Critical Systems Operating under Off-Nominal Conditions

Loss of control remains one of the largest contributors to aircraft fatal accidents worldwide. Aircraft loss-of-control accidents are highly complex in that they can result from numerous causal and contributing factors acting alone or (more often) in combination. Hence, there is no single intervention strategy to prevent these accidents and reducing them will require a holistic integrated intervention capability. Future onboard integrated system technologies developed for preventing loss of vehicle control accidents must be able to assure safe operation under the associated off-nominal conditions. The transition of these technologies into the commercial fleet will require their extensive validation and verification (V and V) and ultimate certification. The V and V of complex integrated systems poses major nontrivial technical challenges particularly for safety-critical operation under highly off-nominal conditions associated with aircraft loss-of-control events. This paper summarizes the V and V problem and presents a proposed process that could be applied to complex integrated safety-critical systems developed for preventing aircraft loss-of-control accidents. A summary of recent research accomplishments in this effort is also provided.

[1]  Zongli Lin,et al.  An analysis and design method for linear systems under nested saturation , 2003, Syst. Control. Lett..

[2]  Austin M. Murch.  A Flight Control System Architecture for the NASA AirSTAR Flight Test Infrastructure , 2008 .

[3]  Christine M. Belcastro,et al.  Future Integrated Systems Concept for Preventing Aircraft Loss-of-Control Accidents , 2010 .

[4]  John V. Foster,et al.  Defining Commercial Transport Loss-of-Control: A Quantitative Approach , 2004 .

[5]  Christine M. Belcastro,et al.  Distributed detection with data fusion for malfunction detection and isolation in fault tolerant flight control computers , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[6]  David G. Ward,et al.  Stability analysis for reconfigurable systems with actuator saturation , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[7]  Luis G. Crespo,et al.  Reliability-based analysis and design via failure domain bounding , 2009 .

[8]  Arturo Tejada,et al.  Stability of digital control systems implemented in error-recoverable computers , 2008, Int. J. Control.

[9]  Christine M. Belcastro,et al.  Modeling Projectile Damage in Transport Aircraft Wing Structures , 2006 .

[10]  Eugene A. Morelli,et al.  Practical Application of a Subscale Transport Aircraft for Flight Research in Control Upset and Failure Conditions , 2008 .

[11]  Pramod K. Varshney,et al.  Distributed detection with data fusion for aircraft flight control computer malfunction monitoring , 2005 .

[12]  Peter Seiler,et al.  A Gain-Based Lower Bound Algorithm for Real and Mixed μ Problems , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[13]  Sandra V. Koppen,et al.  Reverberation Chamber Uniformity Validation and Radiated Susceptibility Test Procedures for the NASA High Intensity Radiated Fields Laboratory , 2010 .

[14]  N. E. Wu.  Reliability analysis for AFTI-F16 SRFCS using ASSIST and SURE , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[15]  N. Eva Wu,et al.  Control reconfigurability of linear time-invariant systems , 2000, Autom..

[16]  Jean-Etienne T. Dongmo,et al.  Aircraft Accident Prevention: Loss-of-Control Analysis , 2009 .

[17]  Klaus Schilling,et al.  Practical Application of , 2006 .

[18]  N. E. Wu.  Reliability of fault tolerant control systems: Part II , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[19]  Ufuk Topcu,et al.  Simulation-aided reachability and local gain analysis for nonlinear dynamical systems , 2008, 2008 47th IEEE Conference on Decision and Control.

[20]  T. Krishnamurthy,et al.  Equivalent Plate Analysis of Aircraft Wing with Discrete Source Damage , 2006 .

[21]  T. Krishnamurthy,et al.  Static and Dynamic Structural Response of an Aircraft Wing with Damage Using Equivalent Plate Analysis , 2008 .

[22]  Giuliano Allegri,et al.  48th AIAA/ASME/ASCE/AHS/ASC Structures, Structural Dynamics and Materials Conference, Honolulu, USA , 2007 .

[23]  Christine Belcastro,et al.  On the Validation of Safety Critical Aircraft Systems, Part II: An Overview of Experimental Methods , 2003 .

[24]  N. Eva Wu,et al.  Coverage in fault-tolerant control , 2004, Autom..

[25]  Christine M. Belcastro,et al.  Ensuring control integrity of critical systems subjected to electromagnetic disturbances: problem overview , 1998, Proceedings of the 1998 American Control Conference. ACC (IEEE Cat. No.98CH36207).

[26]  Edward H. Glaessgen,et al.  Recent Advances in Durability and Damage Tolerance Methodology at NASA Langley Research Center , 2007 .

[27]  John V. Foster,et al.  Simulation Study of a Commercial Transport Airplane During Stall and Post-Stall Flight , 2004 .

[28]  Christine M. Belcastro,et al.  Aircraft Loss-of-Control Accident Analysis , 2010 .

[29]  Jong-Yeob Shin,et al.  Closed-Loop Evaluation of an Integrated Failure Identification and Fault Tolerant Control System for a Transport Aircraft , 2006 .

[30]  Jeffrey S. Hill,et al.  Airborne Subscale Transport Aircraft Research Testbed: Aircraft Model Development , 2005 .

[31]  John V. Foster,et al.  Simulation Modeling for Off-Nominal Conditions - Where Are We Today? , 2010 .

[32]  R. A. Williams,et al.  The NASA High Intensity Radiated Fields Laboratory , 1997, 16th DASC. AIAA/IEEE Digital Avionics Systems Conference. Reflections to the Future. Proceedings.

[33]  Peter J Seiler,et al.  Applications of Linear and Nonlinear Robustness Analysis Techniques to the F/A-18 Flight Control Laws , 2009 .

[34]  N. Eva Wu.  Reliability of Fault Tolerant Control Systems: Part II 1 , .

[35]  John V. Foster,et al.  Dynamics Modeling and Simulation of Large Transport Airplanes in Upset Conditions , 2005 .

[36]  Christine M. Belcastro.  Parametric uncertainty modeling: an overview , 1998, Proceedings of the 1998 American Control Conference. ACC (IEEE Cat. No.98CH36207).

[37]  Eugene A. Morelli,et al.  Aircraft system identification : theory and practice , 2006 .

[38]  Ufuk Topcu,et al.  Local stability analysis using simulations and sum-of-squares programming , 2008, Autom..

[39]  Gary J. Balas,et al.  Flight Test Evaluation of a Run-time Stability Margin Estimation Tool , 2009 .

[40]  Roger M. Bailey,et al.  Experimental Validation: Subscale Aircraft Ground Facilities and Integrated Test Capability , 2005 .

[41]  Rui Wang,et al.  A performance model for a distributed flight control system subject to random upsets , 2008, 2008 IEEE International Conference on Control Applications.

[42]  Zongli Lin,et al.  An analysis and design method for discrete-time linear systems under nested saturation , 2002, IEEE Trans. Autom. Control..

[43]  C.M. Belcastro,et al.  LFT formulation for multivariate polynomial problems , 1998, Proceedings of the 1998 American Control Conference. ACC (IEEE Cat. No.98CH36207).

[44]  Ufuk Topcu,et al.  Local Stability Analysis for Uncertain Nonlinear Systems , 2009, IEEE Transactions on Automatic Control.

[45]  Ufuk Topcu,et al.  Parameter-Dependent Lyapunov Functions for Linear Systems With Constant Uncertainties , 2009, IEEE Transactions on Automatic Control.

[46]  Jean-Etienne T. Dongmo,et al.  Loss-of-Control: Perspectives on Flight Dynamics and Control of Impaired Aircraft , 2010 .

[47]  Ufuk Topcu,et al.  Robust Region-of-Attraction Estimation , 2010, IEEE Transactions on Automatic Control.

[48]  John V. Foster,et al.  Wind-Tunnel Investigation of Commercial Transport Aircraft Aerodynamics at Extreme Flight Conditions , 2002 .

[49]  David G. Ward,et al.  Robust/Worst-Case Analysis and Simulation Tools , 2005 .

[50]  A. Packard,et al.  Local stability analysis for uncertain nonlinear systems using a branch-and-bound algorithm , 2008, 2008 American Control Conference.

[51]  N. Eva Wu,et al.  Reliability-Based Modeling & Analysis of Fault-Tolerant Flight Control Systems , 2005 .

[52]  Jong-Yeob Shin,et al.  Robustness Analysis and Reliable Flight Regime Estimation of an Integrated Resilent Control System for A Transport Aircraft , 2008 .

[53]  C. M. Belcastro,et al.  Computer-aided uncertainty modeling of nonlinear parameter-dependent systems. I. Theoretical overview , 1999, Proceedings of the 1999 IEEE International Symposium on Computer Aided Control System Design (Cat. No.99TH8404).

[54]  Zongli Lin,et al.  Decentralised state feedback design for large-scale linear systems subject to input saturation , 2010 .

[55]  Christine M. Belcastro,et al.  Computer-Aided Uncertainty Modeling of Nonlinear Parameter-Dependent Systems , Part 11 : F-16 Example , 2004 .

[56]  Ufuk Topcu,et al.  Analytical Validation Tools for Safety Critical Systems , 2009 .

[57]  Luis G. Crespo,et al.  Dimensionality reduction for uncertain dynamic systems , 2009 .

[58]  Jong-Yeob Shin,et al.  Uncertainty Modeling for Robustness Analysis of Aircraft Control Upset Prevention and Recovery Systems , 2005 .

[59]  Celeste Belcastro,et al.  On the Validation of Safety Critical Aircraft Systems, Part I: An Overview of Analytical & Simulation Methods , 2003 .

[60]  Christine M. Belcastro,et al.  Uncertainty modeling for robustness analysis of failure detection and accommodation systems , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[61]  K. B. Lim,et al.  Computer-aided uncertainty modeling of nonlinear parameter-dependent systems. II. F-I6 example , 1999, Proceedings of the 1999 IEEE International Symposium on Computer Aided Control System Design (Cat. No.99TH8404).

[62]  H. Kwatny,et al.  Constructing linear families from parameter-dependent nonlinear dynamics , 1998, IEEE Trans. Autom. Control..

[63]  Thiagarajan Krishnamurthy,et al.  Frequency Response of an Aircraft Wing with Discrete Source Damage Using Equivalent Plate Analysis , 2007 .

[64]  Sally A. Viken,et al.  CFD Assessment of Aerodynamic Degradation of a Subsonic Transport Due to Airframe Damage , 2010 .

[65]  N. Eva Wu.  Reliability of fault tolerant control systems: Part I , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[66]  D. Ward,et al.  Verification and validation of neural networks for safety-critical applications , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[67]  John V. Foster,et al.  Simulation Study of Flap Effects on a Commercial Transport Airplane in Upset Conditions , 2005 .

[68]  Thomas L. Jordan,et al.  NASA Langley's AirSTAR Testbed: A Subscale Flight Test Capability for Flight Dynamics and Control System Experiments , 2008 .

[69]  Rui Wang,et al.  Tracking performance analysis of a distributed recoverable Boeing 747 flight control system subject to digital upsets , 2010, Proceedings of the 2010 American Control Conference.

[70]  Ufuk Topcu,et al.  Stability region estimation for systems with unmodeled dynamics , 2009, 2009 European Control Conference (ECC).