Change search
ReferencesLink to record
Permanent link

Direct link
A framework for the analysis of failure behaviors in component-based model-driven development of dependable systems
Mälardalen University, School of Innovation, Design and Engineering. (Dependability, Component-Based Development, Model-Driven Engineering)
Mälardalen University, School of Innovation, Design and Engineering. (Dependability, Component-Based Development, Model-Driven Engineering)
2011 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

Currently, the development of high-integrity embedded component-based software systems is not supported by well-integrated means allowing for quality evaluation and design support within a development process. Quality, especially dependability, is very important for such systems.

The CHESS (Composition with Guarantees for High-integrity Embedded Software Components Assembly) project aims at providing a new systems development methodology to capture extra-functional concerns and extend Model Driven Engineering industrial practices and technology approaches to specifically address the architectural structure, the interactions and the behavior of system components while guaranteeing their correctness and the level of service at run time. The CHESS methodology is expected to be supported by a tool-set which consists of a set of plug-ins integrated within the Eclipse IDE.

In the framework of the CHESS project, this thesis addresses the lack of well integrated means concerning quality evaluation and proposes an integrated framework to evaluate the dependability of high-integrity embedded systems.

After a survey of various failure behavior analysis techniques, a specific technique, called Failure Propagation and Transformation Calculus (FPTC), is selected and a plug-in, called CHESS-FPTC, is developed within the CHESS tool-set. FPTC technique allows users to calculate the failure behavior of the system from the failure behavior of its building components. Therefore, to fully support FPTC, CHESS-FPTC plug-in allows users to model the failure behavior of the building components, perform the analysis automatically and get the analysis results back into their initial models. A case study about AAL2 Signaling Protocol is presented to illustrate and evaluate the CHESS-FPTC framework.

Place, publisher, year, edition, pages
2011. , 76 p.
Keyword [en]
Dependability, Component-Based Development, Model-Driven Engineering
National Category
Computer Systems
URN: urn:nbn:se:mdh:diva-13886OAI: diva2:471002
Subject / course
Computer Science
2011-11-17, Gamma, Mälardalen University | Box 883 | 721 23, Västerås, 13:45 (English)
CHESS Project -
Available from: 2012-02-08 Created: 2011-12-30 Last updated: 2012-02-08Bibliographically approved

Open Access in DiVA

MasterThesis_FPTCAnalysis(4621 kB)910 downloads
File information
File name FULLTEXT01.pdfFile size 4621 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Javed, Muhammad AtifFaiz UL Muram, Faiz UL Muram
By organisation
School of Innovation, Design and Engineering
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 910 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 724 hits
ReferencesLink to record
Permanent link

Direct link