TOPCASED is an integrated System/Software engineering toolkit compliant with the requirements of critical and embedded applications. It covers the stages from requirements analysis to implementation, as well as some transversal activities like anomaly management, version control, and requirements traceability.

TOPCASED is strongly model-oriented : not only TOPCASED provides model editors, model checkers and model transformations, but is also itself based on modelling and code generation.

TOPCASED is a meta-tool : you can develop your own graphical editors and model transformation using TOPCASED.

For more detail: http://topcased-mm.gforge.enseeiht.fr/website/index.html