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

Evaluation matrix issue (relationship to WP2 reqs) #14

Closed stanpinteTheSignallingCompany closed 11 years ago

stanpinteTheSignallingCompany commented 11 years ago

Criterias should come from WP2 requirements, listed in https://github.com/openETCS/requirements/blob/master/D2.3/Synthesis/req_synthesis.tex

I don't understand why the criterias should come from other sources (report on methodologies, for instance). Criterias should be based on requirements. These requirements can come from WP2 requirements list (req_synthesis.tex) or other applicable standards like EN50128.

Especially after the collaborative work that has been done around WP2 req_synthesis document. --> This should be the most important input for the matrix.

However, not all EN50128 requirements are applicable on the language and toolchain, and therefore not all requirements should be taken into account in the evaluation matrix. The report from Merlin should provide a starting base for this -> extract the EN50128 requirements that have been judged applicable on language and tools, and insert them in the matrix.

MariellePetitDoche commented 11 years ago

Lots of the criterias are linked to WP2 requirements or detailled contraints on these requirements. The other have been added to facilitate understanding or after discussions of the partners.

stanpinteTheSignallingCompany commented 11 years ago

I agree to close the issue.