Open Source / Non-Proprietary
Set of eclipse-based open source model editors, transformation and formal verification tools. Modelling languages include SysML. Development sponsored by European aerospace manufacturers. A merge with Papyrus is in preparation (2007).
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.
TOPCASED is available under an EPL (Eclipse Public licence).