John Peter DeVale  Home/Search
Context Related
| cmu.edu/~koopman/thesis/devale.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cmu.edu/~koopman/thesis/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Although our society increasingly relies on computing systems for smooth, efficient operation; computer "errors" that interrupt our lives are commonplace. Better error and exception handling seems to be correlated with more reliable software systems[shelton00][koopman99]. Unfortunately, robust handling of exceptional conditions is a rarity in modern software systems, and there are no signs that the situation is improving. This dissertation examines the central issues surrounding the reasons why ... (Update)
Context of citations to this paper: More
...7 concludes the paper. 2 Related Work Although a number of robustness measures have been studied in the literature (e.g. [4, 8, 9, 13, 18, 19, 22]) those measures were developed for specific systems. Unlike those e#orts, this paper presents a general mathematical...
Cited by: More
Measuring the Robustness of a Resource Allocation - Ali, Maciejewski, Siegel, Kim (Correct)
Similar documents (at the sentence level):
5.4%: Measuring Operating System Robustness - DeVale (Correct)
Active bibliography (related documents): More All
1.6: A Comparative Study of Exception Handling Mechanisms for.. - Garcia, Rubira (2001) (Correct)
1.4: Toward a Scalable Method for Quantifying Aspects of Fault.. - Koopman (1998) (Correct)
0.7: Automatic Robustness Testing of Off-the-Shelf Software.. - Nathan Kropp Institute (Correct)
Similar documents based on text: More All
0.3: The Exception Handling Effectiveness - Of Posix Operating (2000) (Correct)
0.1: Methodology of the Review of Software for Safety Important.. - Vilkomir, Kharchenko (1999) (Correct)
0.1: Commit Processing in Distributed Secure and Real-Time Transaction .. - Nagaraj (1998) (Correct)
BibTeX entry: (Update)
J. DeVale, High Performance Robust Computer Systems. PhD thesis, Department of Electrical and Computer Engineering, Carnegie Mellon University, 2001. http://citeseer.ist.psu.edu/devale01high.html More
@misc{ devale01high,
author = "J. DeVale",
title = "High Performance Robust Computer Systems",
text = "J. DeVale, High Performance Robust Computer Systems. PhD thesis, Department
of Electrical and Computer Engineering, Carnegie Mellon University, 2001.",
year = "2001",
url = "citeseer.ist.psu.edu/devale01high.html" }
Citations (may not include all citations):1363 The Common Object Request Broker: Architecture and Specifica.. (context) - Group - 1995
386 ATOM: A system for building customized program analysis tool.. (context) - Srivastava, Eustace - 1994
276 Concepts and experiments in computational reflection - Maes - 1987
183 Trace cache: a low latency approach to high bandwidth instru.. - Eric, Steve et al. - 1996
121 The category-partition method for specifying and generating .. (context) - Ostrand, Balcer
111 Optimistic incremental specialization: streamlining a commer.. - Pu, Autrey et al. - 1995
98 Purify: fast detection of memory leaks and access errors (context) - Hastings, Joyce - 1992
83 Institute of Electrical and Electronics Engineers (context) - for, point et al. - 1985
69 FERRARI: a tool for the validation of system dependability p.. (context) - Kanawati, Kanawati et al. - 1992
62 The N-version approach to fault-tolerant software (context) - Avizienis
54 Exception handling: issues and a proposed notation (context) - Goodenough - 1975
52 Instruction fetching: Coping with code bloat (context) - Uhlig, Nagle et al. - 1995
45 Efficient detection of all pointer and array access errors - Austin, Breach et al.
43 Fuzz Revisited: A Re-examination of the Reliability of UNIX .. - Miller, Koski et al. - 1998
42 Fault injection experiments using FIAT (context) - Barton, Czeck et al.
37 Hardware and Software Support for Efficient Exception Handli.. - Thekkath, Levey - 1994
29 Flexible Exception Handling in the OPERA Process Support Sys.. - Hagen, Alonso - 1998
27 The Craft of Software Testing (context) - Marick - 1995
26 The block-based trace cache - Bryan, Rychlik et al. - 1999
26 A Study on Exception Detection and Handling Using Aspect-Ori.. - Martin, Cristina - 2000
26 Comparing the Robustness of POSIX Operating Systems (context) - Koopman, DeVale - 1999
24 Black Box Testing (context) - Beizer - 1995
23 Development of a benchmark to measure system robustness (context) - Siewiorek, Hudak et al. - 1993
23 Comparing Operating Systems Using Robustness Benchmarks - Koopman, Sung et al. - 1997
22 Exception Handling and Tolerance of Software Faults (context) - Cristian - 1995
22 An investigation of the Therac-25 accidents (context) - Leveson, Turner
17 Xception: a technique for the experimental evaluation of dep.. - Carreira, Madeira et al.
16 The Department of Defense High Level Architecture - Dahmann, Fujimoto et al. - 1997
15 Automated Robustness Testing of Off-the-Shelf Software Compo.. - Kropp, Koopman et al. - 1998
14 Modeling and performance of MEMS-based storage devices (context) - Griffin, Schlosser et al. - 2000
11 Xept: a software instrumentation method for exception handli.. - Vo, Huang - 1997
11 Experimental evaluation of two concurrent error detection sc.. (context) - Schuette, Shen et al. - 1986
11 Handbook of Human Reliability Analysis with Emphasis on Mucl.. (context) - Swain, Guttmann - 1983
10 The Operational Profile (context) - Musa, Fuoco et al. - 1996
9 Measuring software dependability by robustness benchmarking - Mukherjee, Siewiorek - 1997
8 IEEE Computer Soc (context) - Glossary, Engineering et al. - 1990
8 The exception handling effectiveness of POSIX operating syst.. (context) - Koopman, DeVale
7 Measuring robustness of a fault tolerant aerospace system (context) - Dingman - 1995
7 Ariane 5 Flight 501 Failure: report by the inquiry board (context) - Lions - 1996
6 Measuring Fault Tolerance with the FTAPE Fault Injection Too.. - Tsai - 1995
6 Completion time multiple branch prediction for enhancing tra.. - Ryan, Bryan et al. - 2000
6 National Aeronautics and Space Administration (context) - Jones - 1996
5 The Ballista Software Robustness Testing Service (context) - DeVale, Koopman et al. - 1999
4 CRASHME: Random input testing (context) - Carrette - 1998
4 Exception Handling in C Programs (context) - Lee - 1983
4 Improving Exception Handling with Object-Oriented Programmin.. - Dony - 1990
4 Concurrent detection of software and hardware data-access fa.. (context) - Wilken, Kong - 1995
4 Advanced Exception Handling Mechanisms - Peter, Russell
3 Robustness Testing of a Distributed Simulation Backplane - Fernsler, Koopman - 1999
3 Zero-Overhead Exception Handling Using Metaprogramming (context) - Hof, Mossenbock et al. - 1997
3 An Exception handling mechanism for developing dependable ob.. (context) - Garcia, Beder et al. - 1999
3 An exception handling framework for N-version programming in.. - Romanovsky - 2000
3 Exceptional C or C with Exceptions (context) - Gehani
3 An approach to testing COTS software for robustness to opera.. (context) - Ghosh, Schmid - 1999
3 SFIO: safe/fast string/file IO (context) - Korn, Vo - 1991
3 Improving software robustness with dependability cases - Maxion, Olszewski - 1998
2 Efficient memory access checking (context) - Wilken, Kong
2 High Level Architecture Run Time Infrastructure Programmer's.. (context) - of - 1998
2 of Electrical and Computer Engineering (context) - Dingman, Portable - 1997
2 An exception handling software architecture for developing f.. (context) - Garcia, Beder et al. - 2000
2 Faults in functions (context) - Hill - 1971
2 Exception Handling in Scientific Computing (context) - Hull, Cohen et al. - 1988
2 An empirical study of the reliability of operating system ut.. (context) - Miller, Fredriksen et al. - 1990
1 Software Fault-Tolerance in Functional Programming (context) - Govindarajan - 1992
1 Specifying Complex Process Control Aspects in Workflows for .. - Hofstede, Barros - 1999
1 Robustness testing of the Microsoft Win32 API (context) - Shelton, Koopman et al. - 2000
1 Fault-free performance validation of avionic multiprocessors (context) - Czeck, Feather et al. - 1986
1 Workflow modeling: exception and failure handling representa.. (context) - Edelweiss, Nicolao - 1998
Documents on the same site (http://www.ece.cmu.edu/~koopman/thesis/index.html): More
Performance of Cyclic Redundancy Codes for Embedded Networks - Chakravarty (Correct)
Unknown - (Correct)
Using Mission Graphs to Identify Mission Dependability.. - Martin (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC