search

openETCS / toolchain

WP7: Top Level Project for the toolchain
26 stars 30 forks source link

SysML-to-B / openETCS SysML model #503

Closed mahlmann closed 8 years ago

mahlmann commented 8 years ago

@MERCEmentre

as far as I know you are working on the SysML-to-B user story and use the "mode and level" model from @MariellePetitDoche for this. With respect to this it might also be worth having a look at the overall openETCS SysML model which has been completed recently. The model is available here: https://github.com/openETCS/modeling/tree/master/model/sysml/openETCS_EVC

Note that the model has been created with SCADE System, which in fact is Papyrus.

MERCEmentre commented 8 years ago

Thanks Peter! I downloaded the PDF to read it.

jastram commented 8 years ago

@MERCEmentre, can this issue be closed? If so, can you please do it?

MERCEmentre commented 8 years ago

Well, it is more a reminder to me than a real issue. It copied it in my own to do list and closing the issue.