Bachelor and Master Theses

Title: A model-based safety analysis approach for high-integrity socio-technical component-based systems
Subject: Computer Science
Level: Advanced
Description: The CONCERTO project [1] builds on top of the CHESS project [2]. CONCERTO provides a model driven engineering method to engineer component-based systems, more specifically energy-efficient high-integrity multi core systems. The CONCERTO method is supported by a toolset, which consists of a set of plug-ins integrated within the Eclipse IDE and allows users to model functional as well as non-functional behavior, via the CONCERTO modeling language. The proposed thesis aims at contributing to the CONCERTO toolset by developing a framework for safety analysis [3].

Tasks included:
• getting familiar with the techniques used in component-based systems to perform safety analysis (focus on failure logic-based techniques);
• provision of a comparative study concerning these techniques;
• development of a plug-in supporting a failure logic-based analysis within the CONCERTO Toolset. The plug-in is expected to hide the technical aspects of the analysis via transformations. More specifically, the plug-in should allow users 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. This task includes the following steps:
o study of the CONCERTO Modeling Language;
o analysis, design and implementation of the model-to-model or model-to-text transformations
o implementation of the failure logic-based technique

Required outcome:
1) An implementation of the safety analysis framework (in Eclipse as a plug-in for the CONCERTO Toolset);
2) 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; a case study to illustrate the usage and effectiveness of the framework.



References to start with:
[1] http://www.concerto-project.org
[2] http://chess-project.ning.com/page/chess-project
[3] L. Grunske, J. Han. A comparative study into architecture-based safety evaluation methodologies using AADL's Error Annex and failure propagation models. 11th IEEE High Assurance Systems Engineering Symposium (HASE), pp.283-292, 2008.
Prel. end date: 2015-11-22
Presentation date: 2015-11-13
Student: Edin Sefer esr13004@student.mdh.se
IDT supervisor: Barbara Gallina
barbara.gallina@mdh.se, 021-101631
Examinator: Kristina Lundqvist
Kristina Lundqvist
kristina.lundqvist@mdh.se, +46 (0)21 101428

Rapport och bilagor

Size

Senaste uppdatering

TR1601.pdf

2130734

2015-11-22, 21:57


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