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

including first version of SystemC braking curve model #28

Closed BenjaminBeichler closed 11 years ago

BenjaminBeichler commented 11 years ago

Here is the first beta version of the braking curve SystemC model from University of Rostock. Currently I would recommend to use the eclipse project to have an overview, but also building with cmake is working (with same workflow as the model from TWT).

Since the model does not have any debug messages, after executing no output will be given, but the whole calculation is done.