The PAMELA and VICTORIA projects - funded by the EU
The Honeywell AIMS system from the Boeing 777
And also the Honeywell VIA system for defence avionics
An article from Boeing on software re-use on the 777 and the use of AIMS
SpaceWire technology for Integrated Modular Avionics S.V. Gorbachev et.al.
ARINC 651-1 Design Guidance for Integrated Modular Avionics
ARINC 653 Avionics Application Software Standard Interface
And others in the 600 series
Requirements Specification for Avionics Computer Resource (an IMA module) - DO-255 from RTCA/EUROCAE
Prevention of Replication Induced Failures in the Context of Integrated Modular Avionics, Peter D.V. van der Stok and Paul T.A. Thijssen
Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance, J Rushby
Ben Di Vito from NASA has some down loadable papers examining partitioning of resources in IMA using formal models
A Model of Noninterference for Integrating Mixed-Criticality Software Components, Bruno Dutertre and Victoria Stavridou
Advanced System Concepts for Civil Aircraft: An overview of Avionic Architectures, Nadesakumar, A., Crowder, R.M., Harris, C.J.
A couple of abstracts from DM Johnson at Bristol University: The Feasibility and Benefits of Dynamic Reconfiguration in Integrated Modular Avionics and Integrated Modular Avionics: A Scheme for Autonomous Dynamic System Reconfiguration
Resource Scheduling in Dependable Integrated Modular Avionics Yann-Hang Lee et al.
There are a number of papers from the Computer Science Department at the University of York including
Approaches to Certification of Reconfigurable IMA Systems, P Hollow, J McDermid, M Nicholson
Generating and maintaining a Safety Argument for Integrated Modular Systems , M. Nicholson, P. Conmy, I. Bate and J. McDermid.
Towards a Scheduling and Timing Analysis Solution for Integrated ModularAvionic Systems, A. Grigg, NC. Audsley
And others from the Real Time Systems Group
I'm sure there are lots more so if you have any further links you think should be added, please mail me.
|
Disclaimer |
Opinions expressed within this page are those of the author and do not necessarily represent the views of the University of York, QinetiQ, Rolls Royce, or BAE SYSTEMS |