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 meetings
The last plenary meetings of the Formose ANR project held on March 12, 2019 at Clearsy Paris, on June 26, 27, 28, 2019 at Telecom Bretagne (IMTA) and on September 2, 2019 at Clearsy Paris.
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).
