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

Post-doctorant Génie Logiciel au Lab-STICC de 18 mois

P4S  

Un emploi de post-doctorant en Génie Logiciel est proposé à compter du 1er Juin au Lab-STICC, équipe P4S, basé à l'ENSTA Bretagne. Ce poste est lié à un projet sur le thème de l'industrie du futur dans le domaine aréonautique. La thématique traitée e…

Lire la suite

Tout voir