Bachelor and Master Theses

Title: A failure behaviour analysis framework for Progress IDE
Subject: Computer Science
Level: Advanced
Description: A failure behaviour analysis technique which derives the system level failure behaviour from the failure behaviour of its building elements is presented in [1] 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:

It will
- 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.

Required outcome:
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.

References:
1. [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
Student: Ashwini Mayakar
Student: Vinay Heremath
IDT supervisor: Hüseyin Aysan
huseyin.aysan@mdh.se, +46-21-107094
Examinator: Sasikumar Punnekkat
Sasikumar Punnekkat
sasikumar.punnekkat@mdh.se, +46-21-107324

Rapport och bilagor

Size

Senaste uppdatering


  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2017.03.25