Search
Formal requirements modeling for critical systems: Method and Toolkit – FORMOSE
The Formose project is an industrial research project that aims to provide a formally-grounded, model-based requirements engineering method for critical complex systems, supported by an open-source environment. Formose is a 48 months project proposed by a consortium made up of 2 academic partners (L
Concepts for correctness of complex configurations of components, connectors and contracts – Cx
Cx is a 36-months industrial-research project proposed by an academic partner (Onera, coordinator) and an SME (ClearSy). Systems engineering, in the civil as well as in the defence industry, lacks an effective environment for systems architecture modelling and verification. Industrial approaches
A Proof-Based Mechanized Plate-Forme for the Verification of B Proof Obligations – BWare
The BWare project is an industrial research project that aims to provide a mechanized framework to support the automated verification of proof obligations coming from the development of industrial applications using the B method and requiring high guarantees of confidence. It therefore addresses Top
