DBench (Dependability Benchmarking)

[1]  Henrique Madeira,et al.  Characterization of operating systems behavior in the presence of faulty drivers through software fault emulation , 2002, 2002 Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings..

[2]  Marco Vieira,et al.  Definition of fault loads based on operator faults for DMBS recovery benchmarking , 2002, 2002 Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings..

[3]  Jean Arlat,et al.  Analysis of the effects of real and injected software faults: Linux as a case study , 2002, 2002 Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings..

[4]  Jean Arlat,et al.  Dependability of COTS Microkernel-Based Systems , 2002, IEEE Trans. Computers.

[5]  Jean Arlat,et al.  A Framework for Dependability Benchmarking , 2002 .

[6]  Volkmar Sieh,et al.  Framework for testing the fault-tolerance of systems including OS and network aspects , 2001, Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking.

[7]  Henrique Madeira,et al.  Joint evaluation of performance and robustness of a COTS DBMS through fault-injection , 2000, Proceeding International Conference on Dependable Systems and Networks. DSN 2000.

[8]  Andrea Bondavalli,et al.  DEEM: a tool for the dependability modeling and evaluation of multiple phased systems , 2000, Proceeding International Conference on Dependable Systems and Networks. DSN 2000.

[9]  Marco Vieira,et al.  On the emulation of software faults by software fault injection , 2000, Proceeding International Conference on Dependable Systems and Networks. DSN 2000.

[10]  Wensong Zhang,et al.  Linux Virtual Server for Scalable Network Services , 2000 .

[11]  Mario Dal Cin,et al.  Quantitative evaluation of dependability critical systems based on guarded Statechart models , 1999, Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering.

[12]  William H. Sanders,et al.  Fault injection based on a partial view of the global state of a distributed system , 1999, Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems.

[13]  Pedro J. Gil,et al.  Fault Injection into VHDL Models: Experimental Validation of a Fault Tolerant Microcomputer System , 1999, EDCC.

[14]  Kishor S. Trivedi,et al.  Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems , 1999, EDCC.

[15]  Diamantino Costa,et al.  Fault injection spot-checks computer system dependability , 1999 .

[16]  Jean Arlat,et al.  Validation-based development of dependable systems , 1999, IEEE Micro.

[17]  Philip Koopman,et al.  Comparing the robustness of POSIX operating systems , 1999, Digest of Papers. Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing (Cat. No.99CB36352).

[18]  Neeraj Suri,et al.  Identification of test cases using a formal approach , 1999, Digest of Papers. Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing (Cat. No.99CB36352).

[19]  Farnam Jahanian,et al.  Experimental study of Internet stability and backbone failures , 1999, Digest of Papers. Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing (Cat. No.99CB36352).

[20]  J. Arlat,et al.  Assessment of COTS microkernels by fault injection , 1999, Dependable Computing for Critical Applications 7.

[21]  J. J. Serrano,et al.  Experimental validation of high-speed fault-tolerant systems using physical fault injection , 1999, Dependable Computing for Critical Applications 7.

[22]  Karama Kanoun,et al.  Incremental Approach for Building Stochastic Petri Nets for Dependability Modeling , 1999 .

[23]  K. Kanoun,et al.  Dependability evaluation of an air traffic control computing system , 1998, Proceedings. IEEE International Computer Performance and Dependability Symposium. IPDS'98 (Cat. No.98TB100248).

[24]  John D. Musa,et al.  Software Reliability Engineering , 1998 .

[25]  Cristian Constantinescu,et al.  Validation of the fault/error handling mechanisms of the Teraflops supercomputer , 1998, Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing (Cat. No.98CB36224).

[26]  Neeraj Suri,et al.  On the use of formal techniques for validation , 1998, Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing (Cat. No.98CB36224).

[27]  Johan Karlsson,et al.  A comparison of simulation based and scan chain implemented fault injection , 1998, Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing (Cat. No.98CB36224).

[28]  Henrique Madeira,et al.  Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers , 1998, IEEE Trans. Software Eng..

[29]  J. F. Ziegler,et al.  Terrestrial cosmic ray intensities , 1998, IBM J. Res. Dev..

[30]  Jean Arlat,et al.  Available fail-safe systems , 1997, Proceedings of the Sixth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems.

[31]  Daniel P. Siewiorek,et al.  Comparing operating systems using robustness benchmarks , 1997, Proceedings of SRDS'97: 16th IEEE Symposium on Reliable Distributed Systems.

[32]  Volkmar Sieh,et al.  VERIFY: evaluation of reliability using VHDL-models with embedded fault descriptions , 1997, Proceedings of IEEE 27th International Symposium on Fault Tolerant Computing.

[33]  Daniel P. Siewiorek,et al.  Measuring Software Dependability by Robustness Benchmarking , 1997, IEEE Trans. Software Eng..

[34]  Jean-Claude Laprie,et al.  Qualitative and Quantitative Reliability Assessment , 1997, IEEE Softw..

[35]  Surajit Chaudhuri,et al.  An overview of data warehousing and OLAP technology , 1997, SGMD.

[36]  Barry W. Johnson,et al.  A Fault Injection Technique for VHDL Behavioral-Level Models , 1996, IEEE Des. Test Comput..

[37]  Jean Arlat,et al.  On Stratified Sampling for High Coverage Estimations , 1996, EDCC.

[38]  Gianfranco Ciardo,et al.  SMART: simulation and Markovian analyzer for reliability and timing , 1996, Proceedings of IEEE International Computer Performance and Dependability Symposium.

[39]  Daniel P. Siewiorek,et al.  A Methodology for the Rapid Injection of Transient Hardware Errors , 1996, IEEE Trans. Computers.

[40]  Ravishankar K. Iyer,et al.  An approach towards benchmarking of fault-tolerant commercial systems , 1996, Proceedings of Annual Symposium on Fault Tolerant Computing.

[41]  Karama Kanoun,et al.  Modeling the dependability of CAUTRA, a subset of the French air traffic control system , 1996, Proceedings of Annual Symposium on Fault Tolerant Computing.

[42]  Pascale Thévenod-Fosse,et al.  Software error analysis: a real case study involving real faults and mutations , 1996, ISSTA '96.

[43]  Michael D. Smith,et al.  The measured performance of personal computer operating systems , 1996, TOCS.

[44]  Kishor S. Trivedi,et al.  Dependability modeling using Petri-nets , 1995 .

[45]  Daniel P. Siewiorek,et al.  VAX/VMS event monitoring and analysis , 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[46]  Andreas Steininger,et al.  A model for the analysis of the fault injection process , 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[47]  Volkmar Sieh,et al.  Combining software-implemented and simulation-based fault injection into a single fault injection method , 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[48]  Jean-Claude Laprie,et al.  Dependable computing: concepts, limits, challenges , 1995 .

[49]  Ravishankar K. Iyer,et al.  Software Dependability in the Tandem GUARDIAN System , 1995, IEEE Trans. Software Eng..

[50]  Jacob A. Abraham,et al.  FERRARI: A Flexible Software-Based Fault and Error Injection System , 1995, IEEE Trans. Computers.

[51]  J. Arlat,et al.  Integration and Comparison of Three Physical Fault Injection Techniques , 1995 .

[52]  Karama Kanoun,et al.  Software Reliability Analysis of Three Successive Generations of a Switching System , 1994, EDCC.

[53]  Henrique Madeira,et al.  RIFLE: A General Purpose Pin-level Fault Injector , 1994, EDCC.

[54]  C. Ieee.  IEEE Standard for Information Technology - Portable Operating System Interface (POSIX): System Application Program Interface (API), Amendment 1: Realtime Extension (C Language), IEEE Std 1003.1b-1993 , 1994 .

[55]  Jean Arlat,et al.  Fault injection into VHDL models: the MEFISTO tool , 1994, Proceedings of IEEE 24th International Symposium on Fault- Tolerant Computing.

[56]  Ravishankar K. Iyer,et al.  DEFINE: a distributed fault injection and monitoring environment , 1994, Proceedings of IEEE Workshop on Fault-Tolerant Parallel and Distributed Systems.

[57]  Sean J. Harnedy.  Total SNMP: Exploring the Simple Network Management Protocol , 1994 .

[58]  Ravishankar K. Iyer,et al.  FINE: A Fault Injection and Monitoring Environment for Tracing the UNIX System Behavior under Faults , 1993, IEEE Trans. Software Eng..

[59]  Jean Arlat,et al.  Fault Injection and Dependability Evaluation of Fault-Tolerant Systems , 1993, IEEE Trans. Computers.

[60]  Marc Bouissou.  The FIGARO dependability evaluation workbench in use: Case studies for fault-tolerant computer systems , 1993, FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing.

[61]  William Paisley.  Knowledge utilization: The role of new communication technologies , 1993 .

[62]  Ravishankar K. Iyer,et al.  FOCUS: An Experimental Environment for Fault Sensitivity Analysis , 1992, IEEE Trans. Computers.

[63]  Mladen A. Vouk,et al.  Measuring the field quality of wide-distribution commercial software , 1992, [1992] Proceedings Third International Symposium on Software Reliability Engineering.

[64]  Mladen A. Vouk,et al.  On operational availability of a large software-based telecommunications system , 1992, [1992] Proceedings Third International Symposium on Software Reliability Engineering.

[65]  Jim Gray,et al.  Benchmark Handbook: For Database and Transaction Processing Systems , 1992 .

[66]  Ravishankar K. Iyer,et al.  Error/failure analysis using event logs from fault tolerant systems , 1991, [1991] Digest of Papers. Fault-Tolerant Computing: The Twenty-First International Symposium.

[67]  Susan S. Klein,et al.  Charting the Education Dissemination System , 1991 .

[68]  Nelson Weiderman.  Hartstone: synthetic benchmark requirements for hard real-time applications , 1990 .

[69]  Rabindra P. Kar.  Implementing the Rhealstone real-time benchmark , 1990 .

[70]  Jean Arlat,et al.  Fault Injection for Dependability Validation: A Methodology and Some Applications , 1990, IEEE Trans. Software Eng..

[71]  Ytzhak H. Levendel.  Reliability Analysis of Large Software Systems: Defect Data Modeling , 1990, IEEE Trans. Software Eng..

[72]  Kishor S. Trivedi,et al.  SPNP: stochastic Petri net package , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

[73]  Jean Arlat,et al.  Fault injection for dependability validation of fault-tolerant computing systems , 1989, [1989] The Nineteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[74]  Ram Chillarege,et al.  Understanding large system failures-a fault injection experiment , 1989, [1989] The Nineteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[75]  Patrick Donohoe,et al.  A Survey of Real-Time Performance Benchmarks for the Ada Programming Language , 1987 .

[76]  Juan A. Carrasco,et al.  METFAC: design and implementation of a software tool for modeling and evaluation of complex fault-tolerant computing systems , 1986 .

[77]  Jim Gray,et al.  Why Do Computers Stop and What Can Be Done About It? , 1986, Symposium on Reliability in Distributed Software and Database Systems.

[78]  Paola Velardi,et al.  Hardware-Related Software Errors: Measurement and Analysis , 1985, IEEE Transactions on Software Engineering.

[79]  M. Porter.  Competitive Advantage: Creating and Sustaining Superior Performance , 1985 .

[80]  G. De Micheli,et al.  Computer-Oriented Formulation of Transition-Rate Matrices via Kronecker Algebra , 1981, IEEE Transactions on Reliability.

[81]  D. A. Rennels,et al.  Fault-tolerance experiments with the JPL STAR computer. , 1972 .

[82]  W. C. Carter,et al.  Reliability modeling techniques for self-repairing computer systems , 1969, ACM '69.

[83]  Maurice G. Kendall,et al.  The advanced theory of statistics , 1945 .