On the validation of safety critical aircraft systems, Part I: An overview of analytical & simulation methods

AIAA Guidance, Navigation, and Control Conference and Exhibit

Volumn , Issue , 2003, Pages

  Belcastro, Christine M ^a   Belcastro, Celeste M ^a  

^a NASA LANGLEY RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENT PREVENTION; AIRCRAFT; AVIATION; NASA; SOFTWARE TESTING;

AIRCRAFT SYSTEMS; ANALYSIS AND SIMULATION; AVIATION INDUSTRY; AVIATION SAFETY PROGRAM; EXPERIMENTAL METHODS; EXTENSIVE TESTING; VALIDATION PROCESS; VALIDATION TESTING;

SAFETY TESTING;

EID: 85088719943     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.2514/6.2003-5559     Document Type: Conference Paper

References (33)

1. Belcastro, Celeste M. and Belcastro, Christine M.: On the Validation of Safety Critical Aircraft Systems, Part II: An Overview of Experimental Methods. Proceedings of the AIAA Guidance, Navigation and Control Conference, Austin, Texas, 2003.
2. Belcastro, Christine M. and Chang, B-C: Uncertainty Modeling for Robustness Analysis of Failure Detection & Accommodation Systems. Proceedings of the American Control Conference, 2002.
3. Belcastro, Christine M.: "Parametric Uncertainty Modeling: An Overview". Proceedings of the American Control Conference, 1998.
4. Belcastro, Christine M. and Chang, B.-C.: "LFT Formulation for Multivariate Polynomial Problems". Proceedings of the American Control Conference, 1998.
5. Fielding, Christopher, Varga, Andras, Bennani, Samir, and Selier, Michiel (Eds.): Advanced Techniques for Clearance of Flight Control Laws. Springer-Verlag, 2002.
6. Belcastro, Christine M.: On the Numerical Formulation of Parametric Linear Fractional Transformation (LFT) Uncertainty Models for Multivariate Matrix Polynomial Problems. NASA TM-1998-206939, November 1998.
7. Magni, J.F.: Linear Fractional Representations with a Toolbox for Use with Matlab. French National Aerospace Research Establishment, ONERA Technical Report TR 240/01 DCSD, December, 2001.
8. Belcastro, Christine M., Lim, Kyong B. and Morelli, Eugene A.: "Computer-Aided Uncertainty Modeling of Nonlinear Parameter-Dependent Systems, Part I: Theoretical Overview". Proceedings of the Computer Aided Control System Design Conference, August 1999.
9. Belcastro, Christine M., Lim, Kyong B. and Morelli, Eugene A.: "Computer-Aided Uncertainty Modeling of Nonlinear Parameter-Dependent Systems, Part II: F-16 Example". Proceedings of the Computer Aided Control System Design Conference, August 1999.
10. Wu, N. Eva: Reliability of Fault Tolerant Control Systems: Part I. Proceedings of the IEEE Conference On Decision & Control, 2001.
11. Wu, N. Eva: Reliability of Fault Tolerant Control Systems: Part II. Proceedings of the IEEE Conference On Decision & Control, 2001.
12. Wu, N. Eva: Reliability Analysis for AFTIF16 SRFCS using ASSIST and SURE, Proceedings of the American Control Conference, 2002.
13. Butler, Ricky W. and White, Allan L.: SURE Reliability Analysis - Program and Mathematics. NASA TP-2764, March 1988.
14. Butler, Ricky W. and Johnson, Sally C.: Techniques for Modeling the Reliability of Fault-Tolerant Systems with the Markov State-Space Approach. NASA RP-1348, September 1995.
15. Johnson, Sally C. and Boerschlein, David P.: ASSIST User Manual. NASA TM-4592, August 1995.
16. Butler, Ricky W., WinSURE: A New Windows Interface to the SURE Program, 19th Digital Avionics Systems Conference; Oct 7-13, 2000 Philadelphia, PA.
17. Bateman, Alec, Ward, David, Monaco, Jeffrey, and Lin, Zongli: Stability Analysis for Reconfigurable Systems with Actuator Saturation. Proceedings of the American Control Conference, 2002.
18. Y.-Y. Cao, Z. Lin, and D. Ward. Antiwindup design of output tracking systems subject to actuator saturation and constant disturbance. 40th IEEE Conference On Decision & Control, pages 4651-4656, Orlando, Florida, Dec. 3-7, 2001.
19. Y.-Y. Cao, Z. Lin, and D. Ward. An antiwindup approach to enlarging domain of attraction for linear systems subject to actuator saturation. IEEE Trans. Automat. Control, 47(1):140-145, 2002.
20. Bateman, Alec, Ward, David, Lin, Zongli, and Cao, Yong-Yan: SBIR Phase II Technical Report on Analysis and Design Tools for Systems Subject to Saturation Nonlinearities. NASA Contract Number NAS1-00058, March, 2002.
21. Chang, Bor-Chin and Kwatny, Harry: Robust Control of Nonlinear and Parameter Dependent Systems. Final Report under Contract No. NAS1-20220, January 1999.
22. Hull, Jason, Ward, David G., and Zakrzewski, Radoslaw R.: Verification and Validation of Neural Networks for Safety- Critical Applications. Proceedings of the American Control Conference, 2002.
23. González, Oscar R., Gray, W. Steven, and Tejada, Arturo: Analytical Tools for the Design and Verification of Safety Critical Control Systems. International Conference on Lightning and Static Electricity, Paper No. 2001-01-2938, September, 2001.
24. González, Oscar R., Tejada, Arturo, and Gray, W. Steven: Analysis of Design Trade- Offs in the Rollback Recovery Method for Fault Tolerant Digital Control Systems. Proceedings of the American Control Conference, 2002.
25. W. S. Gray and O. R. González, "Modeling Electromagnetic Disturbances in Closed- Loop Computer Controlled Flight Systems," Proceedings of the American Control Conference, Philadelphia, Pennsylvania, 1998, pp. 359-364 (invited).
26. W. S. Gray, O. R. González and M. Dogan, "Stochastic Perturbation Models of Electromagnetic Disturbances in Closed- Loop Computer Controlled Flight Systems," 1999 Digital Avionics Systems Conference, St. Louis, Missouri, 1999, pp. 10.C.4-1-8.
27. W. S. Gray and O. R. González, "Robust Stability and Performance of a Closed-Loop Computer Control System Subject to Electromagnetic Disturbances," NASA Contractor Report NAS1-99093, NASA Langley Research Center, Hampton, Virginia, 2000.
28. W. S. Gray, O. R. González and S. Patilkulkarni, "Stability of Digital Control Systems Subject to Jump Linear Random Perturbations," Proc. 39th IEEE Conference on Decision and Control, Sydney, Australia, 2000, pp. 1154-1159.
29. W. S. Gray, O. R. González and M. Dogan, "Stability Analysis of Digital Linear Flight Controllers Subject to Electromagnetic Disturbances," IEEE Transactions on Aerospace and Electronic Systems, vol. 36, no. 4, October 2000, pp. 1204-1218.
30. O. R. González, W. S. Gray, A. Tejada and S. Patilkulkarni, "Stability Analysis of Electromagnetic Interference Upset Recovery Methods," Proc. 40th IEEE Conference on Decision and Control, Orlando, Florida, 2001, pp. 4134-4139.
31. González, Oscar R., Gray, W. Steven, and Tejada, Arturo; "Analytical Tools for the Design and Verification of Safety Critical Control Systems", International Conference on Lightning and Static Electricity, Paper No. 2001-01-2938, September, 2001.
32. González, Oscar R., Tejada, Arturo, and Gray, W. Steven: Analysis of Design Trade- Offs in the Rollback Recovery Method for Fault Tolerant Digital Control Systems. Proc. 2002 American Control Conference, Anchorage, Alaska, 2002, pp. 4801-4806.
33. Bird, R.: RASCLE Version 2.0: Design Specification, Programmer"s Guide, and User"s Guide. Baron Associates, Inc., February, 2002.