P4S -- Processes for Safe and Secure Software and Systems

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

Generalities

The P4S team is member of the SHARP 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

We apply to Industry of the Future.

News

News backlog

Members

The leader of the team is Fabien Dagnat.

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. Éric Cariou, Asso. Prof. UBO
  5. Fabien Dagnat, Asso. Prof. (HDR) IMT Atlantique
  6. Sylvain Guérin, IMT Atlantique, Asso. Prof. IMT Atlantique
  7. Mounir Lallali, Asso. Prof. UBO
  8. Julien Mallet, Asso. Prof. IMT Atlantique
  9. Salvador Martinez Perez, Asso. Prof IMT Atlantique
  10. Raúl Mazo, Prof. ENSTA Bretagne
  11. Vincent Ribaud, Asso. Prof. (HDR), Emeritus, UBO
  12. Siegfried Rouvrais, Assoc. Prof. IMT Atlantique, keywords: System of Systems Design & Verification; Processes for Quality Enhancement; Enterprise Architecture Frameworks; Strategical Alignment and Transformations; Agility and Robustness
  13. Benjamin Somers, IMT Atlantique, Research engineer, shared time with other teams of the CS dpt. of IMT Atlantique
  14. Ciprian Teodorov, Asso. Prof. (HDR) ENSTA Bretagne

Post-docs and engineers

  1. Luka Leroux, UBS, Post-doc

PhD Students

  1. Hiba Hnaini, ENSTA Bretagne
  2. Chahrazed Boudjemila, IMT Atlantique
  3. Bruno Mateu, IMT Atlantique and Quarkslab
  4. Gwendal Beaumont, IMT Atlantique
  5. Ouail Derghal, IMT Atlantique
  6. Hugo Richard, UBO
  7. Disha Hazare, IMT Atlantique

Past members

  1. Philippe Dhaussy, Prof. ENSTA Bretagne
  2. Fahad Golra
  3. Vincent Leilde, PhD defense on Thursday 14th Novembre 2019
  4. Fadi Obeid, PhD defense 22 may 2018
  5. Nicolas Duminy, IMT Atlantique, Post-doc
  6. Valentin Besnard, PhD defense 9th December 2020
  7. Nicolas Szlifierski, IMT Atlantique, PhD defense 17th Decembre 2020
  8. Mike Wahiu
  9. Étienne Louboutin, IMT Atlantique (Chaire de cyberdéfense des systèmes navals), PhD defense 11th January 2021
  10. Tithnara Nicolas Sun, ENSTA Bretagne, PhD defense 10th may 2022
  11. Bastien Drouot, ENSTA Bretagne, Post-doc
  12. Paul Perrotin, IMT Atlantique (Chaire de cyberdéfense des systèmes navals), PhD defense 14th december 2022
  13. Émilien Fournier, ENSTA Bretagne, PhD defense 5th july 2022
  14. Valéry Monthé, ENSTA Bretagne, Post-doc
  15. Gaélic Béchu, IMT Atlantique, Research engineer
  16. Caroline Cao, Prof. IMT Atlantique, chair “Industrie du Futur”
  17. Jacques Simonin, Prof. IMT Atlantique
  18. Sylvain Guérin, PhD defense on Thursday 30th Novembre 2023
  19. Ihab Benamer, IMT Atlantique, Research engineer
  20. Santiago Ruano Rincón, IMT Atlantique, Research engineer, shared time with other teams of the CS dpt. of IMT Atlantique
  21. Benjamin Somers, IMT Atlantique and Arkéa, PhD defense on Wednesday 15th May 2024
  22. Arnaud Allemang-Trivalle, IMT Atlantique Nantes, PhD student
  23. Anne-Laure Wozniak, ENSTA Bretagne and Kerevala, PhD defense on Friday 13th Septembre 2024

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 -> @)

(internal) How to new member or leaving member

Instructions are here