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 / scalability #35

Closed stanpinteTheSignallingCompany closed 10 years ago

stanpinteTheSignallingCompany commented 11 years ago

Justify why 1 instead of 3 for scalabality, whereas ERTMSFormalSpecs already covers 44% of subset-026, and is therefore proven scaleable.

MariellePetitDoche commented 11 years ago

Scalability is linked to capability to structure a model and in particular to define independent modules and allow to work together in the same model.

How to define moduls and how to integrate the approach of the whole design (how to verify that SRS is efficiently modelled for example) will be more efficient to convince in scalability than metrics.

For metrics, is not 44% of SRS, but 44 of what the modelling engineer as defined as requirement.

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 scalability.

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