Logo Lab-STICCDes capteurs à la connaissance : Communiquer et décider

P4S

P4s logo

 

Les intérêts de l'équipe P4S sont les (méthodes et outils) pour (specifier et décrire) des (systèmes et des logiciels) de façon à (évaluer et analyser) pour ((augmenter la confiance) et (garantir (la sûreté et la sécurité))).

Nous utilisons :

  • La modélisation système pour décrire les besoins du système sous étude
  • La modélisation de processus et leur amélioration ; en effet, le processus de construction nous semble être central dans la sûreté, la sécurité et plus généralement la confiance du système étudié

 Nous utilisons :

  • La fédération de modèles car de nombreux points de vue doivent être combinés.
  • La modélisation libre pour permettre facilement la construction de points de vue spécifique et aucun framework ne peut supporter tous les points de vue.
  • La vérification formelle à tous les niveaux : intra-modèle, inter-modèles.
  • L'utilisation aussi bien de méthodes automatiques que de méthodes semi-automatiques.

Pour plus de détails, vous pouvez consulter nos publications ou notre site web d'équipe sur https://p4s.enstb.org.

Offres
Les annonces d'emploi

Offre de thèse

P4S  

Offre de thèse : Maintenir le niveau de sécurité d'un logiciel lors de ses évolutions Lieu : IMT Atlantique, BrestDébut : Janvier 2022Mots-clés : sécurité, génie logiciel, evolution logicielle, ingénierie dirigée par les modèlesEquipe : P4S/SHARP/Lab…

Lire la suite

Tout voir