Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
Topcased Simu
This work is developed by AtoS and sponsored by CNES in the context of [R&T study].
Proposal
Ability to run part of a flight software UML model to detect inconsistencies in the behavior (state machine or activity graph). TOPCASED simulation component can do some simulation but it lacks of maturity (some tricky errors), has too many interpretations (not formal enough) to be used easily and is not specialized for space context (injection of telecomands and reception of measures).
Schedule (dates tentative)
The project is scheduled to be ready on December, 2012 as part of Topcased 5.3. These generic tools are potential candidates for an Eclipse project proposal later in 2013 or in 2014.