论文信息 - Approaches to Certification of Reconfigurable IMA Systems

Approaches to Certification of Reconfigurable IMA Systems

1 Paul Hollow is a Research Student within the DCSC at York funded by EPSRC with a CASE award from BAE SYSTEMS. Abstract. The aerospace industry has been investigating integrated modular avionics (IMA) for some years. IMA offers greater flexibility in the use of computing resources by reconfiguring the software to employ different processors and communications, in order to recover from failure and to redistribute workload. Such reconfiguration offers benefits, but poses difficulties for certification since current certification practice requires assessment of each configuration.

J. McDermid | M. Nicholson | P. Hollow

[1] Maw-Sheng Chern,et al. On the computational complexity of reliability redundancy allocation in a series system , 1992, Oper. Res. Lett..

[2] David Beasley,et al. An overview of genetic algorithms: Part 1 , 1993 .

[3] Cesare Alippi,et al. Genetic-algorithm programming environments , 1994, Computer.

[4] Alan Burns,et al. Preemptive priority-based scheduling: an appropriate engineering approach , 1995 .

[5] Boudewijn R. Haverkort,et al. Performance and reliability analysis of computer systems: An example-based approach using the sharpe software package , 1998 .

[6] Allan S. Wake,et al. Integrated modular avionics and certification-an IMA design team's view , 1998 .

[7] Mark Nicholson,et al. Selecting a Topology for Safety-Critical Real-Time Control Systems , 1999 .

[8] N. Blackwell,et al. Developing safety cases for integrated flight systems , 1999, 1999 IEEE Aerospace Conference. Proceedings (Cat. No.99TH8403).