|Title:||A framework for the analysis of failure behaviours in component-based model-driven development of dependable systems|
The CHESS project  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)  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.
-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.
-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
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.
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|
|Student:||Muhammad Atif Javed email@example.com|
|Student:||Faiz UL Muram firstname.lastname@example.org|