Work package 5.2 and deliverables

The objective of this work package is the development and provision of validated integration schemes for incorporation into the SERENITY framework. Integration schemes provide the framework with information on requirements and context conditions for combinations of different S&D mechanisms described as S&D patterns. While S&D patterns describe independent security mechanisms, integration patterns describe solutions for complex S&D requirements achieved by the combination of some S&D mechanisms. This enables the SERENITY framework to automatically react to context changes within the particular scope of context parameters defined by the integration scheme.

Further, this WP will focus on the development of languages and mechanisms to support the specification and evolution of S&D Patterns and Integration Schemes.

Deliverables :

• A5.D2.1 - Patterns and Integration Schemes languages [report] [restricted]
  

Description of the Patterns and Integration Schemes languages.

• A5.D2.2 - Provision of Patterns and Integration Schemes [report] [public]
  

Series of validated patterns that will be expressed using the final version of the Patterns and Integration Schemes languages (A5.D2.1).

• A5.D2.3 - Provision of Patterns and Integration Schemes Languages (Second Version) [report] [public]
  

Description of the modelling artefacts used in the description of S&D Solutions, updated version of the language.

• A5.D2.4 - Provision of Patterns and Integration Schemes (Final version) [report] [public]
  

This document includes an example set of S&D Artefacts, going from S&D Classes to S&D Patterns and Integration Schemes. Several security and dependability problems are analysed and then represented using the S&D Artefact defined in Serenity.

• A5.D2.5 - Patterns and Integration Schemes Languages (Final Version) [report] [public]
  

Precise description of the modelling artefacts used in the description of S&D Solutions, final version.