Brito, P.H.S. and de Lemos, R. and Rubira, C.M.F. (2009) Verifying Architectural Variabilities in Software Fault Tolerance Techniques. In: Joint Working IEEE/IFIP Conference on Software Architecture 2009 (WICSA 2009) & European Conference on Software Architecture 2009 (ECSA 2009), 14th - 17th September 2009, Cambridge, UK.
|The full text of this publication is not available from this repository. (Contact us about this Publication)|
This paper considers the representation of different software fault tolerance techniques as a product line architecture (PLA) for promoting the reuse of software artifact. The proposed PLA enables to specify a series of closely related architectural applications, which is obtained by identifying variation points associated with design decisions regarding software fault tolerance. These decisions are used to choose the appropriate technique depending on the features selected, e.g, the number of redundant resources, or the type of adjudicator. The proposed approach also comprises the formalisation of the PLA, using B-method and CSP, for systematising the verification of fault-tolerant software systems at the architectural level. The properties verified cover two complementary contexts: the selection of the correct architectural variabilities for instantiating the PLA, and also the properties of the chosen fault tolerance techniques.
|Item Type:||Conference or workshop item (Paper)|
|Uncontrolled keywords:||B-method , CSP , architectural variability verification , fault-tolerant software system verification , product line architecture , software artifact reusing , software fault tolerance technique|
|Subjects:||Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, > QA76.76 Computer software|
|Divisions:||Faculties > Science Technology and Medical Studies > School of Computing|
|Depositing User:||Rogerio de Lemos|
|Date Deposited:||23 Oct 2012 23:31|
|Last Modified:||15 Mar 2013 12:04|
|Resource URI:||http://kar.kent.ac.uk/id/eprint/31880 (The current URI for this page, for reference purposes)|
- Depositors only (login required):