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