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 / Language / standardization #38

Closed stanpinteTheSignallingCompany closed 10 years ago

stanpinteTheSignallingCompany commented 11 years ago

there is the note:

"Standardization is poor due to no methodological guide to apply the approach"

Incorrect statement. Standardization means documentation support, public availability, etc.

Could you please remove the note, or provide due justification?

ERTMSFormalSpecs has good documentation support, including methodology for its intended scope, which is modelling the Subset-026

Could you please justify why 1 instead of 2 or 3?

MariellePetitDoche commented 11 years ago

see issue https://github.com/openETCS/model-evaluation/issues/30 for example. Justifications have been provides in the different comments and ask in a previous issue without clear answer.

stanpinteTheSignallingCompany commented 11 years ago

This comment is not acceptance, as not based on facts. 1 means "weakly rejected", therefore we cannot accept it for standardization.

We shall appeal to the WP leader if 1 is maintained.