Skip to content

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

Notifications You must be signed in to change notification settings

jastram/model-evaluation

 
 

Repository files navigation

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

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published