Skip to main content

MODES

Problem​

Systems need to be updated over time to keep fulfilling their mission, but each update threatens the security properties that were established for the system. Handling this evolution in a systematic way, across the heterogeneous models that describe a system, is not addressed by traditional security engineering approaches.

Contribution​

MODES (Model-Driven Evolution for Secured Systems) is a four-year project funded by the French National Research Agency (ANR), in the "Jeunes Chercheuses et Jeunes Chercheurs" (JCJC) category. It follows a Model-Driven Engineering approach, considering a system at a high level of abstraction as a set of heterogeneous models, and leverages multi-model management techniques to let systems securely evolve and adapt to change events: propagating changes, re-evaluating consistency, and automatically repairing system models while keeping their security information and consistency rules up to date.

MODES approach: reverse engineering a system into security information and system models, then generating and deploying consistency rules that drive change propagation, consistency re-evaluation and automatic repair

Partners​

MODES is carried by the P4S team of Lab-STICC at IMT Atlantique, Brest:

  • Salvador Martínez — project coordinator
  • Antoine Beugnard, Fabien Dagnat, Jean-Christophe Bach, Sylvain Guerin — team members
  • Yanis Allouch — PhD student

Publications​

2026

  • First page of Towards continuous verification of security patterns

    Towards continuous verification of security patterns

    Authors : Allouch, Yanis and Martínez, Salvador and Bach, Jean-Christophe and Dagnat, Fabien
    In 23rd Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa'26), Málaga, Spain .oct, 2026.[PDF] [BibTeX]

    Keywords: Model Federation ; Formal software verification ; Software security engineering ; Verification ; Security Pattern

    hal-05715009 v1

2023

  • First page of Towards evolving secured multi-model systems with model federation

    Towards evolving secured multi-model systems with model federation

    Authors : Boudjemila, Chahrazed and Dagnat, Fabien and Martínez, Salvador
    In MODELS 2023: 26th International Conference on Model-Driven Engineering Languages and Systems - ME 2023: 16th Workshop on Models and Evolution, Vasteras, Sweden .oct, 2023.[PDF] [DOI] [BibTeX]

    Keywords: model evolution ; Model-based system engineering security model federation model evolution ; Model-based system engineering ; security ; model federation

    hal-04254748 v1

Website​

labsticc-p4s.github.io/MODES