|Title:||A failure behaviour analysis framework for Progress IDE|
A failure behaviour analysis technique which derives the system level failure behaviour from the failure behaviour of its building elements is presented in  which is particularly suitable for component based systems. The main goal of this thesis is the implementation of an analysis framework using this technique. The implementation will be performed in Eclipse as a plug-in for the PROGRESS Integrated Development Environment (IDE) which is a tool for design, analysis and implementation of component based systems. The analysis plugin have the following properties:
- include an editor for defining the error transformation and propagation rules for each component in the system
- check whether the error behavior for each component if correctly and completely defined in terms of error transformation and propagation rules before performing the analysis
- perform the analysis
- output a report
Further goals of this thesis include modeling a sample system to perform fault injection experiments to evaluate the developed techniques, a survey on the related work, as well as suggestions/discussion for technical improvements of the analysis method.
a) An error modeling and failure analysis framework, implemented in Eclipse as a plug-in for the Progress IDE;
b) A case study perfomed on the framework;
c) A thesis report describing the work including an extensive survey on related topics, as well as suggestions/discussion for technical improvements of the analysis method.
1. M. Wallace, "Modular Architectural Representation and Analysis of Fault Propagation and Transformation," Proc. European Joint Conf. Theory and Practice of Software (ETAPS), Elsevier Electronic Notes in Theoretical Computer Science (ENTCS), vol. 141, no. 3, 2005, pp. 53–71.
|Prel. end date:||2010-08-30|