Formose ANR Project
Formal Requirements Modeling for Critical Complex Systems, Method and Toolkit
The Formose ANR project
(ANR-14-CE28-0009) aims to design a
formally-grounded, model-based
requirements engineering (RE) method for critical complex systems,
supported by an open-source environment. The project has been launched
on November 17, 2014. The main partners are: ClearSy, LACL, Institut
Mines-Telecom, OpenFlexo, and THALES.
Downloads
Latest news
Documentation release
The first version of the description of the process is available here
Software release
The last version of the tool is available here.
The first version of the tool is available here.
Plenary meeting on June 28-29, 2018
The next plenary meeting of the Formose ANR project will hold on June 28-29, 2018 at Telecom Bretagne, in Brest.
Workshop@ICFEM on November 16, 2017
The first international workshop on Handling IMPlicit and EXplicit knowledge in formal system development, co-located with ICFEM 2017 (19th International Conference on Formal Engineering Methods), has been held in Xi’an, China, on November 13-17, 2017
Workshop on September 6-7, 2016
A workshop between three ANR projects involving the B method (BWARE, IMPEX, FORMOSE) has been held in Toulouse on September 6-7, 2016.
Kickoff meeting
The Formose ANR project has been officially launched on November 17, 2014, at Telecom ParisTech, in Paris.
Partners
The Formose consortium is composed of two
academic partners (IMT and LACL) and three companies (ClearSy, OpenFlexo, THALES).
