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 / semi-formal model / translation to another language #41

Closed stanpinteTheSignallingCompany closed 10 years ago

stanpinteTheSignallingCompany commented 11 years ago

in the following note:

"The current elements (document, GUI) do not allow to give a clear view of the structure and if this structure can be easily translated to the structure of an another language"

Complete translatability to SCADE has been validated as easely automatable by Esterel technologies (confirmed by Esterel during the munich workshop). Therefore, a 1 is unacceptable for "Extensible to strictly formal model" , "Easy to refine towards strictly formal model" and "Extensible to software architecture and design"

Could you please provide better notes for the three above mentioned elements, or provide a compelling justification?

MariellePetitDoche commented 11 years ago

If such translation is possible, it is very interesting to provide a clear specification on how this can be done.

For the moment, such document does not exist thus score 2 is not justified and score 3 is for methods with effective tools of translation.

Concerning Scade for example, there exists description how to integrate SysML and Scade (see http://www.erts2012.org/Site/0P2RUC89/4A-1.pdf as starting point).

stanpinteTheSignallingCompany commented 11 years ago

This comment is not acceptable, as not based on facts. 1 means "weakly rejected", therefore we cannot accept it for "Extensible to strictly formal model" , "Easy to refine towards strictly formal model" and "Extensible to software architecture and design"

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