Asynchrony and real-time dependable computing

Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS

Volumn , Issue , 2003, Pages 18-25

  Le Lann, G ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ASYNCHRONY; COMPUTATIONAL MODEL; DEPENDABLE COMPUTING; DEPENDABLE SYSTEMS; LATE BINDINGS; OPERATIONAL SYSTEMS; REAL APPLICATIONS; TIME-FREE;

SEMANTICS;

EID: 84883123360     PISSN: 15301443     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WORDS.2003.1218061     Document Type: Conference Paper

References (18)

1. M. K. Aguilera, G. Le Lann and S. Toueg, "On the Impact of Fast Failure Detectors on Real-Time Fault-Tolerant Systems", Proc. of the 16th Intl. Workshop on Distributed Algorithms (DISC), Springer-Verlag LNCS 2508, Oct. 2002, 354-369.
2. Project A3M on Advanced Avionics Architecture and Modules, funded by ESTEC (European Space Agency), software developments by ASTRIUM and AXLOG Ingenierie, 2001-2003 (reports available from ESTEC and ASTRIUM).
3. T. D. Chandra and S. Toueg, "Unreliable Failure Detectors for Reliable Distributed Systems", Journal of the ACM, 43(2), March 1996, 225-267.
4. F. Cristian and C. Fetzer, "The Timed Asynchronous Distributed System Model", IEEE Transactions on Parallel and Distributed Systems, 10(6), June 1999, 642-657.
5. D. Dolev, C. Dwork, L. Stockmeyer, "On the Minimal Synchronism Needed for Distributed Consensus", Journal of the ACM, 34(1), Jan. 1987, 77-97.
6. C. Dwork, N. Lynch, L. Stockmeyer, "Consensus in the Presence of Partial Synchrony", Journal of the ACM, 35(2), April 1988, 288-323.
7. M. J. Fischer, N. A. Lynch, andM. S. Paterson, "Impossibility of Distributed Consensus With One Faulty Process", Journal of the ACM, 32(2), April 1985, 374-382.
8. R. Guerraoui, "Indulgent Algorithms", Proc. of the 19th ACM Symposium on Principles of Distributed Computing (PODC), July 2000, 289-297.
9. R. Guerraoui and A. Schiper, "Consensus: the Big Misunderstanding", Proc. of the 6th IEEE Workshop on Future Trends of Distributed Computing Systems, Oct. 1997, 183-188.
10. J.-F. Hermant and G. Le Lann, "Fast Asynchronous Uniform Consensus in Real-Time Distributed Systems", IEEE Transactions on Computers, 51(8), Special Section on Asynchronous Real-Time Distributed Systems, Aug. 2002, 931-944.
11. M. Hurfin and M. Raynal, "Asynchronous Protocols to Meet Real-Time Constraints: Is It Really Sensible? How to Proceed?", Proc. of the IEEE Intl. Symposium on Object-Oriented Real-Time Distributed Computing (ISORC), April 1998, 290-297.
12. G. Le Lann, "On Real-Time and Non Real-Time Distributed Computing", invited paper, Proc. of the 9th Intl. Workshop on Distributed Algorithms (DISC), Springer-Verlag LNCS 972, Sept. 1995, 51-70.
13. G. Le Lann, "Proof-Based System Engineering and Embedded Systems", invited paper, Proc. of the European School on Embedded Systems, Nov. 1996, Springer-Verlag LNCS 1494, Oct. 1998, 208-248.
14. C.L. Liu and J.W. Layland, "Scheduling Algorithms for Multiprogramming in a Hard Real-Time Environment", Journal of the ACM, 20(1), Jan. 1973, 46-61.
15. N. A. Lynch, "Distributed Algorithms", ISBN 1-55860-348-4, Morgan Kaufmann Pub., 1996, 872 p.
16. D. Powell, "Failure Mode Assumptions and Assumption Coverage", Proc. of the 22nd IEEE Intl. Symposium on Fault-Tolerant Computing, July 1992, 386-395.
17. Safety Critical Mailing List, Department of Computer Science, University of York, http://www.cs.york.ac.uk/hise/hise4/frames9.html, Archived Contributions, "Contribution on the Failure of Ariane 5 flight 501", posted March 1999.
18. P. Verissimo, A. Casimiro, C. Fetzer, "The Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness", Proc. of the IEEE Intl. Conference on Distributed Systems and Networks, July 2000, 533-542.