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.
The Formose consortium is composed of two
academic partners (IMT and LACL) and three companies (ClearSy, OpenFlexo, THALES).