Abstract
The A3M project aimed to define basic building blocks of a middleware meeting both dependability and real-time requirements for a wide range of space systems and applications. The developed middleware includes Uniform Consensus (UCS) and Uniform Coordination (UCN) protocols and two services implemented to solve two recurring problems of space applications: “distributed consistent processing under active redundancy” and “distributed replicated data consistency, program serialization and program atomicity”. The protocols have been verified through extensive and accurate testing under the Real Time OS simulator RTSim supporting fault injections. The performances measured on a representative platform based on three LEON SPARC microprocessors interconnected with point-to-point SpaceWire links show that A3M solution may be applied to very different fields, from high performance distributed computing to satellite formation flying coordination.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Hermant, J.-F., Le Lann, G.: Fast Asynchronous Uniform Consensus in Real-Time Distributed Systems. IEEE Transactions on Computers 51(8), 931–944 (2002)
Le Lann, G.: Asynchrony and Real-Time Dependable Computing. In: Proceedings of the 8th IEEE Intl. Workshop on Object-Oriented Real-Time Dependable Systems (WORDS), Guadalajara, Mexico (January 2003)
Le Lann, G., Schmid, U.: How to Maximize Computing Systems Coverage, Technical Report 183/1-128, Department of Automation, Technical University, Vienna (Austria) (April 2003)
Powell, D.: Failure mode assumptions and assumption coverage. In: 22nd IEEE Annual International Symposium on Fault-Tolerant Computing (FTCS-22), Boston (USA), July 8-10, pp. 386–395. Springer, Heidelberg (1992); [Revised version in Predictably Dependable Computing Systems, Springer, ISBN 3-540-59334-9, 1995, pp.123-140]
Fabre, J.-C., Salles, F., Rodríguez Moreno, M., Arlat, J.: Assessment of COTS Micro-kernels by Fault Injection. In: Proc. 7th IFIP Conf. on Dependable Computing for Critical Applications (DCCA-7), San Jose, pp. 25–44 (January 1999)
Arlat, J., Fabre, J.C., Rodriguez, M., Salles, F.: Dependability of COTS Microkernel-based Systems. IEEE Transactions on Computers, Special Issue on Embedded Fault Tolerant Systems, 138–163 (February 2002)
VxWorks Realtime Kernel, WindRiver Systems (see) (1998), http://www.windriver.com/products/platforms/general_purpose/
RTSIM real-time executives simulator, AxLog see, http://www.axlog.fr/prod/rtsim.html
Hsueh, M.-C., Tsai, T.K., Iyer, R.K.: Fault Injection Techniques and Tools. Computer 30(4), 75–82 (1997)
Chandra, T., Toueg, S.: Unreliable Failure Detectors for Reliable Distributed Systems. Journal of the Association for Computing Machinery 43(2), 225–267 (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Honvault, C., Le Roy, M., Gula, P., Fabre, J.C., Le Lann, G., Bornschlegl, E. (2005). Novel Generic Middleware Building Blocks for Dependable Modular Avionics Systems. In: Dal Cin, M., Kaâniche, M., Pataricza, A. (eds) Dependable Computing - EDCC 5. EDCC 2005. Lecture Notes in Computer Science, vol 3463. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11408901_10
Download citation
DOI: https://doi.org/10.1007/11408901_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25723-3
Online ISBN: 978-3-540-32019-7
eBook Packages: Computer ScienceComputer Science (R0)Springer Nature Proceedings Computer Science
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.