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 / direct execution #37

Closed stanpinteTheSignallingCompany closed 10 years ago

stanpinteTheSignallingCompany commented 11 years ago

Justify why 0 for "executable directly", whereas with one click in the tool the model can be executable. Executing the tests do execute the model. The other assessor gave a 3.

MariellePetitDoche commented 11 years ago

Test can be executed on the model which means that the model can be simulated or animated (score 3 on this line), but the model can not be directly executed in any kind of platform as a C code : score 0. However as lot of formal models, it can be executed after translation : score 3.

Concerning execution and simulation 3 categories have been defined to evaluate precisely the capability of each means. However, depending the used of the approach, objectives of execution are different : it is not necessary to have an executable code for system level, simulation or animation of the model can be enough, but providing an executable code at software level is important.

stanpinteTheSignallingCompany commented 11 years ago

Executable directly doesn't mean executable on a target platform. It just means executable.

This comment is not acceptable, as not based on facts. 1 means "weakly rejected", therefore we cannot accept it for direct execution.

We shall appeal to the WP leader if 1 is maintained.