Trace matcher - real-world examples needed

[Klaus Birken]

Hi all,

at itemis, we are currently working on a tool for matching traces from a real system against Franca contracts. This generic tool can be used to offline check if an IPC connection in an actual target system is implemented correctly (i.e., as specified by the contract in the Franca IDL file). It supports partial traces (not starting at the beginning) and incomplete traces (e.g., containing only method calls without parameter values).

In order to test the prototype, we need some real-world traces. If you have some traces from the system you are developing with Franca, it would be great if you could share some of these with us (and the corresponding fidl-files). If you do not use contracts in your Franca files yet, never mind. We could add the proper contracts afterwards.

Thanks for supporting us in improving Franca and adding new features!

Regards,

Klaus