Model-Driven Engineering for Trusted Embedded Systems based on Security and Dependability Patterns

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

1 IRIT-MACAO - Modèles, Architectures, Composants, Agilité et prOcessus
2 IRIT - Institut de recherche en informatique de Toulouse
3 IK4 - IKERLAN [Mondragón]

Nowadays, many practitioners express their worries about current software engineering practices. New recommendations should be considered to ground software engineering 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 Security and Dependability (S&D) by design to foster reuse. The framework and the methodology we propose associate the model-driven paradigm and a model-based repository of S&D patterns to support the design of trusted Resource Constrained Embedded System (RCES) applications for multiple domains (e.g., railway, metrology, automotive). The approach has been successfully evaluated by the TERESA project external reviewers as well as internally by the Ikerlan Research Center for the railway domain.

Mots clés: Dependability; Security; Resource constrained embedded systems; Pattern; Repository; Metamodel; Model driven 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, Jacob Geisel, Adel Ziani, Jean-Michel Bruel, Jon Perez. Model-Driven Engineering for Trusted Embedded Systems based on Security and Dependability Patterns. 16th System Design Languages Forum (SDL 2013), Jun 2013, Montreal, Canada. pp.72-90. ⟨hal-01240715⟩