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 / certifiability / documentation #53

Closed stanpinteTheSignallingCompany closed 10 years ago

stanpinteTheSignallingCompany commented 11 years ago

Tool manual (D.2.6-01-42.02)

why 2 instead of 3? We injected a lot of effort into the documentation, and we don't want to receive a 2 without a list of open docu. issues.

Could you please increase your note, or provide a full list of documentation issues?

MariellePetitDoche commented 11 years ago

According the other issues, lot of elements are missing in the current documents : means of verification, installation of the tool on different OS, execution management, modelling methodology,...

It is not the role of the role of the assessor of the benchmark to made an exhaustive evaluation of the approach. The role of the assessor is to analyse the approach, how it can be involved in the openETCS project, which points are ready to be used (score "3"), which ones should be improved (score "2"), which ones should be developed (score "1"), which ones can not be covered (score "1").

stanpinteTheSignallingCompany commented 11 years ago

We tracked all documenation improvement suggestions in issues in ERTMSFormalSpecs repository.