P4S -- Processes for Safe and Secure Software and Systems

Welcome to the wiki of the P4S team of Lab-Sticc.


The P4S team is member of the MOCS cluster of the Lab-STICC laboratory (UMR 6285).

Its name is an acronym for Processes for Safe and Secure Software and Systems.

Our interest is in (methods and tools) to (specify and describe) (systems and software) so that (evaluation and analysis) ((increase confidence) and (ensure (safety and security))).

We use:

  • System modeling; because the product needs to be described
  • Process modeling and process improvement; because the development process is a key to safety, security and more generally confidence

We rely on:

  • Models federation; because many points of view need to be merged.
  • Free modeling; because points of views are specific and no framework (meta-model) can catch all points of view.
  • Formal Verification at all stages, all levels: intra-model, inter-models.
  • Mixing automatic and semi-automatic techniques

The leader of the team is Fabien Dagnat. # Members

Permanent members

  1. Jean-Christophe Bach, Asso. Prof. IMT Atlantique
  2. Antoine Beugnard, Prof. IMT Atlantique
  3. Joël Champeau, Asso. Prof. ENSTA Bretagne
  4. Fabien Dagnat, Asso. Prof. (HDR) IMT Atlantique
  5. Philippe Dhaussy, Prof. ENSTA Bretagne
  6. Mounir Lallali, Asso. Prof. UBO
  7. Julien Mallet, Asso. Prof. IMT Atlantique
  8. Salvador Martinez Perez, Asso. Prof IMT Alantique
  9. Raul Mazo, Prof. ENSTA Bretagne
  10. Vincent Ribaud, Asso. Prof. UBO
  11. Siegfried Rouvrais, Assoc. Prof. IMT Atlantique
  12. Jacques Simonin, Prof. IMT Atlantique
  13. Ciprian Teodorov, Asso. Prof. ENSTA Bretagne

Post-docs and engineers

  1. Nicolas Duminy, IMT Atlantique
  2. Sylvain Guérin, ENSTA Bretagne
  3. Luka Leroux, ENSTA Bretagne

PhD Students

  1. Valentin Besnard, xxx
  2. Bastien Drouot, xxx
  3. Étienne Louboutin, IMT Atlantique (Chaire de cyberdéfense des systèmes navals)
  4. Tithnara Nicolas Sun, xxx
  5. Paul Perrotin, xxx (Chaire de cyberdéfense des systèmes navals)
  6. Nicolas Szlifierski, IMT Atlantique

Past members

  1. Fahad Golra
  2. Vincent Leilde, PhD defense on Thursday 14th Novembre 2019
  3. Fadi Obeid, PhD defense 22 may 2018

Technical section

If you need an access to the wiki, to our Git repositories or to our SSH server, please send an email to p4s-admin at imt-atlantique.fr (using the following rewriting rule: at -> @)


à faire