A Model-based Repository of Security and Dependability Patterns for Trusted RCES

Adel Ziani (1) , Brahim Hamid (2) , Jacob Geisel (1) , Jean-Michel Bruel (2)

1 IRIT - Institut de recherche en informatique de Toulouse
2 IRIT-MACAO - Modèles, Architectures, Composants, Agilité et prOcessus

The requirement for higher Security and Dependability (S&D) of systems is continuously increasing, even in domains traditionally not deeply involved in such issues. Nowadays, many practitioners express their worries about current S&D software engineering practices. New recommendations should be considered to ground this discipline on two pillars: solid theory and proven principles. We took the second pillar towards software engineering for embedded system applications, focusing on the problem of integrating S&D by design to foster reuse. Model driven approaches combined with patterns can be extremely helpful to deal with these strong requirements. In this work, we present a framework for trusted Resource Constrained Embedded Systems (RCES) development by design, by defining both a model to represent S&D pattern language and an architecture for development tools. The implementation of a repository of S&D patterns and their complementary property models is discussed in detail.

Mots clés: Resource Constrained Embedded Systems; Pattern; Security; Model-Driven Engineering; Dependability; Repository; Metamodel

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

Adel Ziani, Brahim Hamid, Jacob Geisel, Jean-Michel Bruel. A Model-based Repository of Security and Dependability Patterns for Trusted RCES. IEEE International Conference on Information Reuse and Integration (IRI), Aug 2013, San Francisco, United States. pp. 448-457. ⟨hal-01146705⟩