This technical paper presents recent trends in the development of safety- critical avionics systems. It discusses the emergence of Integrated Modular Avionics (IMA) architectures and standards, the ...