TOPCASED (The Open-Source Toolkit for Critical Systems) is a software environment primarily dedicated to the realization of critical embedded systems including hardware and/or software.
Started in 2004, TOPCASED covers specification, design and coding stages, including usual fonctionalities such as configuration and change management. TOPCASED is based on Eclipse, and promotes model-driven engineering and formal methods as key technologies. It is developed by a consortium gathering more than 35 partners (big, medium, and small companies, research centers and universities) and is released as free/libre/open-source software.
It has been downloaded about 100,000 times during the last twelve months.