Supporting ARINC 653-based Dynamic Reconfiguration

As the software for avionics becomes more complex, the challenge to provide the required reliability and safety mechanisms becomes also more complex. Embracing the ARINC 650 and 653 standards to provide a means to embark several systems into a single hardware cabinet opens the door to the development of even more elaborated software avionics systems, by overcoming the space constraints once found in this kind of system. Nevertheless, ARINC 653 exhibits also some limitations regarding fault redundancy management, especially when handling redundant applications with spares that back up other applications. In this paper, a framework to support fault tolerance and reconfiguration in avionics systems under the umbrella of ARINC 653 standard is described. This paper represents part of the results of the research projects carried out during the last two years by Eurocopter Espana in collaboration with the University of Castilla-La Mancha.

[1]  Sam Toueg,et al.  Optimal clock synchronization , 1985, PODC '85.

[2]  Chris J. Walter,et al.  The MAFT Architecture for Distributed Fault Tolerance , 1988, IEEE Trans. Computers.

[3]  Manfred K. Warmuth,et al.  The weighted majority algorithm , 1989, 30th Annual Symposium on Foundations of Computer Science.

[4]  James M. Purtilo,et al.  Dynamic reconfiguration in distributed systems: adapting software modules for replacement , 1993, [1993] Proceedings. The 13th International Conference on Distributed Computing Systems.

[5]  Manfred K. Warmuth,et al.  The Weighted Majority Algorithm , 1994, Inf. Comput..

[6]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[7]  R. J. Bluff Integrated modular avionics: system modelling , 1999, Microprocess. Microsystems.

[8]  Daeyoung Kim,et al.  Scheduling tool and algorithm for integrated modular avionics systems , 2000, 19th DASC. 19th Digital Avionics Systems Conference. Proceedings (Cat. No.00CH37126).

[9]  Jim Moore Advanced Distributed Architectures , 2000 .

[10]  M. Younis,et al.  Integrating Redundancy Management and Real-time Services for Ultra Reliable Control Systems , 2001 .

[11]  John A. McDermid,et al.  High Level Failure Analysis for Integrated Modular Avionics , 2001, SCS.

[12]  L. P. Bolduc X-33 redundancy management system , 2001 .

[13]  J. Rupe Reliability of Computer Systems and Networks Fault Tolerance, Analysis, and Design , 2003 .

[14]  R. Black,et al.  Next generation space avionics: layered system implementation , 2005, IEEE Aerospace and Electronic Systems Magazine.

[15]  Mark Nicholson Health Monitoring for Reconfigurable Integrated Control Systems , 2005, SSS.

[16]  Thaís Vasconcelos Batista,et al.  Managing Dynamic Reconfiguration in Component-Based Systems , 2005, EWSA.

[17]  R.C. Ferguson,et al.  System software framework for system of systems avionics , 2005, 24th Digital Avionics Systems Conference.

[18]  C.B. Watkins,et al.  Transitioning from federated avionics architectures to Integrated Modular Avionics , 2007, 2007 IEEE/AIAA 26th Digital Avionics Systems Conference.

[19]  Brendan Anthony O'Connell,et al.  Achieving fault tolerance via robust partitioning and N-Modular Redundancy , 2007 .

[20]  Alberto L. Sangiovanni-Vincentelli,et al.  Moving From Federated to Integrated Architectures in Automotive: The Role of Standards, Methods and Tools , 2010, Proceedings of the IEEE.