Foundations of measurement theory applied to the evaluation of dependability attributes

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2007, Pages 522-531

  Bondavalli, Andrea ^a   Ceccarelli, Andrea ^a   Falai, Lorenzo ^a   Vadursi, Michele ^b  

^a UNIVERSITY OF FLORENCE   (Italy)

^b UNIVERSITY OF NAPLES PARTHENOPE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER NETWORKS; COMPUTER SYSTEMS; KNOWLEDGE ACQUISITION;

DEPENDABILITY ATTRIBUTES; MEASUREMENT PROPERTIES; MEASURING INSTRUMENTS;

MEASUREMENT THEORY;

EID: 36048983205     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSN.2007.52     Document Type: Conference Paper

References (25)

1. A. Avizienis, J.C. Laprie, B. Randell, and C. Landwehr. Basic concepts and taxonomy of dependable and secure computing. IEEE TDSC, 1(1):Page(s): 11-33, 2004.
2. Freeman J. Dyson. The inventor of modern science. Nature, 400:27, July 1999.
3. Terry Quinn and Jean Kovalevsky. The development of modern metrology and its role today. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 363:2307-2327, September 2005.
4. BIMP, IEC, IFCC, ISO, IUPAC, IUPAP, and OIML. ISO International Vocabulary of Basic and General Terms in Metrology (VIM), second edition, 1993.
5. BIMP, IEC, IFCC, ISO, IUPAC, IUPAP, and OIML. Guide to the expression of uncertainty in measurement, second edition, 1995.
6. Paulo Veríssimo and Luis Rodriguez. Distributed Systems for System Architects. Kluwer Academic Publisher, 2001.
7. J. Carreira, H. Madeira, and J. Silva. Xception: Software fault injection and monitoring in processor functional units. In Pre-prints 5th Int. Working Conf. on Dependable Computing for Critical Applications (DCCA-5), pages pp.135-49, 1995.
8. Joakim Aidemark, Jonny Vinter, Peter Folkesson, and Johan Karlsson. Goofi: Generic object-oriented fault injection tool. In DSN '01: Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS), pages 83-88, Washington, DC, USA, 2001. IEEE Computer Society.
9. J.-C. Fabre, F. Salles, M. Rodriguez Moreno, and J. Arlat. Assessment of cots microkernels by fault injection. In DCCA '99: Proceedings of the conference on Dependable Computing for Critical Applications, page 25, Washington, DC, USA, 1999. IEEE Computer Society.
10. Manuel Rodriguez, Arnaud Albinet, and Jean Arlat. Mafalda-rt: A tool for dependability assessment of real-time systems. In DSN '02: Proceedings of the 2002 International Conference on Dependable Systems and Networks, pages 267-272, Washington, DC, USA, 2002. IEEE Computer Society.
11. Jean Arlat, Martine Aguera, Louis Amat, Yves Crouzet, Jean-Charles Fabre, Jean-Claude Laprie, Eliane Martins, and David Powell. Fault injection for dependability validation: A methodology and some applications. IEEE Trans. Softw. Eng., 16(2):166-182, 1990.
12. Timothy K. Tsai and Ravishankar K. Iyer. Ftape: A fault injection tool to measure fault tolerance. In AIAA, Computing in Aerospace Conference, 10th, San Antonio, TX; UNITED STATES, 1995.
13. Ramesh Chandra, Ryan M. Lefever, Michel Cukier, and William H. Sanders. Loki: A state-driven fault injector for distributed systems. In DSN '00: Proceedings of the 2000 International Conference on Dependable Systems and Networks (formerly FTCS-30 and DCCA-8), pages 237-242, Washington, DC, USA, 2000. IEEE Computer Society.
14. Michel Cukier, Ramesh Chandra, David Henke, Jessica Pistole, and William H. Sanders. Fault injection based on a partial view of the global state of a distributed system. In SRDS '99: Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems, page 168, Washington, DC, USA, 1999. IEEE Computer Society.
15. Peter Urban, Andre Schiper, and Xavier Defago. Neko: A single environment to simulate and prototype distributed algorithms. In ICOIN '01: Proceedings of the The 15th International Conference on Information Networking, page 503, Washington, DC, USA, 2001. IEEE Computer Society.
16. Lorenzo Falai, Andrea Bondavalli, and Felicita Di Giandomenico. Quantitative evaluation of distributed algorithms using the neko framework: The nekostat extension. In LADC, pages 35-51, 2005.
17. S. Dawson, F. Jahanian, T. Mitton, and Teck-Lee Tung. Testing of fault-tolerant and real-time distributed systems via protocol fault injection. In FTCS '96: Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96), page 404, Washington, DC, USA, 1996. IEEE Computer Society.
18. Scott Dawson and Farnam Jahanian. Probing and fault injection of protocol implementations. In International Conference on Distributed Computing Systems, pages 351-359, 1995.
19. Ali Kalakech, Tahar Jarboui, Jean Arlat, Yves Crouzet, and Karama Kanoun. Benchmarking operating system dependability: Windows 2000 as a case study. In PRDC '04: Proceedings of the 10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'04), pages 261-270, Washington, DC, USA, 2004. IEEE Computer Society.
20. N. Ignat, B. Nicolescu, Y. Savaria, and G. Nicolescu. Softerror classification and impact analysis on real-time operating systems. In DATE '06: Proceedings of the conference on Design, automation and test in Europe, pages 182-187, 3001 Leuven, Belgium, Belgium, 2006. European Design and Automation Association.
21. Paolo Donzelli, Marvin Zelkowitz, Victor Basili, Dan Allard, and Kenneth N. Meyer. Evaluating cots component dependability in context. IEEE Softw., 22(4):46-53, 2005.
22. T. K. Tsai, R. K. Iyer, and D. Jewitt. An approach towards benchmarking of fault-tolerant commercial systems. In FTCS '96: Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96), page 314, Washington, DC, USA, 1996. IEEE Computer Society.
23. Christof Fetzer and Flaviu Cristian. Fortress: A system to support fail-aware real-time applications. In IEEE Workshop on Middleware for Distributed Real-Time Systems and Services. San Francisco, December 1997.
24. Mahesh Balakrishnan, Ken Birman, and Amar Phanishayee. Plato: Predictive latency-aware total ordering. In SRDS '06: Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS'06), pages 175-188, Washington, DC, USA, 2006. IEEE Computer Society.
25. G. Bollella, B. Brosgol, J. Gosling, P. Dibble, S. Furr, and M. Turnbull. The Real-Time Specification for Java. Addison-Wesley, 2000.