Analytical tools for the design and verification of safety critical control systems

SAE Technical Papers

Volumn , Issue , 2001, Pages

  González, Oscar R ^a   Gray, W Steven ^a   Tejada, Arturo ^a  

^a Old Dominion University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CLOSED LOOP CONTROL SYSTEMS; DIGITAL CONTROL SYSTEMS; LIGHTNING; LIGHTNING PROTECTION; REAL TIME SYSTEMS; RECOVERY; SAFETY ENGINEERING; STATIC ELECTRICITY;

ANALYTICAL TOOL; CLOSED LOOP STABILITY; HARSH ENVIRONMENT; LIGHTNING FLASHES; REAL-TIME COMPUTER SYSTEMS; SAFETY CRITICAL SYSTEMS; SAFETY-CRITICAL CONTROL SYSTEMS; STABILITY EFFECTS;

FLIGHT CONTROL SYSTEMS;

EID: 85072465315     PISSN: 01487191     EISSN: 26883627     Source Type: Journal    
DOI: 10.4271/2001-01-2938     Document Type: Conference Paper

References (23)

1. 'Aircraft Lightning Environment and Related Test Waveforms Standard' Report of EUROCAE WG-31 and SAE Committee AE4L, 1997.
2. Bastani F. B., 'Relational Programs: An Architecture for Robust Real-Time Safety-Critical Process-Control Systems,' Annals of Software Engineering, Vol. 7, pp. 5-24, 1999.
3. Butler R. W., Carreno V. A., Di Vito B. L., Hayhurst K., Holloway C. M., Miner P. S., Lüttgen G., and Munoz C., 'NASA Langley's Research and Technology Transfer Program in Formal Methods,' Draft, http://shemesh.larc.nasa. gov/fm/fm-pubs-larc.html, 2000.
4. Chandy K., and Ramamoorthy C., 'Rollback and Recovery Strategies for Computer Programs,' IEEE Trans. Computers, Vol. C-21, pp. 546-556, 1972.
5. Costa O. L. V., and Fragoso M. D., 'Stability Results for Discrete-Time Linear Systems with Markovian Jumping Parameters,' J. Mathematical Analysis and Applications, Vol. 179, pp. 154-178, 1993.
6. Fisher F. A. et al., Lightning Protection of Aircraft, Pittsfield, MA: Lightning Technologies, Inc., 1990.
7. th IEEE Conference on Decision and Control, Orlando, Florida, 2001, under review.
8. Gray W. S., and González O. R., 'Modeling Electromagnetic Disturbances in Closed-Loop Computer Controlled Flight Systems,' Proc. 1998 American Control Conference, Philadelphia, PA, pp. 359-364, 1998.
9. 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, pp. 3500-3504, 1999. (Pubitemid 32079412)
10. 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, pp. 1797-1802, 1999. (Pubitemid 30515718)
11. 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.
12. 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, Vol. AES-36, No. 4, pp. 1204-1218, 2000. (Pubitemid 32087702)
13. 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, pp. 4.3-9-16, 1997.
14. Hess R., 'Options for Aircraft Function Preservation in the Presence of Lightning,' Proc. 1999 International Conference on Lightning and Static Electricity, Toulouse, France, Paper No. 106, 1999.
15. Johnson B., Design and Analysis of Fault Tolerant Digital Systems, Addison Wesley Publishing Co., 1989.
16. Hagbae K., and Shin K. G., 'Modeling of Externally-Induced/Common-Cause Faults in Fault-Tolerant Systems,' Proc. 13th DASC Digital Avionics Systems Conference, Phoenix, AZ, pp. 402-407, 1994.
17. Lala J., and Harper R., 'Architectural Principles for Safety-Critical Real-Time Applications,' Proceedings of the IEEE, Vol. 82, No. 1, pp. 25-40, 1994.
18. Malekpour M., and Torres W., 'Characterization of a Recoverable Flight Control Computer System,' Proc. IEEE International Conference on Control Applications, Kohala Coast, HI, August, pp. 1519-1524, 1999. (Pubitemid 30515672)
19. Malekpour M., and Torres W., 'Characterization of a Flight Control Computer with Rollback Recovery,' Proc. 19th DASC Digital Avionics Systems Conference, Philadelphia, PA, pp. 3.C.4-1-8, 2000.
20. Miner P. S., Carreno V. A., Malekpour M., and 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.
21. Narasimhan R., Rosenkrantz D. J., and Ravi S. S., 'Early Comparison and Decision Strategies for Datapaths that Recover from Transient Faults' IEEE Transactions on Circuits & Systems I-Fundamental Theory & Applications, Vol. 44, No. 5, pp. 435-438, 1997. (Pubitemid 127768149)
22. Ranganathan A., and Upadhyaya S., 'Performance Evaluation of Rollback-Recovery Techniques in Computer Programs,' IEEE Transactions on Reliability, Vol. 42, pp. 220-226, 1993. (Pubitemid 23703393)
23. Tomek L., Mainkar V., Geist R., and Trivedi K. S., 'Reliability Modeling of Life Critical, Real-Time Systems,' Proceedings of the IEEE, Vol. 82, No. 1, pp. 108-121, 1994.