Bachelor and Master Theses

Title: A framework for the analysis of failure behaviours in component-based model-driven development of dependable systems
Subject: Computer Science
Level: Advanced
Description: Context:
The CHESS project [1] provides a Model Driven Engineering method to engineer component-based systems, more specifically high integrity embedded systems. The CHESS method is supported by a toolset which consists of a set of plug-ins integrated within the Eclipse IDE and it allows users to model functional as well as non functional behavior. A UML profile, called the CHESS Dependability Profile, for instance, allows users to model and analyse the dependability aspects (i.e. the failure behavior of components, etc.). Failure Propagation and Transformation Calculus (FPTC) [2] allows users to derive the system level failure behavior from the failure behavior of its building components. The proposed work aims to support Standard as well as extended FPTC based analysis in the CHESS toolset.

Goals:
-Achievement of a deep understanding of the techniques used in component-based systems to analyze the failure behavior (focus on FPTC-based techniques);
-provision of a comparative study concerning these techniques;
-development of a plug-in supporting FPTC-based analysis within the CHESS Toolset. In particular, the plug-in is meant to make the technicality of FPTC transparent to the users. Users are supposed to press a button to perform the analysis on their models and get the feedback of the analysis in terms of a decoration on their initial models.
Tasks include:
-study and comparison of techniques for failure behavior analysis (focus on FPTC-based analysis’ techniques);
-study of the CHESS Modeling Language, called CHESS-ML, (focus on the Dependability profile);
-analysis, design and implementation of the model-to-model transformations needed to realize the plug-in
-implementation of the FPTC-based techniques

Required outcome:
a) An implementation of the failure analysis framework (in Eclipse as a plug-in for the CHESS Toolset);
b) A case study performed 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. http://chess-project.ning.com/page/chess-project
2.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: 2011-11-10
Presentation date: 2011-11-17
Student: Muhammad Atif Javed mjd09002@student.mdh.se
Student: Faiz UL Muram fmm10001@student.mdh.se
IDT supervisor: Barbara Gallina
barbara.gallina@mdh.se, 021-101631
Examinator: Sasikumar Punnekkat
Sasikumar Punnekkat
sasikumar.punnekkat@mdh.se, +46-21-107324

Rapport och bilagor

Size

Senaste uppdatering

TR1135.pdf

4356228

2011-11-07, 16:13


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