Tag cloud | Project Tree | Project List
Project tree
|
|
Browse By:
|
14 projects in result set.
| 1. TOPCASED Model Simulation Tools - This project studies and develops models simulation techniques and tools. | |
| Activity Percentile: 84.85 Activity Ranking: 6.00 Registered: 2007-02-12 16:43 | |
| 2. OSATE2 - The open-source AADL tool environment (OSATE) includes an AADL front-end and architecture analysis capabilities as plug-ins.
Note: The OSATE2 supports AADL version 2. The old OSATE project supports AADL version 1. | |
| Activity Percentile: 57.58 Activity Ranking: 15.00 Registered: 2011-04-01 16:05 | |
| 3. TOPCASED-EventB - 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. | |
|
Activity Percentile: 36.36 Activity Ranking: 22.00 Registered: 2008-05-06 11:44 |
| 4. TOPCASED Version Management - TVM - TVM is the version management tool designed for TOPCASED, is based on Subversion and Subclipse tools. | |
| Activity Percentile: 6.06 Activity Ranking: 32.00 Registered: 2007-10-19 15:28 | |
| 5. UML to real time Java with RTSJ - Convert UML into Real Time Java using RTSJ.
This project should be able to convert UML class, structure composite and state machine diagrams with an RTSJ profile into real time Java. | |
|
Activity Percentile: 0.00 Activity Ranking: 0.00 Registered: 2009-12-14 16:05 |
| 6. Topcased examples - The "Topcased examples" project aims at creating models showcasing the capabilities of Topcased as a modeling tool, to provide an easy entry point for beginners. The main focus is set on SysML modelling. | |
|
Activity Percentile: 0.00 Activity Ranking: 0.00 Registered: 2011-05-13 22:35 |
| 7. TOPCASED CDO Tools - TOPCASED CDO Tools provides tools for benificing Eclipse CDO technologies usage with TOPCASED editors. | |
|
Activity Percentile: 0.00 Activity Ranking: 0.00 Registered: 2012-07-24 18:03 |
| 8. AADL2Fiacre - This project deals with the translation of AADL models into Fiacre models to perform subsequent verifications. | |
| Activity Percentile: 0.00 Activity Ranking: 0.00 Registered: 2007-07-24 09:20 | |
| 9. Abstract User Interface - 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 | |
|
Activity Percentile: 0.00 Activity Ranking: 0.00 Registered: 2009-07-16 17:04 |
| 10. ADeS - AADL simulator - 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. | |
|
Activity Percentile: 0.00 Activity Ranking: 0.00 Registered: 2007-11-06 14:26 |
| 11. TOPCASED Configuration Management - TCM - Topcased Configuration Management tool.
Allows to handle Configuration Items, and to perform configuration management with those. | |
|
Activity Percentile: 0.00 Activity Ranking: 0.00 Registered: 2008-03-19 15:20 |
| 12. topPROCESS Modeler - topPROCESS Modeler is a TOPCASED plugin for modeling Softaware & IT processes. It is compatible with SPEM (Software & system Process Engineering Metamodel) standard. | |
|
Activity Percentile: 0.00 Activity Ranking: 0.00 Registered: 2009-04-25 15:55 |
| 13. Signal metamodel to Fiacre metamodel - An automatic translator from a subset of Polychrony metamodel (SME) to the Fiacre metamodel for the purpose of model checking specifications in
SME models using bridges from Fiacre to CADP and TINA. | |
| Activity Percentile: 0.00 Activity Ranking: 0.00 Registered: 2008-12-17 10:35 | |
| 14. VeriFME - The goal of this project is to work on formal verification technologies around behavioral modeling. | |
|
Activity Percentile: 0.00 Activity Ranking: 0.00 Registered: 2011-01-06 15:20 |
