Logo Lab-STICCFrom sensors to knowledge: Communicate and decide

P4S

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.

Actualités
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

Offres
Les annonces d'emploi

PhD position

P4S  

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