Tag cloud | Project Tree | Project List
92 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.<1> <2> <3> <4> <5>
| Model To Doc - This project will provide a basic process for generating documentation (using many output formats such as HTML, PDF, ...) from an EMF model. | |
Register Date: 2007-06-13 16:14 | |
| OBP - Observer-based prover is a model-checker based on observers and context descriptions. OBP can handle accessibility, safety and bounded liveness properties. Observers and models are described with IF2, context with CDL (Context Description Language). | |
Register Date: 2007-07-02 15:55 | |
| OSATE - The open-source AADL tool environment (OSATE) includes an AADL front-end and architecture analysis capabilities as plug-ins. | |
Register Date: 2007-03-22 16:36 | |
| 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. | |
Register Date: 2011-04-01 16:05 | |
| OSATE-BA - This project aims to provide an OSATE extension for the behavioural annex of AADL. | |
Register Date: 2006-07-24 13:49 | |
| QUARTEFT - QUARTEFT : Qualifiable Real TimE Fiacre Transformation | |
| This project has not yet categorized itself in the Trove Software Map | Register Date: 2008-12-09 16:28 |
| SAM 2 LOTOS NT - Traducteur automatique du langage SAM d'Airbus vers le langage LOTOS NT de CADP. | |
| This project has not yet categorized itself in the Trove Software Map | Register Date: 2011-02-03 14:50 |
| Scaltrans - Model transformation using the Scala programming language. | |
| This project has not yet categorized itself in the Trove Software Map | Register Date: 2008-04-14 11:14 |
| Sensor-Agnostic Enterprise Architecture - Sensor-Agnostic Enterprise Architecture (SEA) is a sensor processing framework that inputs data from multiple sensors, processes the data in a common framework and outputs integrated products across multiple sensor data types. | |
| This project has not yet categorized itself in the Trove Software Map | Register Date: 2010-08-30 05:39 |
| 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. | |
Register Date: 2008-12-17 10:35 | |
| SMUC - State Machine from Uml Compiler | |
Register Date: 2007-06-08 15:27 | |
| SPaCIFY - SPaCIFY is an ANR/RNTL project aiming at producing an open-source design toolkit for critical embedded software based upon a relaxed synchronous paradigm, advanced model-checking, certified transformations and a middleware featuring dynamic adaptation. | |
Register Date: 2007-01-25 15:17 | |
| SPaCIFY-DSML - This project deals with the definition and implementation of a Domain-Specific Modeling Language for the SPaCIFY project. | |
| This project has not yet categorized itself in the Trove Software Map | Register Date: 2007-05-31 13:39 |
| SysA Models Editors - SysA Modeler is an tabular/tree and graphical editors for System Assurance modeling languages based on SACM (ARM, SAEM) and Risk Assessment. These editors are intended to be key toolkit for development of System Dependability Cases | |
| This project has not yet categorized itself in the Trove Software Map | Register Date: 2011-10-01 02:54 |
| SysML for Mechatronics - This project provides support for discussions and tooling to link SysML with other languages/tools required for a mechatronics model-based process. | |
| This project has not yet categorized itself in the Trove Software Map | Register Date: 2010-02-08 14:59 |
| SysML to UML model transformation - SysML to UML model transformation in the frame of the topcased approach. | |
| This project has not yet categorized itself in the Trove Software Map | Register Date: 2009-04-09 20:04 |
| Templates library - The aim is to provide a library to gather all templates for document generation. It helps gendoc user/developer to find existing templates he needs | |
| This project has not yet categorized itself in the Trove Software Map | Register Date: 2009-09-28 15:43 |
| test cvs rights - test des droits cvs sur la forge | |
| This project has not yet categorized itself in the Trove Software Map | Register Date: 2007-05-31 09:47 |
| Tina Bridges - The goal of this project is to provide bridges to verify meta-models in the TINA verification tool. | |
Register Date: 2007-02-27 11:35 | |
| TOPCASED - TOPCASED aims to provide a development toolkit dedicated to critical and embedded systems, softwares and hardwares. | |
| This project has not yet categorized itself in the Trove Software Map | Register Date: 2007-02-02 14:43 |
92 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2> <3> <4> <5>
