Bibliography

ACT97

Marcos Kawazoe Aguilera, Wei Chen, and Sam Toueg.
Heartbeat: A timeout-free failure detector for quiescent reliable communication.
In Proceedings of the 11th International Workshop on Distributed Algorithms, pages 126-140. Springer-Verlag, 1997.

AG02

Anurag Aggarwal and Diwaker Gupta.
Failure detectors for distributed systems.
Technical report, Indian Institute of Technology, 2002.

AK98

A. Arora and S. S. Kulkarni.
Detectors and correctors: A theory of fault-tolerance components.
In Proceedings of the The 18th International Conference on Distributed Computing Systems, page 436. IEEE Computer Society, 1998.

AMS04

Karine Altisen, Florence Maraninchi, and David Stauch.
Exploring aspects in the context of reactive systems.
In Foundations of Aspect-Oriented Languages workshop, Lancaster, UK, March 2004.

Bau01

Gänther Bauer.
Transparent Fault Tolerance in a Time-Triggered Architecture.
PhD thesis, Technische Universität Wien, Institut für Technische Informatik, Treitlstr. 3/3/182-1, 1040 Vienna, Austria, 2001.

BES$^+$96

Francisco V. Brasileiro, Paul Devadoss Ezhilchelvan, Santosh K. Shrivastava, Neil A. Speirs, and S. Tao.
Implementing fail-silent nodes for distributed systems.
IEEE Trans. Comput., 45(11):1226-1238, 1996.

BFM$^+$03

M. Baleani, A. Ferrari, L. Mangeruca, M. Peri, S. Pezzini, and A. Sangiovanni-Vincentelli.
Fault-tolerant platforms for automotive safety-critical applications.
In International Conference on Compilers, Architectures and Synthesis for Embedded Systems, CASES'03, San Jose, USA, November 2003. ACM.

BPK94

Micah Beck, James S. Plank, and Gerry Kingsley.
Compiler-assisted checkpointing.
Technical report, University of Tennessee, 1994.

CL85

K. Mani Chandy and Leslie Lamport.
Distributed snapshots: determining global states of distributed systems.
ACM Trans. Comput. Syst., 3(1):63-75, 1985.

CLW

Curtis Clifton, Gary T. Leavens, and Mitchell Wand.
Parameterized aspect calculus: A core calculus for the direct study of aspect-oriented languages.

CLYL04

Kwang Sik Chung, YoungJun Lee, HeoChang Yu, and WonGyu Lee.
Management of fault tolerance information for coordinated checkpointing protocol without sympathetic rollbacks.
Journal of Information Science and Engineering, 20(2):379-390, March 2004.

Cri91

F. Cristian.
Understanding fault-tolerant distributed systems.
Communication of the ACM, 34(2):56-78, February 1991.

Gar99

Felix C. Gartner.
Fundamentals of fault-tolerant distributed computing in asynchronous environments.
ACM Comput. Surv., 31(1):1-26, 1999.

GSPS02

Andreas Gal, Wolfgang Schröder-Preikschat, and Olaf Spinczyk.
On aspect-orientation in distributed real-time dependable system.
In The Seventh IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2002), San Diego, CA, UAS, January 7-9 2002.

Jal94

P. Jalote.
Fault-Tolerance in Distributed Systems.
Prentice Hall, 1994.

KA00

S. S. Kulkarni and A. Arora.
Automating the addition of fault-tolerance.
Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000.

KE04

S. S. Kulkarni and A. Ebnenasir.
Automated synthesis of multitolerance.
In International Conference on Dependable Systems and Networks, Florence, Italy, June 2004.

KG94

Hermann Kopetz and Gunter Grunsteidl.
Ttp-a protocol for fault-tolerant real-time systems.
Computer, 27(1):14-23, 1994.

Kin94

E. Kindler.
Safety and liveness properties: A survey.
Bulletin of the European Association for Theoretical Computer Science, 53:268-272, 1994.

KR00

S. Kalaiselvi and V. Rajaraman.
A survey of checkpointing algorithms for parallel and distributed computers.
Sadhana, 25(5):489-510, october 2000.

KT87

Richard Koo and Sam Toueg.
Checkpointing and rollback-recovery for distributed systems.
IEEE Trans. Softw. Eng., 13(1):23-31, 1987.

Kul99

S. S. Kulkarni.
Component-based design of fault-tolerance.
PhD thesis, Ohio State University, 1999.

Liu91

Zhiming Liu.
Fault-Tolerant Programming by Transformations.
PhD thesis, University of Warwick, 1991.

LJ99

Zhiming Liu and Mathai Joseph.
Specification and verification of fault-tolerance, timing, and scheduling.
ACM Trans. Program. Lang. Syst., 21(1):46-89, 1999.

LWK03

Chi-Yi Lin, Szu-Chi Wang, and Sy-Yen Kuo.
An efficient time-based checkpointing protocol for mobile computing systems over mobile ip.
Mob. Netw. Appl., 8(6):687-697, 2003.

MS99

D. Manivannan and M. Singhal.
Quasi-synchronous checkpointing: Models, characterization, and classification.
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 10(7):703-713, 1999.

Nel90

Victor P. Nelson.
Fault-tolerant computing: Fundamental concepts.
Computer, 23(7):19-25, 1990.

NJD94

A.R. Nayak, Wen-Ben Jone, and S.R. Das.
Designing general-purpose fault-tolerant distributed systems a layered approach.
In International conference on Parallel and Distributed Systems, pages 360-364. IEEE, 19-21 December 1994.

PDF$^+$00

Renaud Pawlak, Laurence Duchien, Gerard Florin, Laurent Martelli, and Lionel Seinturier.
Distributed separation of concerns with aspect components.
In Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 33), page 276. IEEE Computer Society, 2000.

RPL$^+$99

A. La Rosa, C. Passerone, L. Lavagno, F. Gregoretti, and A. Sangiovanni-Vincentelli.
Finite state machine composition for embedded hardware/software trade-offs.
In Proceedings of the 2nd IEEE International Workshop on Design, Test and Applications (WDTA'99), pages 21-24, Dubrovnik, Croatia, June 14-16 1999.

RPM97

Santiago Rodriquez, Antonio Perez, and Rafael Mendez.
A new checkpoint mechanism for real time operating systems.
SIGOPS Oper. Syst. Rev., 31(4):55-62, 1997.

Sch84

F. Schneider.
Byzantine generals in action: implementing fail-stop processors.
ACM Transactions on Computer Systems (TOCS), 2(2):145-154, 1984.

Sch90

Fred B. Schneider.
Implementing fault-tolerant services using the state machine approach: a tutorial.
ACM Comput. Surv., 22(4):299-319, 1990.

SH01

F. Sánchez and J. Herrer.
Fault tolerance as an aspect using jreplica.
In Proceedings of the 8th IEEE Workshop on Future Trends of Distributed Computing Systems, page 201. IEEE Computer Society, 2001.

SP02

Wolfgang Schult and Andreas Polze.
Aspect-oriented programming with c# and .net.
In 5th IEEE International Symposium on Object-oriented Real-time distributed Computing, pages 241-248, Washington, DC, May 2002. IEEE Computer Society Press.

SSO$^+$99

P.P. Shirvani, N. Saxena, N. Oh, S. Mitra, S.-Y. Yu, W.-J. Huang, S. Fernandez-Gomez, N.A. Touba, and E.J. McCluskey.
Fault-tolerance projects at stanford crc, 1999.

TPDF98

C. Tanzer, S. Poledna, E. Dilger, and T. Führer.
A fault-tolerance layer for distributed fault-tolerant hard real-time systems.
in www.tttech.com/technology/docs/history/TTTech_1998-Fault-Tolerance_Layer.pdf, 1998.

Wil00

Torres Wilfredo.
Software fault tolerance: A tutorial.
Technical report, NASA Langley Technical Report Server, 2000.

ZB97

Avi Ziv and Jehoshua Bruck.
An on-line algorithm for checkpoint placement.
IEEE Trans. Comput., 46(9):976-985, 1997.