Functional Decomposition on Testing

[MarcBehrens]

• Manage Communication Session (Subset-026-3.5) @cecilebraun
• Speed and Distance Monitoring based on MRSP (Subset026-3.13) related to Braking Curves Testmodel #65
  separated to two different models
  • Ceiling speed monitoring @peleska SP:2
  • Distance Monitoring ( @alexn84 )
    with a 'glue model' showing when each monitoring is active/ switched off
• Determine ERTMS/ETCS Mode (Subset-026-4.6.2.1)
  Coming from SB using the transition conditions: 1, 10, 5, 6, 50 (SB->SH, SB->FS) @srieger Investigate the suitability of CPN Tools for model verification  #78 (SysML) SP:13
• Procedure Onsight (Subset-026-5.9) @MariellePetitDoche Procedure On-sight modeling for VnV #128
• Integrate the testmodel into one SysML model
  • work has been put on hold (due to other project duties) - Task: Convert B-Model to SysML and back @peleska @MariellePetitDoche @astante

Info: To get the SysML meta structure to be used for the testmodel contact @cecilebraun

[MariellePetitDoche]

Is it possible to plan this subject " Convert B-Model to SysML " to the next Wednesday telco ?
It is not clear for me what is expected.

[BerndHekele]

Issue still open,
feedback from Ana requested.

[MarcBehrens]

conversion of SysML to B and back related to Data Dictionary, see https://github.com/openETCS/validation/wiki/Verification-Artifacts-Styleguide

[janWelte]

What is the status of this work? Please give a short update, concerning current or future tasks related to this issue.
@alexn84 @peleska @MariellePetitDoche @astante

[astante]

Because of the greater need in WP3 for a working integration of the SysML Models with Scade, we abandoned the B work we started.

[MariellePetitDoche]

It was not clear what is expected of a translation form B to SysML and back.
For which purpose linked to validation activites ?

[MarcBehrens]

The translation is only needed to include and validate the results in design or verification with the SysML results.

[MarcBehrens]

Since ceiling speed monitoring is now inside the SCADE model it can be tested against the testmodel