Browse Publications Technical Papers 2001-01-2938
2001-09-11

Analytical Tools for the Design and Verification of Safety Critical Control Systems 2001-01-2938

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.

SAE MOBILUS

Subscribers can view annotate, and download all of SAE's content. Learn More »

Access SAE MOBILUS »

Members save up to 18% off list price.
Login to see discount.
Special Offer: Download multiple Technical Papers each year? TechSelect is a cost-effective subscription option to select and download 12-100 full-text Technical Papers per year. Find more information here.
We also recommend:
TECHNICAL PAPER

Meeting Challenges of Using COTS Component Thermal Data in Aerospace Application

2014-01-2200

View Details

TECHNICAL PAPER

An Approach of Developing System Redundancy Management Requirements

2013-01-2257

View Details

TECHNICAL PAPER

Development of Redundant Flight Control Actuation Systems for the F/A-18 Strike Fighter

831483

View Details

X