search

openETCS / validation

WP4: Validation and verification strategy
8 stars 22 forks source link

Normalized (C-Structured) interface to WP 3 verification objects #225

Open UweSteinkeFromSiemens opened 10 years ago

UweSteinkeFromSiemens commented 10 years ago

Since the models produced by WP3 do not deal with the bit-packed datagram formats as defined in Subset 26-7 and -8, but implement their corresponding C-like structured representations instead, WP4 is asked to prepare for using the C-structured interfaces in its verification and validation activities.

@BerndHekele : fyi.

MarcBehrens commented 10 years ago

Was identified to effect the meta model #231

janWelte commented 10 years ago

@UweSteinkeFromSiemens @jfrsantos

What is the status of this issue? Are there concrete task related to this use, resp. what has to be done to close this issue?

UweSteinkeFromSiemens commented 10 years ago

This issue reminds WP 4 to adapt to the C-structured interface type. The issue can be closed as soon as WP 4 provides this kind of interface in its verification equipment.