Novel generic middleware building blocks for dependable modular avionics systems

Lecture Notes in Computer Science

Volumn 3463, Issue , 2005, Pages 140-153

  Honvault, Christophe ^a   Roy, Marc Le ^a   Gula, Pascal ^b   Fabre, Jean Charles ^c   Lann, Gérard Le ^d   Bornschlegl, Eric ^e  

^a AIRBUS DEFENCE AND SPACE   (Germany)

^b AXLOG Ingenierie   (France)

^c LAAS CNRS   (France)

^d INRIA   (France)

^e EUROPEAN SPACE AGENCY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

AVIONICS; COMPUTER PROGRAMMING; COMPUTER SCIENCE; DISTRIBUTED COMPUTER SYSTEMS; MICROPROCESSOR CHIPS; PROBLEM SOLVING; REAL TIME SYSTEMS; SATELLITES; SIMULATORS;

DISTRIBUTED COMPUTING; PROGRAM SERIALIZATION; UNIFORM CONSENSUS (UCS); UNIFORM COORDINATION (UCN);

MIDDLEWARE;

EID: 24944454239     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11408901_10     Document Type: Conference Paper

References (11)

1. J.-F. Hermant, G. Le Lann, Fast Asynchronous Uniform Consensus in Real-Time Distributed Systems », IEEE Transactions on Computers, vol. 51(8), August 2002, pp. 931-944
2. G. Le Lann, Asynchrony and Real-Time Dependable Computing, Proceedings of the 8th IEEE Intl. Workshop on Object-Oriented Real-Time Dependable Systems (WORDS), January 2003, Guadalajara, Mexico
3. G. Le Lann, U. Schmid, How to Maximize Computing Systems Coverage, Technical Report 183/1-128, Department of Automation, Technical University, Vienna (Austria), April 2003
4. D. Powell, Failure mode assumptions and assumption coverage, 22nd IEEE Annual International Symposium on Fault-Tolerant Computing (FTCS-22), Boston (USA), 8-10 Juillet 1992, pp.386-395.
5. [Revised version in Predictably Dependable Computing Systems, Springer, ISBN 3-540-59334-9, 1995, pp.123-140]
6. J.-C. Fabre, F. Salles, M. Rodríguez Moreno and J. Arlat, Assessment of COTS Microkernels by Fault Injection, in Proc. 7th IFIP Conf. on Dependable Computing for Critical Applications (DCCA-7), San Jose, January 1999, pp. 25-44.
7. J. Arlat, J.C.Fabre, M. Rodriguez, F. Salles: Dependability of COTS Microkernel-based Systems, IEEE Transactions on Computers, Special Issue on Embedded Fault Tolerant Systems, Feb. 2002, pp. 138-163.
8. VxWorks Realtime Kernel, WindRiver Systems, 1998. (see http://www.windriver.com/products/platforms/general_purpose/)
9. RTSIM real-time executives simulator, AxLog. (see http://www.axlog.fr/ prod/rtsim.html)
10. M.-C. Hsueh, T. K. Tsai and R. K. Iyer: Fault Injection Techniques and Tools, Computer, vol. 30, no. 4, pp. 75-82, April 1997.
11. T. Chandra, S. Toueg, "Unreliable Failure Detectors for Reliable Distributed Systems", Journal of the Association for Computing Machinery, Vol. 43, N. 2, Mar. 1996, pp 225-267.