Model-based security and dependability patterns in RCES: the TERESA approach

The requirement for higher reliability and availability of systems is continuously increasing even in domains not traditionally deeply involved in such issues. In particular Resource Constrained Embedded Systems solutions are expected to be efficient, flexible, reusable on rapidly evolving hardware and at low cost. Model driven approaches can be very helpful to deal with these strong requirements. In this paper, we propose a first step to a study associating model driven technology and patterns development to build security and dependability patterns based on MDE solutions. The contribution of this work is twofolds. On one hand, we use meta-modeling techniques to encode security and dependability (S&D) patterns at even greater level of abstraction. On the other hand, we propose an implementation of these patterns using a profiled UML. This offers an homogeneous way to store them in a repository and to integrate them in a MDE process to build S&D applications in RCES for several domains.

[1]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[2]  Jean-Marc Jézéquel,et al.  Precise Modeling of Design Patterns , 2000, UML.

[3]  Douglas C. Schmidt,et al.  Guest Editor's Introduction: Model-Driven Engineering , 2006, Computer.

[4]  Srivaths Ravi,et al.  Security in embedded systems: Design challenges , 2004, TECS.

[5]  Murray Silverstein,et al.  A Pattern Language , 1977 .

[6]  Luciano Lavagno,et al.  Embedded Systems , 2005, Embedded Systems Handbook.

[7]  Raul Silaghi,et al.  Defining Model Driven Engineering Processes , 2004 .

[8]  Antonio Maña,et al.  Towards Precise Security Patterns , 2008, 2008 19th International Workshop on Database and Expert Systems Applications.

[9]  Thomas A Henzinger,et al.  Two challenges in embedded systems design: predictability and robustness , 2008, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[10]  Mladen A. Vouk,et al.  The Reliable Hybrid Pattern A Generalized Software Fault Tolerant Design Pattern , 1997 .

[11]  Daniel Serrano,et al.  Towards Precise and Certified Security Patterns , 2007 .

[12]  Amnon H. Eden,et al.  LePUS3: An Object-Oriented Design Description Language , 2008, Diagrams.

[13]  Hironori Washizaki,et al.  A survey on security patterns , 2008 .

[14]  Joseph W. Yoder,et al.  Architectural Patterns for Enabling Application Security , 1998 .

[15]  Massimo Felici,et al.  Using Security and Dependability Patterns for Reaction Processes , 2008, 2008 19th International Workshop on Database and Expert Systems Applications.

[16]  B. F. Castro Buschmann, Frank; Meunier, Regine; Rohnert, Hans; Sommerlad, Peter; Stal, Michael. Pattern-oriented software architecture: a system of patterns, John Wiley & Sons Ltd, 1996 , 1997 .

[17]  John Grundy,et al.  Design pattern modelling and instantiation using DPML , 2002 .

[18]  Markus Schumacher,et al.  Security Engineering with Patterns: Origins, Theoretical Models, and New Applications , 2003 .

[19]  Douglas C. Schmidt,et al.  Model-Driven Engineering , 2006 .

[20]  Stuart Kent,et al.  Model Driven Engineering , 2002, IFM.

[21]  Holger Giese,et al.  Design of self-managing dependable systems with UML and fault tolerance patterns , 2004, WOSS '04.

[22]  Peter Sommerlad,et al.  Pattern-Oriented Software Architecture Volume 1: A System of Patterns , 1996 .

[23]  Hermann Kopetz,et al.  The Complexity Challenge in Embedded System Design , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[24]  Sudipto Ghosh,et al.  A UML-Based Metamodeling Language to Specify Design Patterns , 2003 .

[25]  B. J. Ferro Castro,et al.  Pattern-Oriented Software Architecture: A System of Patterns , 2009 .