Analytical Tools for the Design and Verification of Safety Critical Control Systems
Date Published: 2001-09-11
Paper Number:2001-01-2938
DOI: 10.4271/2001-01-2938
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, doi:10.4271/2001-01-2938.
Author(s):
Oscar R. González - Old Dominion Univ.
W. Steven Gray - Old Dominion Univ.
Arturo Tejada - Old Dominion Univ.
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.
Purchase more technical papers and save! With TechSelect,
you decide what SAE Technical Papers you need, when you need them, and how much you want to pay.
Learn more >
