Procedure On-sight modeling for VnV

[MariellePetitDoche]

The aim is to provide models of On-Sight procedure (§5.9) for VnV activities

The tasks planned are:

• SysML model @GuillaumeDurand (Systerel)
• Scade model @GuillaumeDurand (Systerel)
• C code automatically generated from Scade @UweSteinkeFromSiemens
• Classical B model @MariellePetitDoche @BenoitLucet (Systerel)
• C code automatically generated from ClassicalB @BenoitLucet (Systerel)
• EFS model @stanpinte
• EFS model VnV @stanpinte
• SysML model VnV @MarcBehrens
• Scade model VnV
• Classical B model VnV @BenoitLucet (Systerel)
• Validation of C- code coming from the above design models Functional verification on C- code (Procedure On-sight modeling for VnV) #129
• Safety analysis @BriceGombault (Systerel), @mgudemann

[stanpinteTheSignallingCompany]

Dear Marielle,

Is there any reason why ERTMSFormalSpecs model is not in the list?

Very kind regards

Stan

[MariellePetitDoche]

Yes, many:

• this work is in the scope of WP4 VnVuser stories, and is link to a request from WP4 leader to provide artifacts for VnV activities
• this list contents for the moment the task that Systerel is ready to take in charge or Systerel guess are some interest
• The elements provided on EFS are not sufficient for Systerel to put effort on this subject.

If you are interested by VnV activities I invite you to follow WP4 activities in details and propose your own VnV user stories.

[MarcBehrens]

Hi @stanpinte ,

I added EFS to the topic for modeling design and VnV model.

thank you for volunteering.

Very kind regards

Marc

[stanpinteTheSignallingCompany]

Thanks!

By the way, I just checked with our team, and the on-sight procedure is already fully implemented in ERTMSFormalSpecs.

We are available for any questions regarding the model.

Very kind regards

Stan

[MariellePetitDoche]

First version of SysML and Scade model are available on github:
https://github.com/openETCS/validation/tree/master/VnVUserStories/VnVUserStorySysterel/02-DAS2V

[MarcBehrens]

please provide all artifacts inside a VnV User story until the 23.10.2013

[MariellePetitDoche]

Some artifacts are available in: https://github.com/openETCS/validation/tree/master/VnVUserStories/VnVUserStorySysterel/02-DAS2V

• SysMl Model with Papyrus
• Scade Model with Scade suite
• C code generated from the Scade model
• Initial result of translation form SysML 2 B

The complete B model with generated C code shall be added, but will not be available before the 23.10.2013.
Otherwise a B model, with the squeleton of the case study is already available here: https://github.com/openETCS/model-evaluation/tree/master/model/Classical_B_Systerel

[MariellePetitDoche]

Concerning Safety analysis: the analysis on this small case study is really limited without well defined hazard.
We propose to postpone it when the functional structure of all the subsystem will be available.

[MariellePetitDoche]

First version of Classical-B model is available on github as input artifact for VnV activities:

https://github.com/openETCS/validation/tree/master/VnVUserStories/VnVUserStorySysterel/02-DAS2V/c-ClassicalBModel/ProcedureOnSight

Documentation and generated C code are still missing.

[MariellePetitDoche]

An updated version of the B model is available : https://github.com/openETCS/validation/tree/master/VnVUserStories/VnVUserStorySysterel/02-DAS2V/c-ClassicalBModel/ProcedureOnSight

With C code automatically generated:
https://github.com/openETCS/validation/tree/master/VnVUserStories/VnVUserStorySysterel/02-DAS2V/c-ClassicalBModel/ProcedureOnSight/tradc

These artifacts and those concerning SysMl (https://github.com/openETCS/validation/tree/master/VnVUserStories/VnVUserStorySysterel/02-DAS2V/a-SysMLModel) and Scade (https://github.com/openETCS/validation/tree/master/VnVUserStories/VnVUserStorySysterel/02-DAS2V/b-ScadeModel) can be used for VnV purpose.

Some documentation are still missing.

[BerndHekele]

Modell checking started for B-model
Follow-up on SysML and Scade model next Tuesday after Scrum

[MariellePetitDoche]

Some results of VnV have been provided here:
https://github.com/openETCS/validation/tree/master/VnVUserStories/VnVUserStorySysterel/04-Results

for Classical B, Scade and Event B

[MariellePetitDoche]

As the first sprint is achieved and first release of deliverables reviewed I proposed to close this issue.