Votre recherche
Méthode outillée de modélisation formelle des exigences pour des systèmes complexes critiques – FORMOSE
Le projet Formose est un projet de recherche industrielle dont l'objectif est de produire une méthode formelle d'ingénierie des exigences (IE) orientée modèles pour des systèmes complexes critiques, supportée par un outil libre. C'est un projet de 48 mois auquel participent 2 partenaires académiques
Concepts pour la correction de configurations complexes de composants, connecteus et contrats – Cx
Cx est un projet de recherche industrielle de 36 mois proposé par un partenaire académqiue (ONERA, coordinateur) et une PME (ClearSy). L'ingénierie système, dans l'industrie civile comme dans l'industrie militaire, manque d'un environnement efficacepour la modélisation et la vérification de l'
Une plate-forme mécanisée et basée sur la preuve pour la vérification d'obligations de preuve B – BWare
Le projet BWare est un projet de recherche industrielle qui a pour objectif de produire un environnement mécanisé pour prendre en charge la vérification automatique d'obligations de preuve provenant du développement d'applications industrielles utilisant la méthode B et exigeant de fortes garanties
