search

openETCS / model-evaluation

part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling
13 stars 20 forks source link

ERTMSFormalSpecs assessment by Assessor 2 / use of the tool / scalability #52

Closed stanpinteTheSignallingCompany closed 10 years ago

stanpinteTheSignallingCompany commented 11 years ago

Scalability

The note of 1 unjustified, especially regarding the existing 44% of subset-026 implemented.

Could you please change from 1 to 3?

MariellePetitDoche commented 11 years ago

No, see https://github.com/openETCS/model-evaluation/issues/35 and other issues.

Besides "3" means an industrial size model is finished, verified and validated, elements of evaluation are provided.

stanpinteTheSignallingCompany commented 11 years ago

This comment is not acceptable, as 1 means "weakly rejected", therefore we cannot accept it for Scalability, whereas we have 44% of Subset-026 implemented.

The interpretation of "3" provided is doesn't correspond to "highly recommended, well adapted,strongly accepted".

We shall appeal to WP leader if 1 is maintained.

stanpinteTheSignallingCompany commented 11 years ago

This comment is not acceptable, as 1 means "weakly rejected", therefore we cannot accept it for Scalability, whereas we have 44% of Subset-026 implemented.

The interpretation of "3" provided is doesn't correspond to "highly recommended, well adapted,strongly accepted".

We shall appeal to WP leader if 1 is maintained.

stanpinteTheSignallingCompany commented 10 years ago

Dear Marielle,

Can you please provide a reason to close this issue?

Very kind regards,

Stan

BerndHekele commented 10 years ago

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