Abstract
The motivation for Integrated Modular Avionics (IMA) is presented. The required high availability and improved maintenance efficiency dictate requirements on the consistency of data used by replicated software components. It is shown that a reliable multicast facility is needed to fulfill the consistency requirement.
Propagation of failures should be prevented. An additional consistency requirement states that software components should consider the same resources as failed at the same time. It is shown how a membership algorithm can satisfy this requirement. The time bounds on communication and failure detection propagation are calculated.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Committee Arinc 629. ARINC report 629, Multi-Transmitter Data Bus. Technical Report Specification 629, Airlines Electronic Engineering Committee, March 1990.
Committee Arinc 651. ARINC report 651, draft 9. Technical Report 91–207/SAI-435, Airlines Electronic Engineering Committee, September 1991.
Committee Arinc 659. ARINC report 659, draft 4. Technical Report 92259/SAI-477, Airlines Electronic Engineering Committee, October 1992.
M. Boasson. Control systems software. IEEE Transactions on Automatic Control, 38 (7): 1094–1106, 1993.
F. Cristian. Atomic Broadcast: From simple message Diffusion to Byzantine Agreement. In Proceedings 15th International Symposium on Fault-Tolerant Computing, pages 200–206, Ann Arbor, MI, June 1985.
F. Cristian. Agreeing on who is present and who is absent in a synchronous distributed system. In Proceedings 18th International Symposium on Fault-Tolerant Computing, pages 206–211, Tokyo, Japan, June 1988.
F. Cristian. Synchronous Atomic Broadcast for Redundant Broadcast Channels. Journal of Real-Time Systems, 2: 195–212, 1990.
T Kuo and A.K. Mok. Application Semantics and Concurrency Control of Real-Time Data-Intensive Applications. In Proceedings of 13th Real-Time Systems Symposium, pages 35–45, Phoenix, December 1992. IEEE.
R. Meunier. Airbus architectures. private communication.
K. Ramamritham. Real-Time Databases. Distributed and Parallel Databases, 1993 (1): 199–226, 1993.
P.D.V. van der Stok, M.M.M.P.J. Claessen and D. Alstein. A hierarchical membership protocol for synchronous distributed systems. In Proc. of the 1st Eropean Dependable Computing Conference, pages 597–616. Springer Verlag, October 1994.
P. Weir and P.D.V. van der Stok. Task 2: Requirements on Cabinet monitoring aspects in IMA context. Technical Report SDF/B67/A/108/23O8, Brite-Euram, May 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
van der Stok, P.D.V., Thijssen, P.T.A. (1997). Prevention of Replication Induced Failures in the Context of Integrated Modular Avionics. In: Baron, C., Geffroy, JC., Motet, G. (eds) Embedded System Applications. Springer, Boston, MA. https://doi.org/10.1007/978-1-4757-2574-2_11
Download citation
DOI: https://doi.org/10.1007/978-1-4757-2574-2_11
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4419-5179-3
Online ISBN: 978-1-4757-2574-2
eBook Packages: Springer Book Archive