The SERVAL Project

Contact: Sylvain Gombault

Goals

SERVAL focuses on models and tools to design and assess the trust of communicating systems. The confidence we have in a system is tightly coupled with the quality of the validation and on the efficiency of security mechanims which are deployed.

Systems are now built using service-oriented approaches (SOA). This tackled new issues on the way functionality can be validated and on the confidence we can have on security mechanims.

Systems are now going to be adaptive, in the sense services are delivered by communicating objects. The networking dimension, the voloatility of nodes, impacts the robustness of deployed services and the related security policy.

In the field of modelling, model-driven engineering (MDE) appears as a promising approach both to rationalize a development process (model transformations, metamodelling) and to provide interoperability bridges between several concerns (functional, performances, security, dependability), which are often called aspects. Metamodels and theirs associated treatments allow to produce the testing artefacts automatically for security policies and security fault models. MDE technology appears as a good candidate to model the expected features of a resilient system, and automatically derive the testing and vigilance artefacts.

More information are currently available here.

  • Institut Carnot Télécom & Société numérique
  • Télécom Bretagne Alumni
  • Université Bretagne Loire
  • Fondation Télécom
  • Institut Mines-Telecom
Technopole Brest-Iroise - CS 83818 - 29238 Brest Cedex 3 - France - Tel : 33 (0)2 29 00 11 11 - Fax : 33 (0)2 29 00 10 00