Search
Formal requirements modeling for critical systems: Method and Toolkit – FORMOSE
industrial partners (THALES and ClearSy). Last but not least, THALES and ClearSy engineers will follow the [...] Institut Mines-Telecom) and 2 companies (THALES and ClearSy). It is well-known that requirements engineering [...] return on the usability of the Formose method. ClearSy will ensure tools exploitation and maintenance
Concepts for correctness of complex configurations of components, connectors and contracts – Cx
academic partner (Onera, coordinator) and an SME (ClearSy). Systems engineering, in the civil as well as [...] reasonably large-scale system coming from the ClearSy case study.
A Proof-Based Mechanized Plate-Forme for the Verification of B Proof Obligations – BWare
partners (Mitsubishi Electric R&D Centre Europe, ClearSy, and OCamlPro). This will ensure an excellent [...] tool of an industrial partner (Atelier B from ClearSy) for evaluation over industrial applications and