juli1 / model-evaluation

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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

About

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


Languages

Language:TeX 51.2%Language:C 37.9%Language:C++ 6.4%Language:Ada 2.9%Language:D 1.5%Language:Makefile 0.0%