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
If you are facing any programming issue, such as compilation errors or not able to find the code you are looking for.
Ask your questions, our development team will try to give answers to your questions.