A Generic Platform for Safety-critical Applications in General Aviation. IEEE 32th Aerospace Conference, Big Sky, Montana, March 2011. [PUMA: Aerospace_electronics Aircraft Distributed_databases Gallium InProceedings Redundancy Safety Topology actuator actuators aerial_work_operation aerospace_control aerospace_safety automatic_flight_control_system avionics electronic_control_systems fault-tolerant_computing_core_network fault_tolerant_computing general_aviation generic_components hardware_components ils safety-critical_applications sensor sensors]