Notice: This Wiki is now read only and edits are no longer possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
Topcased Simu
Revision as of 02:58, 15 September 2013 by Raphael.faudou.atos.net (Talk | contribs) (New page: This work is developed by [http://atos.net/en-us/ AtoS] and sponsored by [http://www.cnes.fr/ CNES] in the context of [R&T study]. = Proposal = Ability to run part of a flight software UM...)
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.