ERTMSFormalSpecs assessment by Assessor 2 / use of the tool / distributed development

[stanpinteTheSignallingCompany]

Distributed software development (D2.6-02-078.03)

the current version of the tool has now splitted the single model and test XML file into one file per namespace, and one file per test, allowing git-based multi-user modelling in a scalable way.

Could you please:

1/ upgrade your note for:

• Simultaneous multi-users (D2.6-02-078.04)
• Version management (D2.6-02-078.07)
• Concurrent version development (D2.6-02-078.08)
• Model-based version control (D2.6-02-078.09) (Moreover, there is now model-based version control implemented in ERTMSFormalSpecs eclipse-based toolchain, on top of EMFStore).

2/ remove the note "The current version of the tool does not allow to define how to have a multi-users development of large scale system."?

[MariellePetitDoche]

Please to provide the new version of the tool and document which describes this topic.

[Svitlana-Lukicheva]

The last version of the tool is provided on the site http://www.ertmssolutions.com/online .

The two following bug reports explain that the single file which previously contained the whole model and tests was split in several files (one file per namespace and one file per test frame), allowing different users to work independently on implementation of different parts of the specification.

https://github.com/openETCS/ERTMSFormalSpecs/issues/101 https://github.com/openETCS/ERTMSFormalSpecs/issues/94

[stanpinteTheSignallingCompany]

Dear Marielle,

Can you please provide a reason to close this issue?

Very kind regards,

Stan

[BerndHekele]

Dear Stan, T7.1 is about to being closed. Final activity is closing issues in this repository. Activities have been ended 6 months ago. Decisions are made for the openETCS toolchain.

If you still need place for a discussion the right place is the WP7 slot of the review meeting in Munich respectively the PCC. br Bernd