-
Notifications
You must be signed in to change notification settings - Fork 30
2014 itea Review
Michael Jastram edited this page May 27, 2014
·
21 revisions
Please provide your organization's contribution to WP7. This is information for year 2 only (7/2013 - 6/2014):
Organization | Effort (PY) | Contribution |
---|---|---|
CEA | 0.7PY | Working on Papyrus, with bug correction wrt WP3 activities (diagrams, stereotypes), and Papyrus/Eclipse/Uml support for plugin devellopement (data dictionnary, sysml to b); Evaluation of primary and secondary toolchains. |
Formal Mind | 0.5PY | WP7 Leadership; Evaluation of primary and secondary toolchains; initial Eclipse build; Traceability Plug-in. |
ERTMS Solutions | 0.5PY | ERTMS Solutions worked on several axis: (1) Improve model coverage (current state : about 70%) and migration from version 3.2.0 to 3.3.0, (2) Simulation on a real scenario, (3) Improve usability and visualization (UI overhaul, graphical representation for model and tests, structured value edition and presentation, refactoring utility, hyperlinks in the model, auto-completion), (4) Various tool improvement (model based historical data and ‘blame’ information, software bus for easy integration) |
LAAS | 0.5PY | Work on the Data Dictionary for the integration of radio messages ; Prototype of a SysML to Fiacre (Time Petri Net) transformation ; Extension of Tina (Time Petri Net Analyzer) for hybrid behaviors. |
SQS | 0.7PY | Definition on how to create User documentation; Development and optimization of the Documentation plugin; Structure the documentation wiki pages; Development of some documentation content |
University of Rostock | 0.4PY | Evaluation of primary and secondary tools; toolchain integration of secondary tools; toolchain documentation |
Uni Bremen | 0.6PY | Tool chain leadership; Evaluation of primary and secondary toolchains; tool chain development documents (dev plan, roadmap, toolchain design spec, qualification plan) |
Mitsubishi Electric | 0.5PY | Evaluation of primary and secondary tools; Work on SysML to C + Frama-C annotations transformation using Acceleo and Eclipse; review of deliverables |
Systerel | 0.4PY | Tools Evaluation task leader; Evaluation of tools for primary and secondary toolchain; main author of D7.1 and D7.2 deliverables; Review of documents related to the toolchain. |
TWT | 0.25PY | Work on SystemC, CPNTools, Acceleo and Uppaal evaluation, evaluation models, review of deliverables, contribution to qualification plan |
FhG | 0.3PY | Development of a transformation from the Bitwalker xml to a UML model; Development of Eclipse plugin for providing the Data Dictionary; Development of a constraint checker for SysML model validation; Prototype of a SysML to Classical B transformation; Eclipse training for writing SysML constraints; Documentation for developed software artifacts; Evaluation of primary toolchain |
enseeiht | ||
EclipseSource | 0.8PY | Evaluation of primary and secondary tools. Setting up development process. Setting up infrastructure and initial tool chain. Integrating development from different partner. Setting up and maintaining tool chain build. |
Institute Telecom | 0.1PY | Work on SysML to IF transformation using IFx-OMEGA. Development of a Java simulator to test IF models. |
Alstom | 0.1PY | |
Alstom Transport | 0.1PY |