论文信息 - Safety-Critical Software Development for Integrated Modular Avionics

Safety-Critical Software Development for Integrated Modular Avionics

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, and the resulting impact on the development of an ARINC 653–compliant commercial off-the-shelf (COTS) real-time operating system (RTOS).

Paul Parkinson | AN INTEL COMPANY

[1] Franco Gasperoni,et al. High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT , 2002, Ada-Europe.

[2] Ying C. Yeh. Design considerations in Boeing 777 fly-by-wire computers , 1998, Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231).

[3] Paul Prisaznuk,et al. ARINC Specification 653, Avionics Application Software Standard Interface , 2006, Avionics.

[4] Rushby John,et al. Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance , 1999 .