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.