Votre recherche
Méthode outillée de modélisation formelle des exigences pour des systèmes complexes critiques – FORMOSE
com) et deux partenaires industriels (THALES, ClearSy). L'IE est un processus critique dans la conception [...] industriels. De plus, les ingénieurs de THALES et ClearSy seront des utilisateurs actifs de la méthode et [...] donner des retours réels sur leur utilisabilité. Clearsy assurera l'exploitation et la maintenance des outils
Concepts pour la correction de configurations complexes de composants, connecteus et contrats – Cx
académqiue (ONERA, coordinateur) et une PME (ClearSy). L'ingénierie système, dans l'industrie civile [...] raisonablement grande, provenant de l'étude de cas de ClearSy.
Une plate-forme mécanisée et basée sur la preuve pour la vérification d'obligations de preuve B – BWare
industriels (Mitsubishi Electric R&D Centre Europe, ClearSy et OCamlPro). Cela assurera un excellent niveau [...] l'outil d'un partenaire industriel (l'Atelier B de ClearSy) pour une évaluation sur des applications industrielles