Dependability of CORBA systems: Service characterization by fault injection

Proceedings of the IEEE Symposium on Reliable Distributed Systems

Volumn , Issue , 2002, Pages 276-285

  Marsden, Eric ^a   Fabre, Jean Charles ^a   Arlat, Jean ^a  

^a LAAS CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER OPERATING SYSTEMS; COMPUTER SOFTWARE; ELECTRIC POTENTIAL; ELECTROMAGNETIC WAVES; INTERFACES (COMPUTER); MICROPROCESSOR CHIPS; NETWORKS (CIRCUITS); OPTIMIZATION;

COMPUTER SOFTWARE- CORBA;

COMPUTER SYSTEMS;

EID: 0036446293     PISSN: 10609857     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. J. Arlat, J.-C. Fabre, M. Rodríguez, and F. Salles. Dependability of COTS microkernel-based systems. IEEE Transactions on Computer Systems, 51(2):138-163, Feb. 2002.
2. J. Carreira, H. Madeira, and J.G. Silva. Xception: A technique for the experimental evaluation of dependability in modern computers. IEEE Transactions on Software Engineering, 24(2): 125-136, Feb. 1998.
3. M. Daran and P. Thévenod-Fosse. Software error analysis: a real case study involving real faults and mutations. In S.J. Zeil, editor, Proc. of the International Symposium on Software Testing and analysis, pages 158-171, New York, Jan. 1996. ACM Press.
4. S. Dawson, F. Jahanian, and T. Mitton. Experiments on six commercial TCP implementations using a software fault injection tool. Software Practice and Experience, 27(12):1385-1410, Dec. 1997.
5. E. Fuchs. Validating the fail-silence of the MARS architecture. In Proc. Int. Working Conference on Dependable Computing for Critical Applications: DCCA-6, pages 225-247. IEEE Computer Society Press, 1998.
6. M. Kalyanakrishnam, Z. Kalbarczyk, and R. Iyer. Failure data analysis of a LAN of Windows NT based computers. In Proc. of the Symposium on Reliable Distributed Systems (SRDS'99), pages 178-189, Washington - Brussels - Tokyo, Oct. 1999. IEEE.
7. G.A. Kanawati, N.A. Kanawati, and J.A. Abraham. Ferrari: A tool for the validation of system dependability properties. In Proc. of the International Symposium on Fault-Tolerant Computing (FTCS'92), pages 336-344, Boston, MA, July 1992. IEEE Computer Society Press.
8. J. Karlsson, P. Folkesson, J. Arlat, Y. Crouzet, G. Leber, and J. Reisinger. Application of three physical fault injection techniques to the experimental assessment of the MARS architecture. In Proc. Working Conference on Dependable Computing for Critical Applications: DCCA-6 pages 267-287. IEEE Computer Society Press, 1998.
9. P.J. Koopman and J. DeVale. Comparing the robustness of POSIX operating systems. In Proc. of the International Symposium on Fault-Tolerant Computing (FTCS'29), pages 30-37, Los Alamitos, CA, USA, 1999. IEEE Computer Society Press.
10. H. Madeira, D. Costa, and M. Vieira. On the emulation of software faults by software fault injection. In Proc. of the International Conference on Dependable Systems and Networks (DSN'2000), pages 417-426. IEEE Computer Society Press, 2000.
11. E. Marsden and J.-C. Fabre. Failure mode analysis of CORBA Service Implementations. In Proc. of the International Conference on Distributed Systems Platforms (Middleware'2001), volume 2218 of Lecture Notes in Computer Science. Springer-Verlag, 2001.
12. J. Pan, P. Koopman, D. Siewiorek, Y. Huang, R. Gruber, and M.L. Jiang. Robustness testing and hardening of CORBA ORB implementations. In Proc. of the International Conference on Dependable Systems and Networks (DSN'2001). IEEE, June 2001.
13. M. Rimén, J. Ohlsson, and J. Torin. On microprocessor error behavior modeling. In Proc. of the International Symposium on Fault-Tolerant Computing, pages 76-85. IEEE Computer Society Press, June 1994.
14. J. Stone and C. Partridge. When the CRC and TCP checksum disagree. In Proc. of the ACM SIGCOMM Conference, pages 309-319, 2000.