 TOPCASED-Core |
Description : TOPCASED-Core is a subproject of the TOPCASED project. This project contains all resources that are shared by the other subprojects.
Licence : Eclipse Public License (EPL) |
| TOPCASED Maintenance |
Description : This project aims to organize the services and maintenance of TOPCASED in the long term (WP7.3). |
| TOPCASED Modelling Tools |
Description : TOPCASED-MM is the MDE part of TOPCASED, aiming to develop a meta modeler and a model oriented communication bus for software tools.
Licence : Eclipse Public License (EPL),Eclipse Public Licence (EPL 1.0)
EPL is the latest licence recommended by Eclipse.org. |
| TOPCASED Model Transformations |
Description : This project studies and develops modelling transformation techniques and tools. |
| TOPCASED Model Verification Tools |
Description : The goal of this project is to make possible model verifications (static and dynamic semantics). |
| TOPCASED Process Engineering |
Description : This project aims to define a general purpose engineering process for embedded and critical systems. |
| TOPCASED Programming Tools |
Description : Coding activities tools. |
| TOPCASED Safety |
Description : This projects studies and defines the safety related properties for all TOPCASED tools. |
| TOPCASED Technical Board |
Description : The goal of the TOPCASED technical board is to coordinate and support developments and to enforce the quality level of the toolset. |
| TOPCASED Transversal Tools |
Description : This TOPCASED workpackage is dedicated to tools interoperability and transversal development tools (changes management, version control systems, process orchestration, etc.). |
