Fail-safety is a system attribute which ensures that a program either completes its execution satisfying its post-conditions in the normal manner or signals its failure to do so to its operating environment. Such an attribute is desirable of any system as it ensures the correctness of results which are produced. A very few modern sequential programming languages offer program fail-safety through the judicious use of a well designed exception handling mechanism. In this paper the exception handling techniques used in those sequential systems are developed to provide the guidelines for fail-safe concurrent system design.

Item Type:	Refereed Article
Research Division:	Information and Computing Sciences
Research Group:	Information systems
Research Field:	Information systems not elsewhere classified
Objective Division:	Information and Communication Services
Objective Group:	Information systems, technologies and services
Objective Field:	Information systems, technologies and services not elsewhere classified
UTAS Author:	Drew, S (Dr Steve Drew)
ID Code:	111887
Year Published:	1996
Web of Science® Times Cited:	1
Deposited By:	Curriculum and Academic Development
Deposited On:	2016-10-13
Last Modified:	2016-10-13
Downloads:	0