ITEA Review preparation 2015

For the ITEA Review on 25.03, WP7 will present their work and also do a live demo of the toolchain. For a successfull review, we have to collect the work that has been done in WP7 and also have to collect features and plugins of the toolchain that are worth to be shown.

Partner contribution for presentation slides

Every WP7 Partner should fill the following list of their contributions within WP7 (tools, documents, etc.). Please provide also links to your work. The partner contribution is used to create presentation slides.

• (Partner) : (Contribution)

• Uni Bremen:

  • RT-tester plugin (to be integrated in the Luna Version)
  • Qualification Process
  • Traceability Architecture
  • Tool chain Architecture and Overview

• TWT:

  • Qualification Process

• Mitsubishi Electric:

  • SysML to B translator https://github.com/openETCS/toolchain/tree/master/tool/bundles/org.openetcs.sysml2b.transformation
  • Integration of SysML2B in toolchain GUI https://github.com/openETCS/toolchain/tree/SysML2B_GUI_integration/tool/bundles/org.openetcs.sysml2b.ui
  • Documentation of SysML2B : https://github.com/openETCS/toolchain/wiki/User-Documentation#SysML_to_B_transformation
  • Coffe Machine example: https://github.com/openETCS/toolchain/tree/master/tool/bundles/org.openetcs.sysml2b.example

• LAAS, INPT:

  • SysML to Time Petri Net translator
  • Analysis of the Ceiling Speed Monitoring (CSM) model

• ALL4TEC:

  • ESF (European Safety Framework) – Safety analysis of a Papyrus model

• SQS:

  • Documentation Plugin, Documentation Plugin Unit Test
  • Qualification Process
  • Test Plan
  • Documentation

• CEA:

  • Papyrus bug correction
    • https://bugs.eclipse.org/bugs/show_bug.cgi?id=439094
    • https://bugs.eclipse.org/bugs/show_bug.cgi?id=452669
  • Toolchain plugin integration (UML to B)
  • Eclipse GUI training
  • Toolchain migration to Luna based Eclipse
  • ProR <-> Papyrus plugin devellopement participation

Potential plugins to show for the live demo

Please list plugins that potentially can be shown at the review. Every plugin that does not work stable till 27.02, can not be part of the live demo. The following list probably has to be prioritized.

• CEA : Papyrus for SysML modeling (used in WP3 to model the OBU System Architecture)
• MERCE: SysML to B transformation Yes! (formal specification of the System behavior according to the Open Proofs idea)
• FM/CEA : ProR (requirements management)
• FHG : SysML constraint checker (used in WP3 to check the models for transformation to B, transformation to Scade, naming conventions, etc.)
• FHG: SysML to Scade Transformation (transform the system architecture model to an initial scade model for later refinement)
• LAAS, INPT: SysML to TPN (tina) translator and model-checking
• ALL4TEC: ESF (European Safety Framework)