Model-Driven Engineering and
Formal Methods for
Critical Embedded Software

SPaCIFY is an R&D project aiming at developing a design environment for critical embedded software, with the following features:

The environment components will be developed under various FLOSS licences and built upon the Topcased toolkit.

The project is partly funded by the French Research Agency (ANR/RNTL) and will last 3 years, beginning February 2007.

Last News