Criticality and Confidence Issues in Avionics

FREE-DOWNLOAD Y Laarouchi, Y Deswarte, D Powell, J Arlat… – 2009 –
Ensuring safety in avionics has mostly been achieved through a complete separation between
avionics software and open- world software, in order to avoid any interaction that could corrupt
critical on-board systems. However, new aircraft gen- erations need more interaction with