Homepage

Welcome to the Topcased public web site!

Beware: this site is currently under construction and lacks much of its content (including content from the ancient web site).

What is Topcased?

  • Critical systems Topcased is a software environment primarily dedicated to the realization of critical embedded systems including hardware and/or software.
  • Modeling Topcased promotes model-driven engineering and formal methods as key technologies.
  • Open-source Topcased is released as free/libre/open-source software by a group of partners from various organisations.
  • Topcased 30 minutes Presentation
  • Topcased 2 hours Presentation

Give it a try!

Topcased follows the Eclipse release schedule.Therefore, you could download the latest stable release compliant with Eclipse 3.4 (Ganymede).

For immediate use, please download the "RCP" file corresponding to your operating system, unpack it into a new directory and then run the "topcased" file (you just need a Java 5 or 6 environment to do so). That's it!

Last Updated ( Friday, 05 December 2008 )