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

Brahim Hamid (1)

1 IRIT-MACAO - Modèles, Architectures, Composants, Agilité et prOcessus

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.

Mots clés: Security; Dependability; Resource; Pattern; Model-driven engineering; Embedded systems engineering

Domaines: Génie logiciel [cs.SE]; Systèmes embarqués; Cryptographie et sécurité [cs.CR]; Interface homme-machine [cs.HC]; Architectures Matérielles [cs.AR]; Modélisation et simulation

Brahim Hamid. Modeling of Secure and Dependable Applications Based on a Repository of Patterns: The SEMCO Approach. Reliability, 2014, Trustworthy computing and cybersecurity, Special, pp.9-17. ⟨hal-01387743⟩