/model-evaluation

part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling

Primary LanguageTeX

model-evaluation

This repository is dedicated to store all the models and results concerning evaluation of means and tools for the OpenETCS project.

This repository is a part of WP7, task T7.1 and T7.2.

It is organized in the following directories:

  • model: contains the models for the primary toolchain in view of covering specification and design activities
  • VnV: contains the models for the evaluation of secondary tools dedicaded to VnV activities
  • safety: contains the models for the evaluation of secondary tools dedicaded to safety activities
  • transformation: contains the models for the evaluation of secondary tools dedicaded to model transformation and code generation
  • management: contains the models for the evaluation of secondary tools dedicaded to data and requirement management