Logo Lab-STICCFrom sensors to knowledge: Communicate and decide


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

For more details, you can browse our publications or our team web site on https://p4s.enstb.org.

Les dernieres infos

Workshop on cyber-protection and cyber-defense in 5G/6G networks

P4S   DECIDE   MATRIX   2AI   SI3   IRIS   Math & Net  

The Lab-STICC laboratory organizes the “1st International Workshop on “Cyber-protection and cyber-defense in 5G/6G networks”. This workshop will be held in conjunction with the 25th Conference on Innovation in Clouds, Internet and Networks (ICIN 2022…

Read more

View all

Les annonces d'emploi

PhD position


Thesis proposal: Continuous Secure Evolution of Software System’ Artefacts Location: IMT Atlantique, Brest, Start date: January 2022, Keywords: security, software engineering, software evolution, model-driven engineering. Team : P4S/SHARP/LabSTICC (U…

Read more

View all