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

Poste MCF 27ème section, Lab-STICC/UBO

ARCAD   P4S   SHAKER   INUIT  

  Un poste de maître de conférences en section 27 est ouvert au département informatique de l'Université de Bretagne Occidentale (Brest). Fiche détaillée Le/la candidat.e pourra être amené.e à enseigner dans tous les niveaux de formation de la L1 au …

Lire la suite

Professeur en informatique, spécialiste CyberSécurité, à IMT Atlantique

P4S   IRIS   MATHS & NET  

Un poste de professeur en Informatique, spécialité CyberSécurité, est ouvert à IMT Atlantique. Le poste est ouvert sur le campus de Brest, au sein du département Informatique. Il sera rattaché au laboratoire Lab-STICC au sein d'une des équipes de re…

Lire la suite

Tout voir