This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Analytical Tools for the Design and Verification of Safety Critical Control Systems
Technical Paper
2001-01-2938
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
Safety critical real-time computer systems such as digital fly-by-wire aircraft are designed to be highly reliable, able to detect and recover from faults, and fail in a safe state even in harsh environments. This paper presents an analytical tool that is being developed to enhance the design and verification of safety critical systems. The tool is used to analyze the effect of standard error recovery systems on closed-loop flight control systems. In particular, this paper develops models and analyzes the stability effect of error recovery rollback, reset, and restart systems in digital control systems due to system functional upsets induced by multiple burst waveforms (MBW’s) during a lightning flash. A simple example will be used to illustrate one use for the tool: comparison of different recovery methodologies by determining the minimum interarrival spacing between MBW’s to maintain closed-loop stability.
Recommended Content
Authors
Citation
González, O., Gray, W., and Tejada, A., "Analytical Tools for the Design and Verification of Safety Critical Control Systems," SAE Technical Paper 2001-01-2938, 2001, https://doi.org/10.4271/2001-01-2938.Also In
References
- ‘Aircraft Lightning Environment and Related Test Waveforms Standard’ 1997
- Bastani F. B. ‘Relational Programs: An Architecture for Robust Real-Time Safety-Critical Process-Control Systems,’ Annals of Software Engineering 7 5 24 1999
- Butler R. W. Carreno V. A. Di Vito B. L. Hayhurst K. Holloway C. M. Miner P. S. Lüttgen G. Munoz C. ‘NASA Langley’s Research and Technology Transfer Program in Formal Methods,’ http://shemesh.larc.nasa.gov/fm/fm-pubs-larc.html 2000
- Chandy K. Ramamoorthy C. ‘Rollback and Recovery Strategies for Computer Programs,’ IEEE Trans. Computers C-21 546 556 1972
- Costa O. L. V. Fragoso M. D. ‘Stability Results for Discrete-Time Linear Systems with Markovian Jumping Parameters,’ J. Mathematical Analysis and Applications 179 154 178 1993
- Fisher F. A. et al. Lightning Protection of Aircraft Pittsfield, MA Lightning Technologies, Inc. 1990
- González O. R. Gray W. S. Tejada A. Patilkulkarni S. ‘Stability Analysis of Electromagnetic Interference Upset Recovery Methods,’ 40 th IEEE Conference on Decision and Control Orlando, Florida 2001
- Gray W. S. González O. R. ‘Modeling Electromagnetic Disturbances in Closed-Loop Computer Controlled Flight Systems,’ Proc. 1998 American Control Conference Philadelphia, PA 359 364 1998
- Gray W. S. González O. R. Doğan M. ‘Digital Linear State Feedback Control Subject to Electromagnetic Disturbances,’ Proc. 1999 American Control Conference San Diego, CA 3500 3504 1999
- Gray W. S. González O. R. Doğan M. ‘Stochastic Perturbation Analysis of Computer Control Systems Subject to Electromagnetic Disturbances,’ Proc. 1999 Conf. Control Applications Honolulu, HI 1797 1802 1999
- Gray W. S. González O. R. Doğan M. ‘Stochastic Perturbation Models of Electromagnetic Disturbances in Closed-Loop Computer Control Flight Systems,’ Proc. 18th DASC Digital Avionics Systems Conference St. Louis, MO 1999
- Gray W. S. González O. R. Doğan M. ‘Stability Analysis of Digital Linear Flight Controllers Subject to Electromagnetic Disturbances,’ IEEE Trans, on Aerospace and Electronic Systems 4 1204 1218 2000
- Hess R. ‘Computing Platform Architectures for Robust Operation in the Presence of Lightning and Other Electromagnetic Threats,’ Proc. 16th DASC Digital Avionics Systems Conference Philadelphia, PA 4.3 9–16 1997
- Hess R. ‘Options for Aircraft Function Preservation in the Presence of Lightning,’ Proc. 1999 International Conference on Lightning and Static Electricity 1999
- Johnson B. Design and Analysis of Fault Tolerant Digital Systems Addison Wesley Publishing Co. 1989
- Hagbae K. Shin K. G. ‘Modeling of Externally-Induced/Common-Cause Faults in Fault-Tolerant Systems,’ Proc. 13th DASC Digital Avionics Systems Conference Phoenix, AZ 402 407 1994
- Lala J. Harper R. ‘Architectural Principles for Safety-Critical Real-Time Applications,’ Proceedings of the IEEE 82 1 25 40 1994
- Malekpour M. Torres W. ‘Characterization of a Recoverable Flight Control Computer System,’ Proc. IEEE International Conference on Control Applications Kohala Coast, HI August 1519 1524 1999
- Malekpour M. Torres W. ‘Characterization of a Flight Control Computer with Rollback Recovery,’ Proc. 19th DASC Digital Avionics Systems Conference Philadelphia, PA 2000
- Miner P. S. Carreno V. A. Malekpour M. Torres W. ‘A Case-study Application of RTCA DO-254: Design Assurance Guidance for Airborne Electronic Hardware,’ Proc. 19th DASC Digital Avionics Systems Conference Philadelphia, PA 2000
- Narasimhan R. Rosenkrantz D. J. Ravi S. S. ‘Early Comparison and Decision Strategies for Datapaths that Recover from Transient Faults’ IEEE Transactions on Circuits & Systems I-Fundamental Theory & Applications 44 5 435 438 1997
- Ranganathan A. Upadhyaya S. ‘Performance Evaluation of Rollback-Recovery Techniques in Computer Programs,’ IEEE Transactions on Reliability 42 220 226 1993
- Tomek L. Mainkar V. Geist R. Trivedi K. S. ‘Reliability Modeling of Life Critical, Real-Time Systems,’ Proceedings of the IEEE 82 1 108 121 1994