missing feedback signals in block-diagram of §3.13.1.3

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

missing feedback signals in block-diagram of §3.13.1.3 #27

Closed BenjaminBeichler closed 10 years ago

BenjaminBeichler commented 11 years ago

I added some issues to the wikipage:

https://github.com/openETCS/model-evaluation/wiki/Open-Question-for-Modeling-Benchmark

are my observations correct ?

kind regards

Benjamin

MariellePetitDoche commented 11 years ago

I have add a comment.

BenjaminBeichler commented 11 years ago

I partially agree with you, but this overview is very detailed in some parts in other not. This is for me confusing and I would prefer to have that arrows in the picture.

Maybe it is only a hint when review the SRS.

BerndHekele commented 10 years ago

T7.1 is about to being closed. Final activity is closing issues in this repository. Activities have been ended 6 months ago. Decisions are made for the openETCS toolchain. If there is stil an aspect open for this issue, please, use the WP7 review meeting for a discussion.

BR Bernd