The Library
Towards understanding the importance of variables in dependable software
Tools
Leeke, Matthew and Jhumka, Arshad (2010) Towards understanding the importance of variables in dependable software. In: 8th European Dependable Computing Conference (EDCC'10), Valencia, Spain, 28-30 April 2010. Published in: 2010 European Dependable Computing Conference (EDCC) pp. 85-94. ISBN 9780769540078. doi:10.1109/EDCC.2010.20
PDF
Towards_Understanding_the_Importance_of_Variables_in_Dependable_Software.pdf - Published Version Embargoed item. Restricted access to Repository staff only - Requires a PDF viewer. Download (158Kb) |
Official URL: http://dx.doi.org/10.1109/EDCC.2010.20
Abstract
A dependable software system contains two important components, namely, error detection mechanisms and error recovery mechanisms. An error detection mechanism attempts to detect the existence of an erroneous software state. If an erroneous state is detected, an error recovery mechanism will attempt to restore a correct state. This is done so that errors are not allowed to propagate throughout a software system, i.e., errors are contained. The design of these software artefacts is known to be very difficult. To detect and correct an erroneous state, the values held by some important variables must be ensured to be suitable. In this paper we develop an approach to capture the importance of variables in dependable software systems. We introduce a novel metric, called importance, which captures the impact a given variable has on the dependability of a software system. The importance metric enables the identification of critical variables whose values must be ensured to be correct.
Item Type: | Conference Item (Paper) | ||||
---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||
Journal or Publication Title: | 2010 European Dependable Computing Conference (EDCC) | ||||
Publisher: | IEEE | ||||
ISBN: | 9780769540078 | ||||
Official Date: | 28 April 2010 | ||||
Dates: |
|
||||
Page Range: | pp. 85-94 | ||||
DOI: | 10.1109/EDCC.2010.20 | ||||
Status: | Peer Reviewed | ||||
Publication Status: | Published | ||||
Access rights to Published version: | Restricted or Subscription Access | ||||
Date of first compliant deposit: | 21 December 2015 | ||||
Conference Paper Type: | Paper | ||||
Title of Event: | 8th European Dependable Computing Conference (EDCC'10) | ||||
Type of Event: | Conference | ||||
Location of Event: | Valencia, Spain | ||||
Date(s) of Event: | 28-30 April 2010 |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |