Publications
Notice: Undefined index: admin in /home/pillowan/www-shaw-weil-marian/displayCommon_inc.php on line 171


Notice: Undefined index: displaysql in /home/pillowan/www-shaw-weil-marian/security_inc.php on line 108

An Approach to Preserving Sufficient Correctness in Open Resource Coalitions

Notice: Undefined index: displaysql in /home/pillowan/www-shaw-weil-marian/security_inc.php on line 102

Orna Raz and Mary Shaw
Proc of 10th Int"l WSSD, IEEE Computer Society, 2000, pp. 159-170.

KeyWords:software homeostasis,sufficient correctness,open resource coalitions,medium-assurance software,everyday software,fitness for task,fault tolerance,distributed component-based software

Online Links:      at ACM       PDF       PS

Abstract:

Most software that most people use most of the time needs only moderate assurance of fitness for its intended purpose. Unlike high-assurance software, where the consequences of failure justify substantial investment in validation, everyday software is used in settings where deviations from normal behavior, including occasional degraded service or even failure, is tolerable. Unlike high-assurance software, which has been the subject of extensive scrutiny, everyday software has only meager support for determining how good it must be, for establishing whether a system is sufficiently correct, or for detecting and remedying abnormalities. The need for such techniques is particularly strong for software that takes the form of open resource coalitions -- loosely-coupled aggregations of independent distributed resources. In this paper we discuss the problem of determining fitness for purpose, introduce a model for detecting abnormal behavior, and describe some of the ways of dealing with abnormalities when they are detected.

Preferred citation: Orna Raz and Mary Shaw. An approach to preserving sufficient correctness in open resource coalitions, Proceedings of the 10th International Workshop on Software Specification and Design, IEEE Computer Society, 2000, pp. 159-170.
Entry last Updated 2006-06-14

Notice: Undefined index: admin in /home/pillowan/www-shaw-weil-marian/displaypaper_inc.php on line 29

You are visiting Mary Shaw's Bibliographic pages (Copyright 2002, 2005,2007 by Roy Weil and others. All rights reserved ) It contains the database of papers published by her and others at Carnegie Mellon Computer Science Department. The software used to index and search these papers is Marian - the on-line-braian, available at Marian's Home site. Comments and suggesions are welcome