Chapter
Exceptions for dependability
Abstract
Exception handling allows (1) a program to be structured such that the original design is preserved in presence of possibly failing components; (2) rare or undesired cases to be treated in an unobtrusive manner; and (3) imperfections to be handled systematically. This chapter develops a theory of exception handling with try-catch statements, and demonstrates its use in the design of dependable systems by giving a formal account of the patterns …
Authors
Sekerinski E
Book title
Dependability and Computer Engineering Concepts for Software Intensive Systems
Pagination
pp. 11-35
Publication Date
December 1, 2011
DOI
10.4018/978-1-60960-747-0.ch002