Automatic Safety Computation for IMA Systems. IEEE/AIAA 30th Digital Avionics Systems Conference (DASC), 7C3-1-7C3-9, Seattle, October 2011. [PUMA: Aerospace_electronics Atmospheric_modeling Computational_modeling Computers Hardware IMA_systems InProceedings Redundancy Safety aerospace_safety aircraft_manufacturers automatic_safety_computation avionics ils integrated_modular_avionics_design_philosophy optimisation optimisation_algorithm safety_requirements] URL