Cellular Phones as Embedded Systems

advertisement
Distributed and Reconfigurable
Architecture for Flight Control System
EEL 6935 - Embedded Systems
Dept. of Electrical and Computer Engineering
University of Florida
Liza Rodriguez
Aurelio Morales
Outline
• Introduction
• State of the Art: Airbus FCS
• Massive Voting Architecture
• Modeling and Simulation
• Conclusions
2 of 23
Outline
• Introduction
• State of the Art: Airbus FCS
• Massive Voting Architecture
• Modeling and Simulation
• Conclusions
3 of 23
Flight Control Systems
• Initially : Mechanical
• Heavy, uses systems of pulleys,
cranks, tension cables and pipes
• Now: Fly-by-Wire
• replaces manual control of the
aircraft with an electronic interface
• movements of flight controls are
converted to electronic signals
• flight control computers determine
how to move the actuators at each
control surface to provide the
expected response
4 of 23
System Requirements
• General Aviation Safety
• Operational reliability, high performance, energy efficiency, low cost
• Dependability
• Integrity – must not output erroneous signals, should not send
incorrect information to actuators
• Availability – system must always be available to process requests
• Radiation
• Can cause over voltages and under voltages
• Electromagnetic radiation should not affect data communication
• Indirect effects of lightning is a possible source
5 of 23
Outline
• Introduction
• State of the Art: Airbus FCS
• Massive Voting Architecture
• Modeling and Simulation
• Conclusions
6 of 23
State of the Art: Airbus FCS
• FCS is based on self checking flight control computers
• System functions are divided between computers so that only 1
FCC is active at a time and the others are standby
• Computers control each actuator with priority order, thus loss of a
single computer does not mean loss of a particular function
• System can run using only 1 FCC if necessary
• Error checking is performed by 2 units of FCC
• Command & Monitoring - both units have the same inputs and
calculate the same outputs
• If outputs are different, system control switches to another FCC
• Actuator nodes are simple
• Perform according to command
• No processing, no communication feedback
7 of 23
State of the Art: Airbus FCS Architecture
• Initially : Mechanical
8 of 23
State of the Art: Airbus FCCs
• System functions are divided between computers so that
only 1 FCC is active at a time and the others are standby
• Computers control each actuator with priority order, thus
loss of a single computer does not mean loss of a function
TE FLAP
LE FLAP
AE FLAP
RUDDER
ELEVTR
Pilot
Control
FCC 1
FCC 2
FCC 3
FCC 4
FCC 5
9 of 23
Pilot
Control
State of the Art: Airbus FCCs
• Control and monitoring
units can be thought of as
two identical computers
placed side by side
Processor
Memory
Input /
Output
Power
Supply
Power
Supply
Watchdog
Watchdog
• Same – control order is sent to
actuator
• Different – computer cuts
connection to actuator, prevents
error from propagating
Comparator
• Comparator detects errors
and performs the final
action:
Control
Input /
Output
Processor
Memory
Monitoring
10 of 23
Redundancy
• Multiple flight control computers
• FCCs are often the only control path between the pilot and the
actuators.
• If FCCs fail, the pilot will not be able to control the aircraft.
• Duplex flight control computers
• Error checking is handled by control and monitoring units of FCCs
• Result: A lot of extra hardware
11 of 23
Outline
• Introduction
• State of the Art: Airbus FCS
• Massive Voting Architecture
• Modeling and Simulation
• Conclusions
12 of 23
Massive Voting Architecture
• Enabled by “Smart” actuators
• Includes processing elements implemented on ASIC or FPGA
• Data processing and control functionality is distributed into subsystems
making them more and more intelligent
• Redundancy management is allocated to actuators
• FCCs still maintain system authority
• Overall critical function and control remains in the primary computers
• Simplex FCCs generate commands but are not excluded if erroneous
• Error checking is performed by flight control remote
modules (FCRM)
• Each FCRM contains 1 voter
• Voters compare received commands and select the most reliable one
13 of 23
TE FLAP
LE FLAP
AE FLAP
RUDDER
ELEVTR
Pilot
Control
FCC 1
FCC 2
FCC 3
FCC 4
FCC 5
ADCN Network
V
FCRM 1
Actuator
V
FCRM 2
Actuator
V
FCRM 3
Actuator
V
FCRM 4
Actuator
14 of 23
Voting Example
• Error checking is performed by FCRM
FFC 1 – LE FLAP 20
FFC 2 – LE FLAP 20
FFC 3 – LE FLAP 31
FFC 4 – LE FLAP 20
FFC 5 – LE FLAP 20
FCRM 2
FCC1
V
Actuator
FCRM 3
FCC1
FCRM 1
V
Actuator
FCC1
FCRM 4
V
Voter
Actuator
Actuator
15 of 23
Hardware Minimization
• Simplex FCCs are half the size of previous FCCs
• Distributed System
• Previously, when an FCC produced an erroneous message, it would
be marked as unreliable and all communication to the actuator would
be cut
• By moving error detection and logic to actuator nodes, the non-faulty
parts of all computers can still contribute
• Thus, fewer FCCs are required to implement a system with the same
amount of reliability
• Voting Algorithms
• Most do not demand high processing capabilities thus hardware size is
not a limitation at FCRM nodes
16 of 23
Outline
• Introduction
• State of the Art: Airbus FCS
• Massive Voting Architecture
• Modeling and Simulation
• Conclusions
17 of 23
Modeling
• Model Construction
• ALTARICA – modeling language
for safety critical systems
• Part 1: A textual description to
describe both functional and
dysfunctional behaviors of each
component (FCC, Voters, etc.)
• Part 2: A graphical representation
to reflect the flow of information
for each state
• Simulation
• Test case: FCC1 sends a fault command to actuator nodes
• Result: FCC1 failure has no influence in the surface control since the
vote masks the faulty value and delivers the correct one. A negative
acknowledgement was sent to faulty FCC.
18 of 23
Data Results
• Aviation Safety Requirement
• Failure rate for “Loss of both elevator control” must be less than 10-9 per
flight hour
• Results exceeded requirement!
19 of 23
Outline
• Introduction
• State of the Art: Airbus FCS
• Massive Voting Architecture
• Modeling and Simulation
• Conclusions
20 of 23
Conclusions
• Design of flight control systems is complex due to the
strict requirements for aviation safety
• Most flight control systems rely on a lot of redundancy to
account for system failures at the cost of additional
hardware
• The massive voting architecture is a new way to
incorporate redundancy into a flight control system while
minimizing the amount of hardware required
• Simulation of the massive voting architecture proved that
it is just as reliable as other FCS implementations
21 of 23
References
• http://en.wikipedia.org/wiki/Aircraft_flight_control_system
• Traverse, P., I. Lacaze and J. Souyris, 2004, Airbus Fly-By-Wire: A Total Approach to
Dependability, in Proceedings of the 18th IFIP World Computer Congress (WCC
2004), Building the Information Society, Kluwer Academic Publishers, Toulouse,
France, August 22-27, pp. 191-212.
• Brière, D. and P. Traverse, 1993, Airbus A320/A330/A340 Electrical Flight Controls –
A Family of Fault-Tolerant Systems, in Proceedings of the 23rd IEEE International
Symposium on Fault-Tolerant Computing TCS-23), Toulouse, France, June 22-24,
pp. 616-623.
•Yeh, Y.C., 1996, Triple-Triple Redundant 777 Primary Flight Computer, in
Proceedings of the IEEE Aerospace Applications Conference, Aspen, CO,
USA, February 3-10, pp. 293-307.
22 of 23
Questions?
23 of 23
Download