ADELE |
Description : ADELE is a versatile system architecture graphical editor based on AADL.
Licence : Eclipse Public License (EPL) |
ADeS - AADL simulator |
Description : ADeS is a simulator of the behavior of systems described with AADL. It should eventually support the last version of AADL and the behavior annex.
Licence : Eclipse Public License (EPL) |
Abstract User Interface |
Description : TOPCASED Abstract User Interface is a TOPCASED modelling editor based that allows desiging user interfaces without knowing the target technology (Swing, HTML, ...). The metamodel comes from usiXML : http://www.usixml.org/index.php?mod=pages&id=47
Licence : Eclipse Public License (EPL) |
OSATE |
Description : The open-source AADL tool environment (OSATE) includes an AADL front-end and architecture analysis capabilities as plug-ins.
Licence : Eclipse Public License (EPL) |
OSATE-BA |
Description : This project aims to provide an OSATE extension for the behavioural annex of AADL.
Licence : Eclipse Public License (EPL) |
TOPCASED Layout Tools |
Description : This project aims at providing an automatic graphical layout tool for diagrams with the possibility to add layout algorithms.
It aims at being generic for all modelling editors.
Some algorithms need Zest library (org.eclipse.zest.layouts) to work.
Licence : Eclipse Public License (EPL) |
TOPCASED Model Simulation Tools |
Description : This project studies and develops models simulation techniques and tools.
Licence : Eclipse Public License (EPL) |
TOPCASED-AADL |
Description : TOPCASED-AADL is a subproject of the TOPCASED project. This subproject provides a set of modeling, transforming and verifying tools around AADL (Architecture Analysis and Design Language).
Licence : Eclipse Public License (EPL) |
TOPCASED-EAST-ADL |
Description : Editor for the EAST-ADL language.
Licence : Eclipse Public License (EPL) |
TOPCASED-EventB |
Description : This project aims to integrate the event B language into Topcased. Event B is a formal language based on B language using events to describe systems.
Licence : Eclipse Public License (EPL) |
TOPCASED-MF |
Description : TOPCASED-MF is a subproject of the TOPCASED-MM project. This subproject is the Modeling Framework of the TOPCASED-MM project.
Licence : Eclipse Public License (EPL) |
TOPCASED-SAM |
Description : TOPCASED-SAM is a subproject of the TOPCASED project. This subproject provides a set of modeling, transforming and verifying tools for functional structured analysis
Licence : Eclipse Public License (EPL) |
TOPCASED-SYSML |
Description : Specification and development of an editor for the OMG SYSML modeling language.
Licence : Eclipse Public License (EPL) |
TOPCASED-UML2 |
Description : TOPCASED-UML2 is a subproject of the TOPCASED project. This subproject provides a set of modeling, transforming and verifying tools around UML2.
Licence : Eclipse Public License (EPL) |
TOPPROCESS |
Description : Specification and development of an editor for the OMG SPEM modeling language.
“topPROCESS” est le projet de TOPCASED dédié à l’amélioration et la maîtrise des processus de développement logiciel. |