Topcased

• Topcased

 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.

• Eclipse Papyrus
• Polarsys
• Polarsys wiki
• Think SysML: Gallery

Unless otherwise stated, these models were created with the Topcased editor. 
The tours were created using the "Export to HTML" feature of the editor.

• Think SysML Tutorials