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

Evaluation matrix issue (quantification) #15

Closed stanpinteTheSignallingCompany closed 10 years ago

stanpinteTheSignallingCompany commented 11 years ago

Criterias should be quantified

If we are to take a decision on methods and tools, it must be on an objective base, i.e. compliance on the criterias.

That compliance must be quantified somehow (for instance rated on a scale x/100). That rating has to be justified, so that it can be assessed by others.

Of course, we can decide to give different weight to Different criterias, and even to combine languages and tools to obtain a best-of-breed method (for instance, ERTMSFormalSpecs doesn't include formal proof -> if combined With another approach enabling proof, it could score more).

Looking forward to your feedback, I wish you an excellent evening.

Very kind regards

Stan

MariellePetitDoche commented 10 years ago

Evaluation done.