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 / Language / modular design #34

Closed stanpinteTheSignallingCompany closed 10 years ago

stanpinteTheSignallingCompany commented 11 years ago

there is the following note:

"But this way do not allow to have a really modular design : all the data are stored in the same database, and not clear share of function is provide to allow the design of module in an independent way."

Incorrect statement. Modular design can be achieved by using Namespaces, functions, structures, etc (all typical artifacts of modular languages). The fact that all the model is stored in the same database is not related to modularity.

Justify why 1 instead of 3 for Modular Language. Identify missing documentation items, if any.

MariellePetitDoche commented 11 years ago

The fact that all the data are store in the same database does not facilitate the share of unctuions in an independant way and then modularity.

How could you develop a model in an independant way, such that modules can be interchanged ? Scores in C5.1 of safety independant functions means it is not possible to be sufficiently modular to isolate safety function for example.

stanpinteTheSignallingCompany commented 11 years ago

Considering 1/ the score of 3 given by the other assessor 2/ the lack of objective, measurable justification, we think a score of 1 is unjustified.