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 / use of the tool / portability #47

Closed stanpinteTheSignallingCompany closed 10 years ago

stanpinteTheSignallingCompany commented 11 years ago

Portability to operating systems (D2.6-02-075)

1 unjustified. The tool should be able to run on Mono.Net, available for linux.

Could you please upgrade your note, and point to the fact that issue https://github.com/openETCS/ERTMSFormalSpecs/issues/113 tracks this question?

MariellePetitDoche commented 11 years ago

When I asked on which OS the tool run, I received the confirmation that the tool run only on windows for the moment.

The Mono.Net solution is not documented in the user guide. Please to provide the documentation and the executable on linux for evaluation and see if it possible to upgrade the note.

Reference to the issue added.