Review on D4.2.2 (Systerel)

[MariellePetitDoche]

Link to issue #152:

• [x] p1 : replace "Description of work" by "Validation and verification report"

§2 : SQS section:

• [x] Could you add an introduction section to give a clear list of the tools used and references on them ?
• [ ] Is it possible to add some rules to complete the list of MISRA rules (§2.4) ?
• [x] Is it possible to describe how the table A12 and A19 of EN50128 are covered by the these approaches ?

§3 : FramaC section:

• [x] As the bitwalker example allows a limited usage of the approach, could you give in conclusion some feedbacks from previous experience ? in which case this approach is efficient to be used ?

General:

• [x] This report presents experiment swith two complementary approaches, is it possible to have in conclusion some comments on which approach is recommended to be used in the openETCS project, on which artifacts and to cover which objectives of VnV ? Then which steps of VnV are expected to cover EN50128 requirements and are not covered by these approaches ?

[MarcBehrens]

Review closing session 19.3.2014: issue open @jensgerlach @idelatorre

[jensgerlach]

Added remarks to this issue in conclusions of report.

[MariellePetitDoche]

Comments have been taken into account in the last version. Introduction and conclusion have been efficiently improve which allow a better understanding of the reader.

I close the issue.