OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Modeling of Secure and Dependable Applications Based on a Repository of Patterns: The SEMCO Approach

Hamid, Brahim Modeling of Secure and Dependable Applications Based on a Repository of Patterns: The SEMCO Approach. (2014) Reliability, Special. 9-17.

(Document in English)

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

Official URL: http://rs.ieee.org/images/files/newsletters/2014/RD5._Prof._Brahim_Hamid_last.pdf


The requirement for higher quality and seamless development of systems is continuously increasing, even in domains traditionally not deeply involved in such issues. Security and Dependability (S&D) requirements are incorporated to an increasing number of systems. These newer restrictions make the development of those systems more complicated than conventional systems. In our work, we promote a new approach called SEMCO (System and software Engineering with Multi-COncerns) combining Model-Driven Engineering (MDE) with a model-based repository of S&D patterns to support the design and the analysis of pattern-based secure and dependable system and software architectures. The modeling framework to support the approach is based on a set of modeling languages, to specify security and dependability patterns, resources and a set of property models, and a set of model transformation rules to specify some of the analysis activities. As part of the assistance for the development of S&D applications, we have implemented a tool-chain based on the Eclipse platform to support the different activities around the repository, including the analysis activities. The proposed approach was evaluated through a case study from the railway domain.

Item Type:Article
Additional Information:Thanks to IEEE Reliability Society editor. This papers appears in Special Issue Reliability Digest : "Trustworthy Computing and Cybersecurity" Novembre 2014. The original PDF of the article can be found at: http://rs.ieee.org/tech-activities/80-reliability-magazine-2014-november © 2015 IEEE Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
HAL Id:hal-01387743
Audience (journal):International peer-reviewed journal
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Deposited On:03 Oct 2016 15:06

Repository Staff Only: item control page