OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Supporting Pattern-Based Dependability Engineering via Model-Driven Development: Approach, tool-support and empirical validation

Hamid, Brahim and Perez, Jon Supporting Pattern-Based Dependability Engineering via Model-Driven Development: Approach, tool-support and empirical validation. (2016) Journal of Systems and Software, vol. 122. pp. 239-273. ISSN 0164-1212

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
5MB

Official URL: http://dx.doi.org/10.1016/j.jss.2016.09.027

Abstract

Safety-critical systems require a high level of safety and integrity. Therefore, generating such systems involves specific software building processes. Many domains are not traditionally involved in these types of software problems and must adapt their current processes accordingly. Typically, such requirements are developed ad hoc for each system, preventing further reuse beyond the domain-specific boundaries. This paper proposes a solution for software system development based on the reuse of dedicated subsystems, i.e., so-called dependability patterns that have been pre-engineered to adapt to a specific domain. We use Model-Driven Engineering (MDE) to describe dependability patterns and a methodology for developing dependable software systems using these patterns. Moreover, we describe an operational architecture for development tools to support the approach. An empirical evaluation of the proposed approach is presented through its practical application to a case study in the railway domain, which has strong dependability requirements, to support a pattern-based development approach. This case study is followed by a survey to better understand the perceptions of practitioners regarding our approach.

Item Type:Article
Additional Information:Thanks to SCITEPRESS (Science and Technology Publications) editor. The definitive version is available at http://www.scitepress.org This papers appears in Volume 122 of Journal of Systems and Software ISSN 0164-1212 The original PDF is available at: http://www.sciencedirect.com/science/article/pii/S0164121216301868
HAL Id:hal-01429691
Audience (journal):International peer-reviewed journal
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > IK4-IKERLAN (SPAIN)
Laboratory name:
Statistics:download
Deposited By: IRIT IRIT
Deposited On:20 Dec 2016 13:52

Repository Staff Only: item control page